Search the dblp DataBase

Publications of Author

1. Michael Soltys
   Feasible Proofs of Matrix Properties with Csanky's Algorithm. [Citation Graph (0, 0)][DBLP]
   CSL, 2005, pp:493-508 [Conf]
   
2. Michael Soltys
   LA, Permutations, and the Hajós Calculus. [Citation Graph (0, 0)][DBLP]
   ICALP, 2004, pp:1176-1187 [Conf]
   
3. Michael Soltys, Stephen A. Cook
   The Proof Complexity of Linear Algebra. [Citation Graph (0, 0)][DBLP]
   LICS, 2002, pp:335-344 [Conf]
   
4. Michael Soltys, Alasdair Urquhart
   Matrix identities and the pigeonhole principle. [Citation Graph (0, 0)][DBLP]
   Arch. Math. Log., 2004, v:43, n:3, pp:351-358 [Journal]
   
5. Neil Thapen, Michael Soltys
   Weak theories of linear algebra. [Citation Graph (0, 0)][DBLP]
   Arch. Math. Log., 2005, v:44, n:2, pp:195-208 [Journal]
   
6. Michael Soltys, Stephen A. Cook
   The proof complexity of linear algebra. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2004, v:130, n:1-3, pp:277-323 [Journal]
   
7. Michael Soltys
   The proof theoretic strength of the Steinitz exchange theorem. [Citation Graph (0, 0)][DBLP]
   Discrete Applied Mathematics, 2007, v:155, n:1, pp:53-60 [Journal]
   
8. Michael Soltys
   LA, permutations, and the Hajós Calculus. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2005, v:348, n:2-3, pp:321-333 [Journal]
   
9. Grzegorz Herman, Tim Paterson, Michael Soltys
   A Propositional Proof System with Quantification Over Permutations. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2007, v:79, n:1-2, pp:71-83 [Journal]
   
10. 
    Feasible Proofs of Matrix Properties with Csanky's Algorithm [Citation Graph (, )][DBLP]
    
    
11. 
    A polytime proof of correctness of the Rabin-Miller algorithm from Fermat's little theorem [Citation Graph (, )][DBLP]