Practicing Index Notation proofs
9003
prove $\frac{1}{2}\mathbf{\nabla (u \cdot u) = u \times (\nabla \times u ) + (u \cdot \nabla)u}$ using index notation
150385
The use of the Axiom of Choice in this proof of the sequence lemma
146984
Prove: Full Rank and a solution os linear system
75141
Quotient-Remainder Theorem Proving
107349
Working with elementary type proofs of divisor functions
104898
Proper notation for distinct sets
91698
Proofs of consistency for two formal systems
154406
Real analysis - proof approach help
61602
Binary strings (words) proof
135341
number theory about index
158728
Using induction for an easy proof for formal languages
145388
Structural Induction: Metalogic Proof
2396
Order-preserving injections of ordinals into $[0,1]$
133617
Relatively prime property verification
97254
What is the proof of permutations of similar objects?
60953
How could we formalize the introduction of new notation?
58472
Fiat-Shamir transform: reliance on hash input by interactive proof