The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Michael Soltys: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.030secs, Finished in 0.031secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002