The proof complexity of linear algebra Conferences

authors

• Soltys, Michael
• Cook, Stephen

status

• published 

publication date

• December 2004

has subject area

• 0101 Pure Mathematics (FoR)
• 0802 Computation Theory and Mathematics (FoR)
• General Mathematics (Science Metrix)

published in

• Annals of Pure and Applied Logic  Journal

presented at event

• 17th Annual IEEE Symposium on Logic in Computer Science held in Conjunction with the 3rd Federated Logic Conference  Conference

keywords

• Logic
• Mathematics
• Mathematics, Applied
• Physical Sciences
• Science & Technology
• Science & Technology - Other Topics

Digital Object Identifier (DOI)

• 10.1016/j.apal.2003.10.018

start page

• 277

end page

• 323

volume

• 130

issue

• 1-3