List questions from proof-verification

Published on 21 Apr 2018 - 9:52

473

Views

Prove that deleting the $kth $ row and column of an $n \times n$ symmetric matrix of rank $n-1$ yields an invertible matrix

Published on 21 Apr 2018 - 10:16

190

Views

Map $\tau(s,t)=(as+bt)\mod{ab}$ is bijection iff $gcd(a,b)=1$

Published on 25 Mar 2026 - 12:49

567

Views

Corollary of Liouville's Theorem

Published on 25 Mar 2026 - 6:05

31

Views

Verification of Epsilon-Delta proof.

Published on 25 Mar 2026 - 8:07

314

Views

Sylow Counting Generalization of Hall Theorem

Published on 25 Mar 2026 - 6:01

1.1k

Views

Integral of holomorphic function is again holomorphic

Published on 21 Apr 2018 - 14:32

30

Views

Proof Verification: A theorem on continuity

Published on 21 Apr 2018 - 14:51

67

Views

Order of a given element in an abelian group.

Published on 21 Apr 2018 - 15:43

101

Views

if $d\mid n$ then $x^d-1\mid x^n-1$ proof

Published on 25 Mar 2026 - 13:04

102

Views

Proving by induction the explicit form of a recursive sequence.

Published on 26 Mar 2026 - 18:58

4.4k

Views

Why is there not a system for computer checking mathematical proofs yet (2018)?

Published on 22 Mar 2026 - 15:43

96

Views

Is my proof of Abel's Theorem correct?

Published on 21 Apr 2018 - 18:57

897

Views

Probability of tie

Published on 21 Apr 2018 - 19:25

99

Views

Solution of :$y''=y'(1+y^2)$

Published on 21 Apr 2018 - 19:58

List Question

Rudin's RCA: proof of Theorem 1.40

Prove that deleting the $kth $ row and column of an $n \times n$ symmetric matrix of rank $n-1$ yields an invertible matrix

Map $\tau(s,t)=(as+bt)\mod{ab}$ is bijection iff $gcd(a,b)=1$

Corollary of Liouville's Theorem

Verification of Epsilon-Delta proof.

Sylow Counting Generalization of Hall Theorem

Integral of holomorphic function is again holomorphic

Proof Verification: A theorem on continuity

Order of a given element in an abelian group.

if $d\mid n$ then $x^d-1\mid x^n-1$ proof

Proving by induction the explicit form of a recursive sequence.

Why is there not a system for computer checking mathematical proofs yet (2018)?

Is my proof of Abel's Theorem correct?

Probability of tie

Solution of :$y''=y'(1+y^2)$

Trending Questions

Popular # Hahtags

Popular Questions