- How to write mathematics Paul Halmos Thu 20 September 2012
- On proof and progress in mathematics William P. Thurston Thu 20 September 2012
- The Two Cultures of Mathematics Timothy Gowers Thu 20 September 2012
- What is good mathematics Terence Tao Thu 20 September 2012
- Missed opportunities Freeman Dyson Thu 20 September 2012
- A beginner's guide to forcing Timothy Y. Chow Thu 20 September 2012
- Division by three Peter G. Doyle John Horton Conway Thu 20 September 2012
- Musical Actions of Dihedral Groups Alissa S. Crans Thomas M. Fiore Ramon Satyendra Thu 20 September 2012
- Advice to a Young Mathematician Michael Atiyah Thu 20 September 2012
- An Elementary Theory of the Category of Sets Bill Lawvere Thu 20 September 2012
- American Mathematics from 1940 to the Day Before Yesterday J. H. Ewing W. H. Gustafson P. R. Halmos S. H. Moolgavkar W. H. Wheeler W. P. Ziemer Thu 20 September 2012
- Weighted Automata Algorithms Mehryar Mohri Thu 20 September 2012
- On the Determinization of Weighted Automata Daniel Kirsten Ina Maurer Thu 20 September 2012
- On the Determinization of Weighted Finite Automata Adam L. Buchsbaum Raffaele Giancarlo Jeffery R. Westbrook Thu 20 September 2012
- Generalisation and Formalisation in Game Theory Stephane Le Roux Thu 20 September 2012
- Recursive Schemes, Krivine Machines, and Collapsible Pushdown Automata Sylvain Salvati Igor Walukiewicz Thu 20 September 2012
- Analysis of recursively parallel programs Ahmed Bouajjani Michael Emmi Thu 20 September 2012
- LTL-Model-Checking via Model Composition Ingo Felscher Thu 20 September 2012
- Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences Patricia Bouyer Serge Haddad Pierre-Alain Reynier Thu 20 September 2012
- Towards verification via supercompilation Alexei Lisitsa Andrei Nemytykh Thu 20 September 2012
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 11:39:05,
Build Time: N/A
