- On Testing the Membership to Differential Ideals Alexey Zobnin Mon 13 April 2020
- Towards Better: A motivated introduction to better-quasi-orders Yann Pequignot Mon 13 April 2020
- Program Termination and Well Partial Orderings Andreas Blass Yuri Gurevich Mon 13 April 2020
- On Effective Representations of Well Quasi-Orderings Simon Halfon Mon 13 April 2020
- Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular Aliaume Lopez Alex Simpson Mon 13 April 2020
- Grøbner bases and gradings for partial difference ideals Roberto La Scala Sun 12 April 2020
- Noetherian quotients of the algebra of partial difference polynomials and Grøbner bases of symmetric ideals Vladimir Gerdt Roberto La Scala Sun 12 April 2020
- Algorithmic problems for differential polynomial algebras Ualbai Umirbaev Fri 10 April 2020
- A Proof of Hessenberg's Theorem Arno Cronheim Fri 10 April 2020
- The Manin--Mumford conjecture and the model theory of difference fields Ehud Hrushovski Fri 10 April 2020
- Recursive Functions: An Archeological Look Piergiorgio Odifreddi Fri 10 April 2020
- Model theory of difference fields and applications to algebraic dynamics Sun Young Jang Young Rock Kim Daewoong Lee Ik-Kwon Yie Fri 10 April 2020
- Forcing and Reducibilities. III. Forcing in Fragments of Set Theory Piergiorgio Odifreddi Fri 10 April 2020
- Forcing and Reducibilities. II. Forcing in Fragments of Analysis Piergiorgio Odifreddi Fri 10 April 2020
- Forcing and reducibilities Piergiorgio Odifreddi Fri 10 April 2020
- A note on Suzuki's chain of hyperdegrees P. G. Odifreddi Fri 10 April 2020
- Model Theory and Differential Algebra Thomas Scanlon Fri 10 April 2020
- The Ritt-Raudenbush Theorem and Tropical Differential Geometry François Boulier Mercedes Haiech Fri 10 April 2020
- Computation of Difference Grøbner Bases Vladimir P. Gerdt Daniel Robertz Fri 10 April 2020
- Consistency of Finite Difference Approximations for Linear PDE Systems and Its Algorithmic Verification Vladimir P. Gerdt Daniel Robertz Fri 10 April 2020
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
