- A Maple package for computing Grøbner bases for linear recurrence relations Vladimir P. Gerdt Daniel Robertz Fri 10 April 2020
- Solving difference equations in sequences: Universality and Undecidability Gleb Pogudin Thomas Scanlon Michael Wibmer Fri 10 April 2020
- The Constructive Solution of Linear Systems of Partial Difference and Differential Equations with Constant Coefficients Ulrich Oberst Franz Pauer Fri 10 April 2020
- Algebraic Difference Equations N/A Fri 10 April 2020
- Effective difference elimination and Nullstellensatz Alexey Ovchinnikov Gleb Pogudin Thomas Scanlon Fri 10 April 2020
- Some constructions in rings of differential polynomials Giovanni Gallo Bhubaneswar Mishra François Ollivier Thu 09 April 2020
- Complexity of quantifier elimination in the theory of ordinary differentially closed fields D. Yu. Grigor'ev Thu 09 April 2020
- The model theory of differential fields revisited Carol Wood Thu 09 April 2020
- Chapter III The Basis Theorem and Some Related Topics N/A Thu 09 April 2020
- The Model Theory of Differential Fields with Finitely Many Commuting Derivations Tracey McGrail Thu 09 April 2020
- Janet's Algorithm Imran Anwar Thu 09 April 2020
- Notes on differential algebra Reid Dale Thu 09 April 2020
- Differential Polynomials Stephan Ritscher Thu 09 April 2020
- Chapter 2: Model Theory of Differential Fields David Marker Thu 09 April 2020
- On the Basis Theorem for Differential Systems E. R. Kolchin Thu 09 April 2020
- The Resolution of Keller's Conjecture Joshua Brakensiek Marijn Heule John Mackey David Narváez Wed 08 April 2020
- Decidability and Synthesis of Abstract Inductive Invariants Francesco Ranzato Wed 08 April 2020
- Propositional proofs and reductions between NP search problems Samuel R. Buss Alan S. Johnson Wed 08 April 2020
- Tarski's Theorem, Supermodular Games, and the Complexity of Equilibria Kousha Etessami Christos Papadimitriou Aviad Rubinstein Mihalis Yannakakis Wed 08 April 2020
- Polynomial Time Algorithms for Branching Markov Decision Processes and Probabilistic Min(Max) Polynomial Bellman Equations Kousha Etessami Alistair Stewart Mihalis Yannakakis Wed 08 April 2020
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
