## The Proof Complexity of Linear Algebra (2002)

### Cached

### Download Links

- [www.cas.mcmaster.ca]
- [www.cas.mcmaster.ca]
- [www.cas.mcmaster.ca]
- [www.cs.toronto.edu]
- [www.cas.mcmaster.ca]
- [www.cas.mcmaster.ca]
- DBLP

### Other Repositories/Bibliography

by
Michael Soltys
,
Stephen Cook

Venue: | IN SEVENTEENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS |

Citations: | 17 - 6 self |