- On the Size of Finite Rational Matrix Semigroups Georgina Bumpus Christoph Haase Stefan Kiefer Paul-Ioan Stoienescu Jonathan Tanner Sun 19 April 2020
- The Power of a Single Qubit: Two-way Quantum Finite Automata and the Word Problem Zachary Remscrim Sun 19 April 2020
- Descriptive complexity of real computation and probabilistic independence logic Miika Hannula Juha Kontinen Jan Van den Bussche Jonni Virtema Sun 19 April 2020
- Trakhtenbrot's Theorem in Coq, A Constructive Approach to Finite Model Theory Dominik Kirst Dominique Larchey-Wendling Sun 19 April 2020
- From timed automata to logic --- and back François Laroussinie Kim G. Larsen Carsten Weise Fri 17 April 2020
- Multi-timed Bisimulation for Distributed Timed Automata James Ortiz Moussa Amrani Pierre-Yves Schobbens Fri 17 April 2020
- The linear differential equation whose solutions are the products of solutions of two given differential equations Renato Spigler Thu 16 April 2020
- Varieties of Cost Functions Laure Daviaud Denis Kuperberg Jean-Éric Pin Wed 15 April 2020
- Varieties of Data Languages Henning Urbat Stefan Milius Wed 15 April 2020
- On Polynomial Solutions of Linear Operator Equations Sergei A. Abramov Manuel Bronstein Marko Petkovšek Tue 14 April 2020
- Rational solutions of linear differential and difference equations with polynomial coefficients S.A. Abramov Tue 14 April 2020
- Janet's approach to presentations and resolutions for polynomials and linear pdes W. Plesken D. Robertz Tue 14 April 2020
- Solving Linear Recurrence Equations with Polynomial Coefficients Marko Petkovšek Helena Zakrajšek Tue 14 April 2020
- Improved algorithms for solving difference andq-difference equations D. E. Khmel'nov Tue 14 April 2020
- Grøbner bases applied to systems of linear difference equations V. P. Gerdt Mon 13 April 2020
- On computation of Grøbner bases for linear difference systems Vladimir P. Gerdt Mon 13 April 2020
- Élimination des quantificateurs dans les équations aux différences linéaires sur les vecteurs de Witt Luc Bélair Françoise Point Mon 13 April 2020
- Computing representations for radicals of finitely generated differential ideals François Boulier Daniel Lazard François Ollivier Michel Petitot Mon 13 April 2020
- Characteristic set method for differential--difference polynomial systems X.S. Gao J. Van der Hoeven C.M. Yuan G. L. Zhang Mon 13 April 2020
- Membership problem for differential ideals generated by a composition of polynomials M. V. Kondratieva A. I. Zobnin Mon 13 April 2020
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
