PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
References to 'techniques in mathematical proofs'
1. existential theorem by Wkbj79
2. finite field by yark
3. generator for the mutiplicative group of a field by polarbear
4. I-AB is invertible if and only if I-BA is invertible by asteroid
5. induction by Daume
6. interpretation of intuitionistic logic by means of functionals by gribskoff
7. partial fractions for polynomials by stevecheng
8. proof by PrimeFan
9. proof of theorem for normal matrices by Andrea Ambrosio