- Zariski geometries David Marker Tue 10 December 2024
- Zariski Geometries Ehud Hrushovski Boris Zilber Tue 10 December 2024
- Formal Languages, Formally and Coinductively Dmitriy Traytel Tue 10 December 2024
- Advances in Elimination Theory for Algebraic Differential and Difference Equations Wei Li Tue 10 December 2024
- Elimination in control theory Sette Diop Tue 10 December 2024
- On von Neumann regular rings with an automorphism Ehud Hrushovski Françoise Point Tue 10 December 2024
- On Generic Predicates and Automorphisms Hirotaka Kikyo Tue 10 December 2024
- Effective Littlestone Dimension Valentino Delle Rose Alexander Kozachinskiy Tomasz Steifer Tue 10 December 2024
- Algebraic Tools for Computing Polynomial Loop Invariants Erdenebayar Bayarmagnai Fatemeh Mohammadi Rémi Prébet Tue 10 December 2024
- Two-way automata with multiplicity M. Anselmo Tue 10 December 2024
- On Recurrence Relations of Multi-dimensional Sequences Hamid Rahkooy Tue 10 December 2024
- A note on commutative multivariate rational series B. Litow Tue 10 December 2024
- Creative Telescoping for Holonomic Functions Christoph Koutschan Tue 10 December 2024
- Abstract differential algebra and the analytic case A. Seidenberg Mon 09 December 2024
- Abstract differential algebra and the analytic case. II A. Seidenberg Mon 09 December 2024
- An elimination theory for differential algebra Abraham Seidenberg Mon 09 December 2024
- An elimination theory for differential algebra. By A. Seidenberg. University of California publications in Mathematics. New Series, Vol. III No. 2. pp. 31-66. 1956. A. Robinson Mon 09 December 2024
- An elimination theory for differential algebra Abraham Seidenberg Mon 09 December 2024
- Equational Reasoning about Formal Languages in Coalgebraic Style Andreas Abel Sat 07 December 2024
- Symbolic and automatic differentiation of languages Conal Elliott Thu 05 December 2024
Library Size: 13G (12947 entries),
Last Updated: Apr 08, 2026, 23:05:12,
Build Time: N/A
