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
2 Case Studies in Systematic Exploration of Tuple Theory – Isabela Drămnesc, Tudor Jebelean, Adrian Crăciun - 2010
2 Flyspeck in a Semantic Wiki Collaborating on a Large Scale Formalization of the Kepler Conjecture – Christoph Lange, Sean Mclaughlin, Florian Rabe
unknown title – Pierre Corbineau, Cezary Kaliszyk
1 Spurious Disambiguation Error Detection – Claudio Sacerdoti Coen, Stefano Zacchiroli
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
2 FoCDoc: The Documentation System of FoC – Manuel Maarek, Virgile Prevosto - 2003
12 Recognition and Retrieval of Mathematical Expressions – R. Zanibbi, D. Blostein
3 Towards scientific collaboration in a semantic wiki – Christoph Lange - 2007
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
Scheme-based Theorem Discovery and Concept Invention – Omar Montano Rivas - 2008
(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
Automated Reasoning – Tudor Jebelean, Bruno Buchberger, Temur Kutsia, Nikolaj Popov, Wolfgang Schreiner, Wolfgang Windsteiger