- Matrix multiplication via arithmetic progressions Don Coppersmith Shmuel Winograd Fri 02 March 2012
- Interpolating polynomials from their values Richard Zippel Fri 02 March 2012
- A Gröbner basis technique for Padé approximation Patrick Fitzpatrick John Flynn Fri 02 March 2012
- The method of differentiating under the integral sign Gert Almkvist Doron Zeilberger Fri 02 March 2012
- Termination orderings for associative-commutative rewriting systems Leo Bachmair David A. Plaisted Fri 02 March 2012
- A Structure-preserving Clause Form Translation David A. Plaisted Steven Greenbaum Fri 02 March 2012
- Real quantifier elimination is doubly exponential James H. Davenport Joos Heintz Fri 02 March 2012
- An improved projection operation for cylindrical algebraic decomposition of three-dimensional space Scott McCallum Fri 02 March 2012
- The word problem for free partially commutative groups C. Wrathall Fri 02 March 2012
- La fonction zêta de Riemann prend une infinité de valeurs irrationnelles aux entiers impairs Tanguy Rivoal Fri 02 March 2012
- Linear types and non-size-increasing polynomial time computation Martin Hofmann Fri 02 March 2012
- Refining the hierarchy of blind multicounter languages and twist-closed trios Matthias Jantzen Alexy Kurganskyy Fri 02 March 2012
- Modelling environments in call-by-value programming languages PaulBlain Levy John Power Hayo Thielecke Fri 02 March 2012
- Follow automata Lucian Ilie Sheng Yu Fri 02 March 2012
- Describing parameterized complexity classes Jörg Flum Martin Grohe Fri 02 March 2012
- On representations of some thickness-two graphs Joan P. Hutchinson Thomas Shermer Andrew Vince Fri 02 March 2012
- Program analysis via graph reachability Thomas Reps Fri 02 March 2012
- An analysis of errors in interactive proof attempts S. Aitken T. Melham Fri 02 March 2012
- An Algorithm to Test Identifiability of Non-Linear Systems Lilianne Denis-Vidal Ghislaine Joly-Blanchard Céline Noiret Michel Petitot Fri 02 March 2012
- Single-Linkage Clustering for Optimal Classification in Piecewise Affine Regression Giancarlo Ferrari-Trecate Marco Muselli Fri 02 March 2012
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
