Documents Related by Co-Citation

8 Tools for Using Automated Provers in Mathematical Theory Exploration – F Piroi - 2004
9 An Environment for Building Mathematical Knowledge Libraries – Florina Piroi, Bruno Buchberger - 2004
5 Groebner bases in theorema using functors – B Buchberger - 2008
6 Algorithm Retrieval: Concept Clarification and Case Study in Theorema – B Buchberger - 2003
32 Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema – B Buchberger, A Craciun
6 A Proof-Theoretic Approach to Mathematical Knowledge Management – K Aboul-Hosn - 2007
2 Functor Programming in Mathematica, Talk at the Australian – B Buchberger - 1996
2 Functors for Mathematics (The Theorema project – B Buchberger - 1996
12 Integriertes automatisches und interaktives Beweisen: die Kalkülebene – Martin Giese - 1998
4 c "Technical Aspects of the Digital – Abdou Youssef, R Bruce - 2003
6 The Design and Analysis of Computer Algorithms.Addison-Wesley – A Aho, J Hopcroft, J Ullman - 1975
18 Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy – Bruno Buchberger - 2004
69 HOL Light: A tutorial introduction – John Harrison - 1996
165 Nominal Logic: A First Order Theory of Names and Binding – Andrew M. Pitts - 2001
3 Knowledge Management of Formal Mathematics and Interactive Theorem Proving – Claudio Sacerdoti Coen - 2004
2 Mathematical Journals as Reasoning Agents: Literature Review – Florina Piroi, et al.
2 Organisational Tools for MKM in Theorema – F Piroi, B Buchberger, Camelia Rosenkranz, T Jebelean - 2007
9 Theory Exploration with Theorema – Bruno Buchberger - 2000
16 A content based mathematical search engine: whelp – Andrea Asperti, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli - 2004