Author:
Kozen Dexter,Ramanarayanan Ganesh
Reference16 articles.
1. K. Aboul-Hosn. A proof-theoretic approach to tactics. In J.M. Borwein and W.M. Farmer, editors, Proceedings of the 5th International Conference on Mathematical Knowledge Management (MKM’06), volume 4108 of Lecture Notes in Computer Science, pages 54–66. Springer, Berlin, Germany, August 2006.
2. K. Aboul-Hosn. A Proof-Theoretic Approach to Mathematical Knowledge Management. PhD thesis, Cornell University, January 2007.
3. K. Aboul-Hosn and T.D. Andersen. A proof-theoretic approach to hierarchical math library organization. In Proceedings of the 4th International Conference on Mathematical Knowledge Management (MKM’05), pages 1–16. Springer, Berlin, Germany, October 2005.
4. S. Allen, M. Bickford, R. Constable, R. Eaton, C. Kreitz, and L. Lorigo. FDL: A prototype formal digital library, 2002.
http://www.nuprl.org/FDLproject/02cucs-fdl.html
5. B. Buchberger. Mathematical knowledge management using theorema. In B. Buchberger, O. Caprotti, editors, 1st International Conference on Mathematical Knowledge Management (MKM 2001), RISC-Linz, A-4232 Schloss Hagenberg, Austria, September 24–26, 2001.