Passages of proof (2004)

by Cristian S. Calude , Elena Calude , Solomon Marcus
Venue:BULL. EUR. ASSOC. THEOR. COMPUT. SCI. EATCS
Citations:1 - 1 self

Documents Related by Co-Citation

1 Syntax and Semantics – Edward Nelson, The Ontological Quest
1 Personal communication to C. Müller – C Leedham-Green - 2009
1 The Pythagorean Proposition, 2nd edn – E S Loomis - 1968
1 Personal communication to C. Müller – M Wenzel - 2009
1 B.: Principia Mathematica, 2nd edn., vol. I – A N Whitehead, Russell - 1910
2 panta rhei – Christine Müller, Michael Kohlhase
2 Despite physicists, proof is essential in mathematics – S M Lane - 1997
2 The Pythagorean Proposition – E S Loomis - 1968
1 Organisation, transformation, and propagation of mathematical knowledge in Ωmega – S Autexier, C Benzmüller, D Dietrich, M Wagner - 2009
1 Capturing Rhetorical Aspects in Mathematical Documents using OMDoc and SALT – J Giceva - 2008
1 XSLT Stylesheet for converting OMDoc documents into XHTML – M Kohlhase - 2008
1 Theory Morphisms – I Normann - 2008
1 Archive of formal proofs. http://afp.sourceforge.net. seen – AFP - 2009
1 A Very Short Introduction – Mathematics - 2002
1 Syntax and Semantics. http://www.math.princeton.edu – E Nelson - 2009
1 web page at http://www.texM.s.org – Gnu TeXMacs - 2009
1 Personal communication to C – M Wenzel
12 User-adaptive proof explanation – A Fiedler - 2001
2 The archive of formal proofs – AFP - 2007