- Automatic Theorem Proving in Walnut Hamoon Mousavi Sat 16 December 2023
- Algebra and coalgebra of stream products Michele Boreale Daniele Gorla Sat 21 October 2023
- Systems of Discrete Differential Equations, Constructive Algebraicity of the Solutions Hadrien Notarantonio Sergey Yurkevich Fri 20 October 2023
- Algorithms for Nonlinear Higher Order Difference Equations Manuel Kauers Wed 26 July 2023
- An Introduction to String Diagrams for Computer Scientists Robin Piedeleu Fabio Zanasi Tue 16 May 2023
- On the Order of Power Series and the Sum of Square Roots Problem Louis Gaillard Gorav Jindal Fri 28 April 2023
- Bialgebras for structural operational semantics: An introduction Bartek Klin Tue 28 March 2023
- Stream Differential Equations: Specification Formats and Solution Methods Helle Hvid Hansen Clemens Kupke Jan Rutten Sat 25 March 2023
- Analytic combinatorics: functional equations, rational and algebraic functions Philippe Flajolet Robert Sedgewick Sat 25 March 2023
- Differential Elimination and Algebraic Invariants of Polynomial Dynamical Systems William Simmons André Platzer Tue 21 February 2023
- Algorithms for combinatorial structures: Well-founded systems and Newton iterations Carine Pivoteau Bruno Salvy Michèle Soria Mon 20 February 2023
- A zero-test for series defined in terms of solutions to partial differential equations Joris Hoeven Fri 03 February 2023
- Testing identities of series defined by algebraic partial differential equations Ariane Péladan-Germa Fri 03 February 2023
- A zero test for sigma-algebraic power series Joris van der Hoeven Gleb Pogudin Tue 14 December 2021
- Trajectories of polynomial vector fields and ascending chains of polynomial ideals Dmitri Novikov Sergei Yakovenko Fri 08 October 2021
- Computing representations for radicals of finitely generated differential ideals François Boulier Daniel Lazard François Ollivier Michel Petitot Mon 13 April 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
- A Syntactic Method for Finding Least Fixed Points of Higher-order Functions over Finite Domains Tyng-Ruey Chuang Benjamin Goldberg Sun 30 April 2017
- Systematic abstraction of abstract machines David Van Horn Matthew Might Mon 24 April 2017
- Lazy type inference and program analysis Chris Hankin Daniel Le Métayer Wed 19 March 2014
- Higher-order chaotic iteration sequences Mads Rosendahl Fri 07 March 2014
- An inverse of the evaluation functional for typed lambda-calculus U. Berger H. Schwichtenberg Mon 10 June 2013
- New Developments in Environment Machines Maribel Fernandez Nikolaos Siafakas Mon 29 April 2013
- Improving the lazy Krivine machine Daniel P. Friedman Abdulaziz Ghuloum Jeremy G. Siek Onnie Lynn Winebarger Tue 16 April 2013
- Newton series, coinductively: a comparative study of composition Henning Basold Helle Hvid Hansen Jean-Éric Pin Jan Rutten Fri 02 March 2012
- Algebra and Coalgebra of Stream Products Michele Boreale Daniele Gorla Fri 02 March 2012
Library Size: 13G (28 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
