Michael Soltys

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

12EEGrzegorz Herman, Michael Soltys: A polytime proof of correctness of the Rabin-Miller algorithm from Fermat's little theorem CoRR abs/0811.3959: (2008)
11EEDavid Bremner, Antoine Deza, Michael Soltys: Foreword: selected papers from the Franco-Canadian workshop on combinatorial algorithms. J. Comb. Optim. 16(4): 323 (2008)
10EEMichael Soltys: The proof theoretic strength of the Steinitz exchange theorem. Discrete Applied Mathematics 155(1): 53-60 (2007)
9EEGrzegorz Herman, Tim Paterson, Michael Soltys: A Propositional Proof System with Quantification Over Permutations. Fundam. Inform. 79(1-2): 71-83 (2007)
8EEMichael Soltys: Feasible Proofs of Matrix Properties with Csanky's Algorithm. CSL 2005: 493-508
7EENeil Thapen, Michael Soltys: Weak theories of linear algebra. Arch. Math. Log. 44(2): 195-208 (2005)
6EEMichael Soltys: Feasible Proofs of Matrix Properties with Csanky's Algorithm CoRR abs/cs/0505087: (2005)
5EEMichael Soltys: LA, permutations, and the Hajós Calculus. Theor. Comput. Sci. 348(2-3): 321-333 (2005)
4EEMichael Soltys: LA, Permutations, and the Hajós Calculus. ICALP 2004: 1176-1187
3EEMichael Soltys, Stephen A. Cook: The proof complexity of linear algebra. Ann. Pure Appl. Logic 130(1-3): 277-323 (2004)
2EEMichael Soltys, Alasdair Urquhart: Matrix identities and the pigeonhole principle. Arch. Math. Log. 43(3): 351-358 (2004)
1EEMichael Soltys, Stephen A. Cook: The Proof Complexity of Linear Algebra. LICS 2002: 335-344

Coauthor Index

1David Bremner [11]
2Stephen A. Cook [1] [3]
3Antoine Deza [11]
4Grzegorz Herman [9] [12]
5Tim Paterson [9]
6Neil Thapen [7]
7Alasdair Urquhart [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)