- Rings of Formal Power Series N. Sankaran Fri 07 June 2024
- Modal Separability of Fixpoint Formulae Jean Christoph Jung Jędrzej Kołodziejski Fri 07 June 2024
- Separability in Buchi Vass and Singly Non-Linear Systems of Inequalities Pascal Baumann Eren Keskin Roland Meyer Georg Zetzsche Fri 07 June 2024
- Linear equations and recursively enumerable sets Juha Honkala Fri 07 June 2024
- Elementary Constructive Theory of Henselian Local Rings Alonso García M. Emilia Henri Lombardi Hervé Perdry Thu 06 June 2024
- Elementary constructive theory of Henselian local rings María E. Alonso Henri Lombardi Hervé Perdry Thu 06 June 2024
- On the theory of Henselian rings Masayoshi Nagata Thu 06 June 2024
- Alcune proprietà degli spazi algebrici F. Lazzeri A. Tognoli Wed 05 June 2024
- Branching of Solutions of Nonlinear Equations Ivar Stakgold Tue 04 June 2024
- All Algebraic Functions Can Be Computed Fast H. T. Kung J. F. Traub Tue 04 June 2024
- Newtons method: a great algebraic algorithm John D. Lipson Tue 04 June 2024
- On the power series solution of a system of algebraic equations S. Moritsugu Tue 04 June 2024
- A natural ring basis for the shuffle algebra and an application to group schemes David E Radford Tue 04 June 2024
- Shuffle factorization is unique Jean Berstel Luc Boasson Tue 04 June 2024
- Zeroing the Output of Nonlinear Systems Without Relative Degree W. Steven Gray Kurusch Ebrahimi-Fard Alexander Schmeding Tue 04 June 2024
- On shortest products for nonnegative matrix mortality Andrew Ryzhikov Fri 31 May 2024
- The CFG Complexity of Singleton Sets Lance Fortnow William Gasarch Fri 31 May 2024
- The Power of Hard Attention Transformers on Data Sequences: A Formal Language Theoretic Perspective Pascal Bergstraßer Chris Køcher Anthony Widjaja Lin Georg Zetzsche Fri 31 May 2024
- Lindenmayer graph languages, first-order theories and expanders Teodor Knapik Thu 30 May 2024
- Expectation in Stochastic Window Mean-Payoff Games Laurent Doyen Pranshu Gaba Shibashis Guha Thu 30 May 2024
Library Size: 13G (12947 entries),
Last Updated: Apr 08, 2026, 23:05:12,
Build Time: N/A
