Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Barendregt, H., Wiedijk, F.: The challenge of computer mathematics. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 363, 2351–2375 (2005)
2. Buchberger, B., Craciun, A., Jebelean, T., Kovacs, L., Kutsia, T., Nakagawa, K., Piroi, F., Popov, N., Robu, J., Rosenkranz, M., Windsteiger, W.: Theorema: Towards computer-aided mathematical theory exploration. Journal of Applied Logic 4, 470–504 (2006)
3. Calculemus Project: Systems for Integrated Computation and Deduction. Web site at
http://www.calculemus.net/
4. Carette, J.: Understanding expression simplification. In: Gutierrez, J. (ed.) ISSAC 2004. Proceedings of the 2004 International Symposium on Symbolic and Algebraic Computation, pp. 72–79. ACM Press, New York (2004)
5. LNCS (LNAI);J. Carette,2007
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献