Documents Related by Co-Citation

9 Checking Number Theory Proofs in Natural Language – D L Simon - 1990
7 and Freef Wiedijk. A comparison of the mathematical proof languages Mizar and Isar – Markus Wenzel
5 The Seventeen Provers of the World, foreword by Dana S. Scott, volume 3600 of LNCS – F Wiedijk, editor - 2006
5 Supporting the formal verification of mathematical texts – Claus Zinn
19 Mizar: the first 30 years – Roman Matuszewski, Piotr Rudnicki - 2005
438 Literate programming – Donald E. Knuth - 1984
10 On dynamically presenting a topology course – Paul Cairns, Jeremy Gow - 2001
11 Explaining code for publication – Harold Thimbleby - 2003
10 MathLang: An experience driven language of mathematics – F Kamareddine, M Maarek, J B Wells - 2004
9 Gradual computerisation/formalisation of mathematical texts into Mizar – Fairouz Kamareddine, Manuel Maarek, Krzysztof Retel, J. B. Wells
3 Motivations for MathLang – Fairouz Kamareddine - 2005
3 A Simulation and Decision Framework for Selection of Numerical Solvers in Scientific Computing – Peter Bunus
3 State of the art in multilingual and multicultural creation of digital mathematical content – Lauri Carlson, Jordi Saludes, Andreas Strotmann, Lauri Carlson, Andreas Strotmann - 2005
3 standard ISO/IEC 13568:2002 information technology – Z formal specification notation – syntax, type system and semantics – International - 2002
3 Intelligent front-end for solving nonlinear systems of differential and algebraic equations – S Maaruster, V Negru, D Petcu, C Sandru
3 Exploring the core of MathLang – P van Tilburg - 2006
5 Gemischt-ganzzahlige Optimierung: Modellierung in der Praxis – J Kallrath - 2002
15 Algorithm 687: a decision tree for the numerical solution of initial value ordinary differential equations – C A Addison, W H Enright, P W Gaffney, I Gladwell, P M Hanson - 1991
6 GAUSS: An Online Algorithm Selection System for Numerical Quadrature – N Ramakrishnan, J R Rice, E N Houstis - 2002