Documents Related by Co-Citation

9 An Environment for Building Mathematical Knowledge Libraries – Florina Piroi, Bruno Buchberger - 2004
6 Algorithm Retrieval: Concept Clarification and Case Study in Theorema – B Buchberger - 2003
8 Tools for Using Automated Provers in Mathematical Theory Exploration – F Piroi - 2004
4 A Proof-Theoretic Approach to Mathematical Knowledge Management – K Aboul-Hosn - 2007
31 Algorithm Synthesis by Lazy Thinking: Examples and Implementation – B Buchberger, A Craciun
4 Groebner bases in Theorema using functors – B Buchberger - 2008
5 The Design and Analysis of Computer Algorithms,Addison–Wesley – A A Aho, J E Hopcroft, J D Ullman - 1975
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
52 HOL Light: A tutorial introduction – John Harrison - 1996
4 c "Technical Aspects of the Digital – Abdou Youssef, R Bruce - 2003
17 Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy – Bruno Buchberger - 2004
142 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
3 A Proof-Theoretic Approach to Hierarchical Math Library Organization – Kamal Aboul-hosn, Terese Damhøj Andersen - 2005
4 Towards the Automated Synthesis of a Groebner Bases Algorithm, RACSAM—Revista de la Real Academia de Ciencias – B Buchberger - 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