- On the Completeness of First-Order Knowledge Compilation for Lifted Probabilistic Inference Guy Broeck Wed 13 March 2024
- PDQMA = DQMA = NEXP: QMA With Hidden Variables and Non-collapsing Measurements Scott Aaronson Sabee Grewal Vishnu Iyer Simon C. Marshall Ronak Ramachandran Wed 13 March 2024
- On Discovering Interesting Combinatorial Integer Sequences Martin Svatoš Peter Jung Jan Tth Yuyi Wang Ondřej Kuželka Wed 13 March 2024
- Formal Lie Groups S. Bochner Thu 07 March 2024
- The infinite groups of Lie and Cartan Part I, (The transitive groups) I. M. Singer Shlomo Sternberg Tue 05 March 2024
- Picard-Vessiot theory of bilinear systems Michel Fliess Christophe Reutenauer Mon 04 March 2024
- Automatique et corps différentiels Michel Fliess Mon 04 March 2024
- Arithmetic Circuit Complexity of Division and Truncation Pranjal Dutta Gorav Jindal Anurag Pandey Amit Sinhababu Mon 04 March 2024
- PosSLP and Sum of Squares Markus Blaser Julian Dørfler Gorav Jindal Mon 04 March 2024
- On the Counting Complexity of the Skolem Problem Gorav Jindal Joel Ouaknine Mon 04 March 2024
- Continuous Pushdown VASS in One Dimension are Easy Guillermo A. Perez Shrisha Rao Sun 03 March 2024
- Equational Bit-Vector Solving via Strong Grøbner Bases Jiaxin Song Hongfei Fu Charles Zhang Sun 03 March 2024
- Tree-Verifiable Graph Grammars Mark Chimes Radu Iosif Florian Zuleger Sun 03 March 2024
- On the Complexity of Initial-and-Final-State Opacity for Discrete Event Systems Tomáš Masopust Petr Osička Sun 03 March 2024
- Correspondance Entre Algebres De Lie Abstraites et Pseudo-Groupes de Lie Transitifs Alexandre M. Rodrigues Alexis Petitjean Sat 02 March 2024
- Séries formelles et algèbres syntactiques Christophe Reutenauer Sat 02 March 2024
- Algebra and Language Theory P. M. Cohn Sat 02 March 2024
- Algèbres de Lie nilpotentes, formule de Baker-Campbell-Hausdorff et intégrales itérées de K.T. Chen Michel Fliess Dorothée Normand-Cyrot Fri 01 March 2024
- Actions of formal groups on formal schemes. Applications to control theory and combinatorics Ulrich Oberst Arne Dür Fri 01 March 2024
- Vers une notion de dérivation fonctionnelle causale Michel Fliess Fri 01 March 2024
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
