- Bounded Synthesis of Register Transducers Ayrat Khalimov Benedikt Maderbacher Roderick Bloem Mon 02 March 2020
- Register-Bounded Synthesis Ayrat Khalimov Orna Kupferman Mon 02 March 2020
- On Synthesis of Specifications with Arithmetic Rachel Faran Orna Kupferman Mon 02 March 2020
- Synthesis of Data Word Transducers Léo Exibard Emmanuel Filiot Pierre-Alain Reynier Mon 02 March 2020
- On a class of differential operators with polynomial coefficients Yoshimichi Tsuno Sun 01 March 2020
- A nullstellensatz for linear partial differential equations with polynomial coefficients Jaka Cimprič Sun 01 March 2020
- On Simultaneous Differential Equations of the First Order in Which the Number of the Variables Exceeds by More Than One the Number of the Equations George Boole Sun 01 March 2020
- On systems of first order linear partial differential equations with L^p coefficients Sorin Mardare Sun 01 March 2020
- Pfaffian Hybrid Systems Margarita Korovina Nicolai Vorobjov Sun 01 March 2020
- GFUN : a maple package for the manipulation of generating and holonomic functions in one variable Bruno Salvy Paul Zimmermann Sun 01 March 2020
- On polynomial recursive sequences Michael Cadilhac Filip Mazowiecki Charles Paperman Michał Pilipczuk Géraud Sénizergues Sun 01 March 2020
- Lecture notes on enumerative combinatorics Jay Pantone Sun 01 March 2020
- An Application of the Generating Function to Differential Equations T. A. Newton Sun 01 March 2020
- Constructible differentially finite algebraic series in several variables François Bergeron Ulrike Sattler Sun 01 March 2020
- Combinatorial Resolution of Systems of Differential Equations III: A Special Class of Differentially Algebraic Series François Bergeron Christophe Reutenauer Sun 01 March 2020
- Power series solutions of algebraic differential equations Jan Denef Leonard Lipshitz Sun 01 March 2020
- On the non-holonomic character of logarithms, powers, and the n-th prime function Philippe Flajolet Stefan Gerhold Bruno Salvy Sun 01 March 2020
- Non-Holonomicity of Sequences Defined via Elementary Functions Jason P. Bell Stefan Gerhold Martin Klazar Florian Luca Sun 01 March 2020
- Effective bounds for P-recursive sequences Marc Mezzarobba Bruno Salvy Sun 01 March 2020
- Symmetric functions and P-recursiveness Ira M Gessel Sun 01 March 2020
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
