- On the solutions of analytic equations Michael Artin Thu 25 January 2024
- Functional composition patterns and power series reversion George N. Raney Mon 22 January 2024
- On the foundations of combinatorial theory I. Theory of Möbius Functions Gian-Carlo Rota Mon 22 January 2024
- In Memory of Martin Davis Wesley Calvert Valentina Harizanov Eugenio G. Omodeo Alberto Policriti Alexandra Shlapentokh Sat 20 January 2024
- The categorical contours of the Chomsky-Schutzenberger representation theorem Paul-André Melliès Noam Zeilberger Sat 20 January 2024
- Power Series Solutions of AODEs - Existence, Uniqueness, Convergence and Computation Sebastian Falkensteiner Sat 20 January 2024
- The Fundamental Theorem of Tropical Partial Differential Algebraic Geometry Sebastian Falkensteiner Cristhian Garay-López Mercedes Haiech Marc Paul Noordman Zeinab Toghani François Boulier Sat 20 January 2024
- Formal solutions of differential equations Michael. F Singer Sat 20 January 2024
- On The Relationship Between Differential Algebra and Tropical Differential Algebraic Geometry François Boulier Sebastian Falkensteiner Marc Paul Noordman Omar Leon Sanchez Sat 20 January 2024
- Computer Algebra and Differential Equations - An Overview Werner Seiler Sat 20 January 2024
- Remarks on Undecidability, Incompleteness and the Integrability Problem Enrique G. Reyes Sat 20 January 2024
- Diagrammatic Algebra of First Order Logic Filippo Bonchi Alessandro Di Giorgio Nathan Haydon Pawel Sobocinski Fri 19 January 2024
- Satisfiability of Context-free String Constraints with Subword-ordering and Transducers C Aiswarya Soumodev Mal Prakash Saivasan Fri 19 January 2024
- Directed Regular and Context-Free Languages Moses Ganardi Irmak Saglam Georg Zetzsche Fri 19 January 2024
- Isomorphism Testing of Rooted Trees in Linear Time Anna Lindeberg Fri 19 January 2024
- Low-Rank Tensor Decomposition over Finite Fields Jason Yang Fri 19 January 2024
- Functionality of compositions of top-down tree transducers is decidable Sebastian Maneth Helmut Seidl Martin Vu Thu 18 January 2024
- Automata and coalgebras in categories of species Fosco Loregian Thu 18 January 2024
- On the Boolean Closure of Deterministic Top-Down Tree Automata Christof Løding Wolfgang Thomas Thu 18 January 2024
- On Learning Polynomial Recursive Programs Alex Buna-Marginean Vincent Cheval Mahsa Shirmohammadi James Worrell Thu 18 January 2024
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
