Formal Theories for Linear Algebra

DOI10.2168/LMCS-8(1:25)2012zbMath1238.03020MaRDI QIDQ5891510

Lila Fontes, Stephen A. Cook

Publication date: 3 April 2012

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

determinantlinear algebraproof complexitycomplexity classesparitybounded reverse mathematics

Mathematics Subject Classification ID

Determinants, permanents, traces, other special matrix functions (15A15) Matrices over special rings (quaternions, finite fields, etc.) (15B33) Foundations of classical theories (including reverse mathematics) (03B30) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Complexity of proofs (03F20)

Related Items (1)

Evaluation of circuits over nilpotent and polycyclic groups

This page was built for publication: Formal Theories for Linear Algebra