Search results
From MaRDI portal
- Michael Soltys (section List of research outcomes)theories of linear algebra 2005-03-02 Paper Matrix identities and the pigeonhole principle 2004-12-16 Paper The proof complexity of linear algebra 2004-11-18...10 bytes (15 words) - 02:56, 25 September 2023
- Stephen Cook (section List of research outcomes)https://portal.mardi4nfdi.de/entity/Q5465359 2005-08-22 Paper The proof complexity of linear algebra 2004-11-18 Paper A second-order system for polytime reasoning...10 bytes (16 words) - 16:38, 12 December 2023
- Anupam Das (section List of research outcomes)relative proof complexity of deep inference via atomic flows 2015-03-11 Paper Complexity of Deep Inference via Atomic Flows 2012-08-14 Paper On the Proof Complexity...10 bytes (13 words) - 18:17, 24 September 2023
- Dima Grigoriev (section List of research outcomes)2011-09-12 Paper Complexity of quantifier elimination in the theory of ordinary differential equations 2011-04-16 Paper Complexity of a standard basis of a $D$-module...10 bytes (16 words) - 02:50, 9 December 2023
- Harald Niederreiter (section List of research outcomes)with large k-error linear complexity 2005-05-31 Paper On the expected value of the linear complexity and the k-error linear complexity of periodic sequences...10 bytes (15 words) - 16:32, 7 December 2023
- A. Wigderson (section List of research outcomes)mardi4nfdi.de/entity/Q4591373 2017-11-14 Paper Proof Complexity Lower Bounds from Algebraic Circuit Complexity 2017-10-10 Paper https://portal.mardi4nfdi.de/entity/Q5368747...10 bytes (14 words) - 19:00, 8 December 2023
- Martin Hofmann (section List of research outcomes)higher types and BCK-algebra 2000-09-04 Paper An Application of Category-Theoretic Semantics to the Characterisation of Complexity Classes Using Higher-Order...10 bytes (16 words) - 05:07, 12 December 2023
- Alin Bostan (section List of research outcomes)2024-05-14 Paper Minimization of differential equations and algebraic values of 𝐸-functions 2024-02-28 Paper A short proof of a non-vanishing result by Conca...10 bytes (14 words) - 09:18, 7 October 2023
- Jeffrey Shallit (section List of research outcomes)2023-01-05 Paper The computational complexity of some problems of linear algebra 2022-11-09 Paper Automatic sequences of rank two 2022-10-31 Paper Mesosome...10 bytes (16 words) - 15:09, 6 December 2023
- Albert Atserias (section List of research outcomes)Paper Towards a theory of algorithmic proof complexity (invited talk) 2024-06-24 Paper Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Graph Isomorphism...10 bytes (15 words) - 13:29, 6 October 2023
- Joshua A. Grochow (section List of research outcomes)Paper Lie algebra conjugacy 2011-12-08 Paper Complexity classes of equivalence problems revisited 2011-04-28 Paper On the Descriptive Complexity of Groups...10 bytes (16 words) - 14:49, 6 October 2023
- Tobias Nipkow (section List of research outcomes)Semantics with a Proof Assistant: No More LSD Trip Proofs 2012-06-15 Paper Proof Pearl: The Marriage Theorem 2011-11-22 Paper Automatic Proof and Disproof...10 bytes (15 words) - 09:17, 6 October 2023
- Guoliang Yu (section List of research outcomes)2021-07-26 Paper Additivity of Higher Rho Invariants and Nonrigidity of Topological Manifolds 2021-06-25 Paper A proof of Gromov's cube inequality on scalar...10 bytes (14 words) - 23:35, 9 December 2023
- W. H. Hesselink (section List of research outcomes)concurrent complexity 2017-11-29 Paper Eternity variables to prove simulation of specifications 2017-07-12 Paper Correctness and concurrent complexity of the...10 bytes (15 words) - 11:05, 9 December 2023
- Rodney G. Downey (section List of research outcomes)Friedberg enumeration of equivalence structures 2017-12-04 Paper Corrigendum: "On the complexity of the successivity relation in computable linear orderings" 2017-12-04...10 bytes (17 words) - 04:59, 9 December 2023
- Tamás Terlaky (section List of research outcomes)in the proof of some fundamental theorems of linear algebra. 2001-11-12 Paper New complexity analysis of the primal-dual Newton method for linear optimization...10 bytes (15 words) - 13:48, 8 December 2023
- Erich L. Kaltofen (section List of research outcomes)certificates in linear algebra 2015-11-11 Paper Computing the radius of positive semidefiniteness of a multivariate real polynomial via a dual of Seidenberg's...10 bytes (17 words) - 19:06, 11 December 2023
- J. Hartmanis (section List of research outcomes)Publication Date of Publication Type Structural complexity theory: Recent surprises 2022-12-09 Paper Separation of complexity classes 2015-12-07 Paper...10 bytes (15 words) - 10:01, 12 December 2023
- Michel Rigo (section List of research outcomes)2019-08-15 Paper Book review of: J. L. Rhodes, Applications of automata theory and algebra. Via the mathematical theory of complexity to biology, physics, psychology...10 bytes (15 words) - 08:57, 8 December 2023
- Henri Lombardi (section List of research outcomes)reduction of unimodular rows 2007-10-19 Paper A logical approach to abstract algebra 2007-02-09 Paper A Short Proof for the Krull Dimension of a Polynomial...10 bytes (13 words) - 08:51, 9 December 2023
