Proving product rule identity using index notation
14491
Verify the following relationship: $\nabla \cdot (a \times b) = b \cdot \nabla \times a - a \cdot \nabla \times b $
84014
Automated formula construction
143573
Problem (1.8) A Path to Combinatorics Solution Verification.
145759
formal proof from calulus
148239
natural deduction proof with De Morgan's laws
70676
Matrix product notation
147111
Where is the Proof for the Sum-to-Product rule derrived from?
140682
Proving a property of a Logic Formal Language
98372
Proof of the principle of backwards induction
33164
Formal basis for variable substitution in limits
120292
How to formally prove: if $d\mid da+b$, then $d\mid b$?
116538
Proof of Connected Diagrams
76510
vector identity for triple scalar product
151038
How to prove (A v B), (A → C), (B → D) therefore (C v D)
9003
prove $\frac{1}{2}\mathbf{\nabla (u \cdot u) = u \times (\nabla \times u ) + (u \cdot \nabla)u}$ using index notation
16548
Prove $(x+y) \text{ mod } n = ((x \text{ mod } n)+(y \text{ mod } n)) \text{ mod } n,\,$ and product analog
56440
Cartesian products and families