- Delta-Complete Decision Procedures for Satisfiability over the Reals Sicun Gao Jeremy Avigad Edmund Clarke Sun 05 November 2023
- Mata, a Fast and Simple Finite Automata Library (Technical Report) David Chocholatý Tomáš Fiedor Vojtěch Havlena Lukáš Holík Martin Hruška Ondřej Lengál Juraj Síč Thu 26 October 2023
- Collatz conjecture becomes theorem Grażyna Mirkowska Andrzej Salwicki Thu 26 October 2023
- Checking History-Determinism is NP-hard for Parity Automata Aditya Prakash Thu 26 October 2023
- On Learning Polynomial Recursive Programs Alex Buna-Marginean Vincent Cheval Mahsa Shirmohammadi James Worrell Thu 26 October 2023
- Solving Odd-Fair Parity Games Irmak Sağlam Anne-Kathrin Schmuck Thu 26 October 2023
- Proof of Irvine's Conjecture via Mechanized Guessing Jeffrey Shallit Thu 26 October 2023
- On a Matrix Representation for Polynomially Recursive Sequences Christophe Reutenauer Thu 26 October 2023
- Word Equations in Synergy with Regular Constraints (Technical Report) František Blahoudek Yu-Fang Chen David Chocholatý Vojtěch Havlena Lukáš Holík Ondřej Lengál Juraj Síč Sat 21 October 2023
- On-the-fly bisimulation equivalence checking for fresh-register automata M.H. Bandukara N. Tzevelekos Sat 21 October 2023
- Algebra and coalgebra of stream products Michele Boreale Daniele Gorla Sat 21 October 2023
- Profile and hereditary classes of ordered relational structures Djamila Oudrar Maurice Pouzet Fri 20 October 2023
- General Néron desingularization and approximation Dorin Popescu Fri 20 October 2023
- Systems of Discrete Differential Equations, Constructive Algebraicity of the Solutions Hadrien Notarantonio Sergey Yurkevich Fri 20 October 2023
- Applications of a noncommutative jacobian matrix Christophe Reutenauer Tue 17 October 2023
- Noncommutative Partial Derivative Keqin Liu Tue 17 October 2023
- A cyclic derivative in noncommutative algebra Gian-Carlo Rota Bruce Sagan Paul R. Stein Tue 17 October 2023
- Derivations and automorphisms on non-commutative power series Kentaro Ihara Tue 17 October 2023
- Noncommutative formal power series and noncommutative functions Dmitry S. Kaliuzhnyi-Verbovetskyi Tue 17 October 2023
- Craig Interpolation for Decidable First-Order Fragments Balder ten Cate Jesse Comer Mon 16 October 2023
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
