Active Bibliography

Mathematical Journals as Reasoning Agents: Literature Review Contents – unknown authors
2 Mathematical Journals as Reasoning Agents: Literature Review – Florina Piroi, et al.
1 Knowledge Archives in Theorema: A Logic-Internal Approach – Camelia Rosenkranz, Bruno Buchberger, Tudor Jebelean
Mathematical Knowledge Archives in Theorema – Camelia Rosenkranz, Bruno Buchberger, Tudor Jebelean
Chapter II Automated Reasoning – Tudor Jebelean, Bruno Buchberger, Temur Kutsia, Nikolaj Popov, Wolfgang Schreiner, Wolfgang Windsteiger
2 Case Studies in Systematic Exploration of Tuple Theory – Isabela Drămnesc, Tudor Jebelean, Adrian Crăciun - 2010
2 The theorema environment for interactive proof development. Contributed talk at – Florina Piroi, Temur Kutsia - 2005
unknown title – Pierre Corbineau, Cezary Kaliszyk
The Calculemus – Christoph Benzmüller, Corinna Hahn - 2005
2 FoCDoc: The Documentation System of FoC – Manuel Maarek, Virgile Prevosto - 2003
1 A Case Study in Proof Based Synthesis of Sorting Algorithms – Seria Matematică Informatică, Isabela Drămnesc, Tudor Jebelean
3 Proof Based Synthesis of Sorting Algorithms Authors: – Isabela Drămnesc, Tudor Jebelean
4 Narrative structure of mathematical texts – Fairouz Kamareddine, Manuel Maarek, Krzysztof Retel, J. B. Wells - 2007
Position paper: A real Semantic Web for mathematics deserves a real semantics – P. Corbineau, H. Geuvers, C. Kaliszyk, J. Mckinna, F. Wiedijk
(ULTRA group, Heriot-Watt University) – F. Kamareddine, M. Maarek, K. Retel, J. B. Wells, Computerisation Vs. Formalisation
1 Automated Reasoning on Tuples - Case Studies in Proof Based Synthesis – Isabela Drămnesc, Tudor Jebelean - 2011
Formal Proof: Reconciling Correctness and Understanding – Cristian S. Calude, Christine Müller
2 Flyspeck in a Semantic Wiki Collaborating on a Large Scale Formalization of the Kepler Conjecture – Christoph Lange, Sean Mclaughlin, Florian Rabe
A language for mathematical knowledge – Steven Kieffer, Jeremy Avigad, Harvey Friedman