
Search the dblp DataBase
Michael Soltys:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Michael Soltys
Feasible Proofs of Matrix Properties with Csanky's Algorithm. [Citation Graph (0, 0)][DBLP] CSL, 2005, pp:493508 [Conf]
 Michael Soltys
LA, Permutations, and the Hajós Calculus. [Citation Graph (0, 0)][DBLP] ICALP, 2004, pp:11761187 [Conf]
 Michael Soltys, Stephen A. Cook
The Proof Complexity of Linear Algebra. [Citation Graph (0, 0)][DBLP] LICS, 2002, pp:335344 [Conf]
 Michael Soltys, Alasdair Urquhart
Matrix identities and the pigeonhole principle. [Citation Graph (0, 0)][DBLP] Arch. Math. Log., 2004, v:43, n:3, pp:351358 [Journal]
 Neil Thapen, Michael Soltys
Weak theories of linear algebra. [Citation Graph (0, 0)][DBLP] Arch. Math. Log., 2005, v:44, n:2, pp:195208 [Journal]
 Michael Soltys, Stephen A. Cook
The proof complexity of linear algebra. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2004, v:130, n:13, pp:277323 [Journal]
 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:5360 [Journal]
 Michael Soltys
LA, permutations, and the Hajós Calculus. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2005, v:348, n:23, pp:321333 [Journal]
 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:12, pp:7183 [Journal]
Feasible Proofs of Matrix Properties with Csanky's Algorithm [Citation Graph (, )][DBLP]
A polytime proof of correctness of the RabinMiller algorithm from Fermat's little theorem [Citation Graph (, )][DBLP]
Search in 0.045secs, Finished in 0.046secs
