- Adaptive reachability algorithms for nonlinear systems using abstraction error analysis Mark Wetzlinger Adrian Kulmburg Alexis Le Penven Matthias Althoff Fri 28 October 2022
- Determining Acceptance Possibility for a Quantum Computation is Hard for the Polynomial Hierarchy Stephen Fenner Frederic Green Steven Homer Randall Pruim Tue 25 October 2022
- Counting Complexity Lance Fortnow Tue 25 October 2022
- NP Decision Procedure for Monomial and Linear Integer Constraints Rodrigo Raya Jad Hamza Viktor Kunčak Tue 25 October 2022
- Strong Normalization for the Calculus of Constructions Chris Casinghino Tue 25 October 2022
- On History-Deterministic One-Counter Nets Aditya Prakash K. S. Thejaswini Tue 25 October 2022
- Compiling Petri Net Mutual Reachability in Presburger Jérôme Leroux Tue 25 October 2022
- How to Play Optimally for Regular Objectives Patricia Bouyer Nathanael Fijalkow Mickael Randour Pierre Vandenhove Tue 25 October 2022
- Counting Complexity Lance Fortnow Tue 25 October 2022
- Generalised characteristic polynomials John Canny Mon 24 October 2022
- VPSPACE and a Transfer Theorem over the Reals Pascal Koiran Sylvain Perifel Mon 24 October 2022
- A Subdivision-Based Algorithm for the Sparse Resultant John F. Canny Ioannis Z. Emiris Mon 24 October 2022
- Explicit formulas for the multivariate resultant Carlos D'Andrea Alicia Dickenstein Mon 24 October 2022
- An introduction to the theory of resultants Peter F. Stiller Mon 24 October 2022
- On the Worst-Case Arithmetic Complexity of Approximating Zeros of Systems of Polynomials James Renegar Sat 22 October 2022
- Fast Parallel Matrix Inversion Algorithms L. Csanky Sat 22 October 2022
- Expressing a Fraction of Two Determinants as a Determinant Erich Kaltofen Pascal Koiran Sat 22 October 2022
- Succinct representations of graphs Hana Galperin Avi Wigderson Sat 22 October 2022
- On the Intrinsic Complexity of Elimination Theory Joos Heintz Jacques Morgenstern Sat 22 October 2022
- Computing real radicals by moment optimization Lorenzo Baldi Bernard Mourrain Thu 20 October 2022
Library Size: 13G (12949 entries),
Last Updated: Apr 11, 2026, 18:05:34,
Build Time: N/A
