共 50 条
- [21] The proof complexity of linear algebra 17TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2002, : 335 - 344
- [22] On the descriptive complexity of linear algebra LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, 2008, 5110 : 17 - 25
- [27] Arithmetic of linear algebraic groups over certain fields of dimension two COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 2001, 333 (09): : 827 - 832
- [28] Arithmetic of Linear Algebraic Groups over Two-dimensional Fields PROCEEDINGS OF THE INTERNATIONAL CONGRESS OF MATHEMATICIANS, VOL I: PLENARY LECTURES AND CEREMONIES, 2010, : 339 - 361