Matrix reciprocal positive $5\times 5$, $6\times 6$ or bigger
10478
Matrix reciprocal positive to prove $λ_{max⁡}=n$
110975
Summation of reciprocals
134885
proving that $\mathbb{Q}(\sqrt{5}, \sqrt{6}) = \mathbb{Q}(\sqrt{5}+ \sqrt{6}) $
98443
Find positive integers such that $2n^3 + 5|n^4 +n+1$
17584
Integer matrices with integer inverses
37117
Sum of positive definite matrices still positive definite?
53378
$\max(\{n: n+5 | n^5 + 5\})$
30268
Positive definite matrix must be Hermitian
12868
Is the product of symmetric positive semidefinite matrices positive definite?
51834
Positivity of a determinant
47589
Product of a primitive matrix and its transpose.
126889
Proof by induction: inequality $n! > n^3$ for $n > 5$
48238
Prove the positive definiteness of Hilbert matrix
90293
How expand Binomial[n, k] for k >= 6?
64741
The square root of positive definite matrix
130078
How can one prove that $\pi^4 + \pi^5 < e^6$?
69980
Proving that if $A$ is an $n\times n$ orthogonal matrix, then $\det(A) = \pm1$