- Derivations of polynomial rings over a field of characteristic zero Andrzej Nowicki Fri 06 March 2026
- Simple generators of rational function fields Alexander Demin Gleb Pogudin Fri 06 March 2026
- On formal power series as integrals of algebraic differential equations Kurt Mahler Thu 05 March 2026
- Sur le Théorème de Maillet R. Gérard Thu 05 March 2026
- Sur le théorème de Maillet Bernard Malgrange Thu 05 March 2026
- Coefficients of differentially algebraic series Vichian Laohakosol Kannika Kongsakorn Patchara Ubolsri Thu 05 March 2026
- Coefficients of algebraic functions: formulae and asymptotics Cyril Banderier Michael Drmota Thu 05 March 2026
- Coefficients of algebraic series Michele Soria Philippe Flajolet Thu 05 March 2026
- Finiteness results concerning algebraic power series Fuensanta Aroca Julie Decaup Guillaume Rond Thu 05 March 2026
- Logics and Type Theory: essays dedicated to Stefano Berardi on the occasion of his 1000000th birthday Thorsten Altenkirch Franco Barbanera Ferruccio Damiani Ugo de'Liguoro Thu 05 March 2026
- Length Generalization Bounds for Transformers Andy Yang Pascal Bergstraßer Georg Zetzsche David Chiang Anthony W. Lin Thu 05 March 2026
- Positivity of Nearly Linearly Recurrent Sequences Amaury Pouly Mahsa Shirmohammadi James Worrell Wed 04 March 2026
- Vector Certificates for -regular Specifications Mohammed Adib Oumer Vishnu Murali Majid Zamani Wed 04 March 2026
- Realizations of nonlinear systems and abstract transitive Lie algebras Michel Fliess Tue 03 March 2026
- Localising Stochasticity in Weighted Automata Smayan Agarwal Aalok Thakkar Tue 03 March 2026
- Really Rethinking Formal Methods David Lorge Parnas Tue 03 March 2026
- The emperors old clothes Charles Antony Richard Hoare Tue 03 March 2026
- A manifesto for applicable formal methods Mario Gleirscher Jaco van de Pol Jim Woodcock Tue 03 March 2026
- Tracking in nonlinear differential-algebraic control systems with applications to constrained robot systems Hariharan Krishnan N.Harris Mcclamroch Tue 03 March 2026
- Nonlinear inversion-based output tracking S. Devasia Degang Chen B. Paden Tue 03 March 2026
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
