Travelled to:1 × Denmark
1 × Finland
1 × United Kingdom
Collaborated with:∅ S.A.Cook
Talks about:proof (2) algorithm (1) properti (1) calculus (1) feasibl (1) complex (1) algebra (1) permut (1) matrix (1) linear (1)
Person: Michael Soltys
DBLP: Soltys:Michael
Contributed to:
2005
2004
2002Wrote 3 papers:
- CSL-2005-Soltys #algorithm #matrix #proving
- Feasible Proofs of Matrix Properties with Csanky’s Algorithm (MS), pp. 493–508.
- ICALP-2004-Soltys #calculus #permutation
- LA, Permutations, and the Hajós Calculus (MS), pp. 1176–1187.
- LICS-2002-SoltysC #algebra #complexity #linear #proving
- The Proof Complexity of Linear Algebra (MS, SAC), pp. 335–344.