|
|
What’s experimental about experimental mathematics? ∗
– Henrik Kragh Sørensen
- 2008
|
|
|
The Use of Experimental Mathematics in the Classroom
– Attila Máder
|
|
|
Exercises
– Robin Thomas
|
|
|
Linear-time algorithms to color topological graphs
– Warren D. Smith
- 2005
|
|
25
|
Chromatic roots are dense in the whole complex plane
– Alan D. Sokal
- 2000
|
|
1
|
Topological Graph Theory - A Survey
– Dan Archdeacon
- 1996
|
|
|
Mathematics for Formal Methods a prop for education reform
– Mcheal Macan Airchin
|
|
|
MATH31051/MATH41051 Introduction to Topology Autumn Semester 2009–2010
– unknown authors
|
|
|
MATH31051/MATH41051 Introduction to Topology Autumn Semester 2010–2011
– unknown authors
|
|
1
|
A pretty binomial identity
– Tewodros Amdeberhan, Valerio De Angelis, Minghua Lin, Victor H. Moll, B. Sury
- 2012
|
|
23
|
Short and Easy Computer Proofs of the Rogers-Ramanujan Identities and of Identities of Similar Type
– Peter Paule
- 1994
|
|
2
|
Reflections on Quantum Computing
– Cristian S. Calude, Michael J. Dinneen, Karl Svozil, C. S. Calude, M. J. Dinneen, K. Svozil
- 2000
|
|
|
Foolproof
– Brian Hayes
|
|
7
|
Understanding Mathematical Discourse
– Claus Zinn, Universität Erlangen-nürnberg
- 1999
|
|
|
WHAT IS THE PHILOSOPHY OF MATHEMATICS EDUCATION?
– Paul Ernest
|
|
10
|
Towards Self-verification of HOL Light
– John Harrison
- 2006
|
|
|
An Attempt to Automate NP-Hardness Reductions via SO∃ Logic
– Paul Nijjar
- 2004
|
|
|
A Simple Scheme to Structure and Process the Information of Parties in Online Forms of Alternative Dispute Resolution
– Gerard A. W. Vreeswijk, Gerard A. W. Vreeswijk
- 2003
|
|
2
|
How to Formalize It? Formalization Principles for Information System Development Methods
– A. H. M. Ter Hofstede, H.A. Proper
- 1998
|
