- Grøbner bases of lattices, corner polyhedra, and integer programming Bernd Sturmfels Robert Weismantel Gunter M. Ziegler Fri 02 April 2021
- Computing the algebraic relations of C-finite sequences and multisequences Manuel Kauers Burkhard Zimmermann Wed 31 March 2021
- Lazy Hermite Reduction and Creative Telescoping for Algebraic Functions Shaoshi Chen Lixin Du Manuel Kauers Wed 31 March 2021
- The generating function of Kreweras walks with interacting boundaries is not algebraic Alin Bostan Manuel Kauers Thibaut Verron Wed 31 March 2021
- The C-finite ansatz Doron Zeilberger Wed 31 March 2021
- Ore Polynomials in Sage Manuel Kauers Maximilian Jaroschek Fredrik Johansson Wed 31 March 2021
- WQO dichotomy for 3-graphs Sławomir Lasota Radosław Piórkowski Wed 31 March 2021
- The Reachability Problem for Petri Nets Is Not Elementary Wojciech Czerwiński Sławomir Lasota Ranko Lazić JÉrôme Leroux Filip Mazowiecki Wed 31 March 2021
- Separating Variables in Bivariate Polynomial Ideals Manfred Buchacher Manuel Kauers Gleb Pogudin Tue 30 March 2021
- A Synthesizer of Inductive Assertions Steven M. German Ben Wegbreit Tue 30 March 2021
- Algebra-based Loop Synthesis Andreas Humenberger Laura Kovács Mon 29 March 2021
- Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal Bruno Buchberger Mon 29 March 2021
- Reasoning Algebraically About P-Solvable Loops Laura Kovács Mon 29 March 2021
- A Formally Verified Static Analysis Framework for Compositional Contracts Fritz Henglein Christian Kjær Larsen Agata Murawska Mon 29 March 2021
- Inversion Framework: Reasoning about Inversion by Conditional Term Rewriting Systems Maja Kirkeby Robert Gluck Mon 29 March 2021
- Planarity of Knots, Register Automata and LogSpace Computability Alexei Lisitsa Igor Potapov Rafiq Saleh Mon 29 March 2021
- Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism Alberto Pettorossi Maurizio Proietti Sophie Renault Mon 29 March 2021
- Generating Functions for Probabilistic Programs Lutz Klinkenberg Kevin Batz Benjamin Lucien Kaminski Joost-Pieter Katoen Joshua Moerman Tobias Winkler Mon 29 March 2021
- A positive supercompiler M. H. Sørensen R. Glück N. D. Jones Mon 29 March 2021
- REACHABILITY ANALYSIS IN VERIFICATION VIA SUPERCOMPILATION ALEXEI LISITSA ANDREI P. NEMYTYKH Mon 29 March 2021
Library Size: 13G (12951 entries),
Last Updated: Apr 13, 2026, 09:28:01,
Build Time: N/A
