- Computing the N-Th Term of a q-Holonomic Sequence Alin Bostan Tue 29 September 2020
- On the Skolem Problem and Prime Powers George Kenison Richard Lipton Joel Ouaknine James Worrell Tue 29 September 2020
- Bounds for D-Finite Closure Properties Manuel Kauers Tue 29 September 2020
- Fast, deterministic computation of the Hermite normal form and determinant of a polynomial matrix George Labahn Vincent Neiger Wei Zhou Tue 29 September 2020
- Computing Popov and Hermite Forms of Rectangular Polynomial Matrices Vincent Neiger Johan Rosenkilde Grigory Solomatov Tue 29 September 2020
- Computing Popov and Hermite Forms of Polynomial Matrices G. Villard Tue 29 September 2020
- On the Complexity of Polynomial Matrix Computations Pascal Giorgi Claude-Pierre Jeannerod Gilles Villard Tue 29 September 2020
- On lattice reduction for polynomial matrices T. Mulders A. Storjohann Tue 29 September 2020
- Type Theory in Type Theory Using Quotient Inductive Types Thorsten Altenkirch Ambrus Kaposi Fri 25 September 2020
- Normalization by Evaluation for the Computational Lambda-Calculus Andrzej Filinski Fri 25 September 2020
- Local Higher-Order Fixpoint Iteration Florian Bruse Jørg Kreiker Martin Lange Marco Salzer Thu 24 September 2020
- Intuitionistic Decision Procedures Since Gentzen Roy Dyckhoff Thu 24 September 2020
- On Sequent Calculi for Intuitionistic Propositional Logic Vítězslav Švejdar Thu 24 September 2020
- Decision Procedures for Intuitionistic Propositional Logic by Program Extraction Klaus Weich Wed 23 September 2020
- Foundations Jeremy Avigad Tue 22 September 2020
- Finite state languages Noam Chomsky George A. Miller Mon 21 September 2020
- A general definition of dependent type theories Andrej Bauer Philipp G. Haselwarter Peter LeFanu Lumsdaine Sun 20 September 2020
- Generative Language Modeling for Automated Theorem Proving Stanislas Polu Ilya Sutskever Sun 20 September 2020
- History-Dependent Automata: An Introduction Ugo Montanari Marco Pistore Sun 20 September 2020
- Computing the Hermite form of a matrix of Ore polynomials Mark Giesbrecht Myung Sub Kim Sat 19 September 2020
Library Size: 13G (12971 entries),
Last Updated: Apr 16, 2026, 20:38:03,
Build Time: N/A
