`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:

### Wrote 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.