- Termination orderings and complexity characterisations E.A. Cichon Fri 02 March 2012
- Linear relations on algebraic groups D. W. Masser Fri 02 March 2012
- Turn-Based Stochastic Games Antonín Kučera Fri 02 March 2012
- Special Functions George E. Andrews Richard Askey Ranjan Roy Fri 02 March 2012
- A survey of PPAD-completeness for computing Nash equilibria Paul W. Goldberg Fri 02 March 2012
- Modern Computer Algebra Joachim von zur Gathen Jürgen Gerhard Fri 02 March 2012
- A FORMAL PROOF OF THE KEPLER CONJECTURE THOMAS HALES MARK ADAMS GERTRUD BAUER TAT DAT DANG JOHN HARRISON LE TRUONG HOANG CEZARY KALISZYK VICTOR MAGRON SEAN MCLAUGHLIN TAT~THANG NGUYEN QUANG TRUONG NGUYEN TOBIAS NIPKOW STEVEN OBUA JOSEPH PLESO JASON RUTE ALEXEY SOLOVYEV THI HOAI AN TA NAM TRUNG TRAN THI DIEP TRIEU JOSEF URBAN KY VU ROLAND ZUMKELLER Fri 02 March 2012
- Fields with several commuting derivations David Pierce Fri 02 March 2012
- THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT MARTÍN ESCARDÓ PAULO OLIVA Fri 02 March 2012
- FROM MULTISETS TO SETS IN HOMOTOPY TYPE THEORY HAAKON ROBBESTAD GYLTERUD Fri 02 March 2012
- PROJECTIVE CLONE HOMOMORPHISMS MANUEL BODIRSKY MICHAEL PINSKER ANDRÁS PONGRÁCZ Fri 02 March 2012
- TWISTED GALOIS STRATIFICATION IVAN TOMAŠIĆ Fri 02 March 2012
- ON THE REMAK HEIGHT, THE MAHLER MEASURE AND CONJUGATE SETS OF ALGEBRAIC NUMBERS LYING ON TWO CIRCLES A. Dubickas C. J. Smyth Fri 02 March 2012
- Dynamics for beta-shifts and Diophantine approximation Boris Adamczewski Yann Bugeaud Fri 02 March 2012
- On the Taylor coefficients of rational functions K. Mahler J. W. S. Cassels Fri 02 March 2012
- On well-quasi-ordering infinite trees C. St. J. A. Nash-Williams Fri 02 March 2012
- Locally cartesian closed categories and type theory R. A. G. Seely Fri 02 March 2012
- Traced monoidal categories André Joyal Ross Street Dominic Verity Fri 02 March 2012
- Polynomial functors and polynomial monads NICOLA GAMBINO JOACHIM KOCK Fri 02 March 2012
- Bisecting measures with hyperplane arrangements ALFREDO HUBARD ROMAN KARASEV Fri 02 March 2012
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
