- A Provably Efficient Algorithm for the k-Mismatch Average Common Substring Problem Sharma V. Thankachan Alberto Apostolico Srinivas Aluru Fri 02 March 2012
- An introduction to univalent foundations for mathematicians Daniel Grayson Fri 02 March 2012
- Intersection of a correspondence with a graph of Frobenius Yakov Varshavsky Fri 02 March 2012
- Estimates of textdollartextbackslashpsi ,textbackslashtheta textdollar for large values of textdollarxtextdollar without the Riemann hypothesis Pierre Dusart Fri 02 March 2012
- Dirichlet's proof of the three-square theorem: An algorithmic perspective Paul Pollack Peter Schorn Fri 02 March 2012
- Estimates for the coefficients of differential dimension polynomials Omar León Sánchez Fri 02 March 2012
- The fundamental lemma of complexity for arbitrary finite semigroups John Rhodes Fri 02 March 2012
- Decidability of second-order theories and automata on infinite trees Michael O. Rabin Fri 02 March 2012
- Every planar map is four colorable K. Appel W. Haken Fri 02 March 2012
- Linear automaton transformations A. Nerode Fri 02 March 2012
- A note on pushdown store automata and regular systems Sheila A. Greibach Fri 02 March 2012
- Bounds on positive integral solutions of linear Diophantine equations I. Borosh L. B. Treybig Fri 02 March 2012
- A bound on solutions of linear integer equalities and inequalities Joachim von zur Gathen Malte Sieveking Fri 02 March 2012
- Dense orbits of rationals Michael D. Boshernitzan Fri 02 March 2012
- Exponentiation in power series fields Franz-Viktor Kuhlmann Salma Kuhlmann Saharon Shelah Fri 02 March 2012
- The maximal orders of finite subgroups in textdollarGLłbracenrbrace(textbackslashmathbf łbraceQrbrace)textdollar Shmuel Friedland Fri 02 March 2012
- On sequences defined by linear recurrence relations H. T. Engstrom Fri 02 March 2012
- Generalized gradients and applications Frank H. Clarke Fri 02 March 2012
- The Diophantine problem for addition and divisibility L. Lipshitz Fri 02 March 2012
- Viscosity solutions of Hamilton-Jacobi equations Michael G. Crandall Pierre-Louis Lions Fri 02 March 2012
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A