- Membership in polynomial ideals over mathbb Q is exponential space complete Ernst Mayr Fri 28 September 2018
- Some Complexity Results for Polynomial Ideals Ernst W. Mayr Fri 28 September 2018
- Complexity of Membership Problems of Different Types of Polynomial Ideals Ernst W. Mayr Stefan Toman Fri 28 September 2018
- Sharp Effective Nullstellensatz Janos Kollar Fri 28 September 2018
- On the computational complexity and geometry of the first-order theory of the reals James Renegar Fri 28 September 2018
- The Hardness of Polynomial Equation Solving D. Castro M. Giusti J. Heintz G. Matera L. M. Pardo Fri 28 September 2018
- Complexity of Some Geometric and Topological Problems Marcus Schaefer Fri 28 September 2018
- MasterClass - deadmau5 Teaches Electronic Music Production deadmou5 Tue 25 September 2018
- Introduction to Computational Complexity Theory - CS 810 Jin-Yi Cai Mon 24 September 2018
- A Taxonomy of Problems with Fast Parallel Algorithms Stephen A. Cook Sat 22 September 2018
- Fast parallel matrix and GCD computations Allan Borodin Joachim von zur Gathen John Hopcroft Sat 22 September 2018
- The complexity of matrix rank and feasible systems of linear equations E. Allender R. Beals M. Ogihara Thu 20 September 2018
- The Reachability Problem for Petri Nets is Not Elementary (Extended Abstract) W. Czerwinski S. Lasota R. Lazic J. Leroux F. Mazowiecki Thu 20 September 2018
- Subclasses of Presburger Arithmetic and the Polynomial-time Hierarchy Erich Gradel Sun 16 September 2018
- Presburger Functions are Piecewise Linear Alain Finkel Jerome Leroux Sat 15 September 2018
- Regular omega-Languages with an Informative Right Congruence Dana Angluin Dana Fisman Sat 15 September 2018
- Multi-weighted Markov Decision Processes with Reachability Objectives P. Bouyer M. González N. Markey M. Randour Sat 15 September 2018
- The saga of the High School Identities Stanley N. Burris Karen A. Yeats Mon 10 September 2018
- On Exponentiation - A Solution to Tarski's High School Algebra Problem A. J. Wilkie Mon 10 September 2018
- Presburger arithmetic, rational generating functions, and quasi-polynomials K. Woods Mon 10 September 2018
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
