Categories
Tags
Proof-verification
New post in Proof-verification
There exists a real number y so that for all real numbers x, x + y is rational true or false?
July 23rd, 2022
discrete-mathematics
proof-explanation
proof-writing
proof-verification
Disprove That: All birds can fly
August 18th, 2022
proof-verification
Show that $f(x)=3x^{2}-2x+1$ is continuous at 2
August 16th, 2022
real-analysis
proof-verification
continuity
Singular value decomposition proof
December 15th, 2022
proof-verification
svd
least-squares
proof-explanation
proof-writing
Is this a solution for the problem: $\ a^3 + b^3 = c^3\ $ has no nonzero integer solutions?
July 30th, 2022
diophantine-equations
number-theory
elementary-number-theory
proof-verification
Verify the identiy, (cos(x+h) - sin x)/h = cos x * ((cos h - 1)/h)- sin x * (sin h /h)
October 10th, 2020
proof-verification
trigonometry
Show that $(1+x)^n$ = .... Hence deduce that .... = $2^n$
August 21st, 2020
proof-verification
combinations
binomial-coefficients
combinatorics
Voltage Current and Voltage Charge Relationship for a Capacitor
August 28th, 2020
integration
proof-verification
ordinary-differential-equations
If $(PQ - I)$ is invertible, verify $(QP - I)$ is invertible with inverse:$ -I + Q(PQ-I)^{-1}P$
August 1st, 2022
proof-verification
matrices
linear-algebra
inverse
What is the denial of a statement in logic math?
August 1st, 2022
predicate-logic
proof-verification
logic
foundations
proving that if $x^2 + x + 1$ is even, then $x$ is odd by induction
November 22nd, 2020
induction
proof-verification
Prove that there is a number that is exactly one more than its cube
August 1st, 2022
proof-verification
Prove $x_n$ converges IFF $x_n$ is bounded and has at most one limit point
August 1st, 2022
real-analysis
proof-verification
There exists an integer k such that $n = 3k+1$. Then $n^2 = (3k+1)^2 =9k^2 + 6k + 1 = 3 (3k2 +2k)+1$.
April 10th, 2020
proof-verification
How to prove that the negative of any $\vec{v}\in V$ is unique?
August 1st, 2022
linear-algebra
proof-verification
Prove that if f g and 2 are bounded, then f is also bounded
October 5th, 2020
proof-writing
proof-verification
Set proof (symmetric difference of disjoint set)
March 22nd, 2020
elementary-set-theory
proof-verification
Prove that each of the following sets, with the indicated operation, is an abelian group
February 1st, 2020
proof-verification
abstract-algebra
Show that there is an identity element with respect to the operation $+$ and every subset $A$ of $D$ has an inverse with respect to $+$
February 2nd, 2020
proof-verification
binary-operations
Prove Nth derivative expression by induction
November 2nd, 2020
proof-verification
induction
derivatives
Using proof by contradiction to show that $x<y \implies \sqrt x < \sqrt y$
October 24th, 2020
proof-verification
Proving That a Parallelogram is a Rectangle
August 1st, 2022
geometry
proof-verification
Proof Verification: Comparison Property for Integrals
February 20th, 2020
integration
proof-verification
real-analysis
What is the logic proof that ¬ (∃x)(Fx) => (∀x)(Fx → Gx)
September 13th, 2020
proof-verification
predicate-logic
logic
How is $f(x)=\tan(x)$ bijective for $(-\frac{\pi}{2}, \frac{\pi}{2})$ and not for an unrestricted domain?
November 16th, 2020
proof-verification
proof-explanation
functions
Prove that if S is a symmetric relation on A and R $\subseteq$ S, then $R^{-1}$ $\subseteq$ S
August 1st, 2022
relations
proof-writing
proof-verification
equivalence-relations
function composition and identity functions proof
August 1st, 2022
functions
discrete-mathematics
proof-verification
function-and-relation-composition
How to prove complex-valued $\lim\limits_{z\to i}\left(\frac{iz^3 - 1}{z + i}\right) = 0$ via epsilon$-$delta definition?
March 4th, 2020
limits
complex-analysis
proof-verification
alternative-proof
epsilon-delta
Pumping Lemma for Regular Languages confusion: do I need to prove the case for a single $y^i$, or a set of them?
May 20th, 2020
regular-language
proof-verification
pumping-lemma
Attempting to Disprove: If every vertex of G has degree 2, then G is a cycle
August 1st, 2022
proof-verification
graph-theory
visualization
←
1
2
3
4
5
6
7
8
9
…
75
76
→