Publisher
Springer Berlin Heidelberg
Reference121 articles.
1. J Abbott et al, Objectives of OpenMath, R.IACA TU Eindhoven,Technical Report 12 (1996)
2. K Appel and W Haken, The four color proof suffices, Math. Intelligencer 8 (1986) 10–20
3. M Atiyah et al, Responses to: A Jaffe and F Quinn, Bull. Amer. Math. Soc. 29 (1993) 1–13
4. B Buchberger, Symbolic computation: computer algebra and logic, Appl. Log. Ser. 3 (1996) 193–219, Kluwer Acad. Publ
5. C Ballarin et al, Theorems and Algorithms: An Interface between Isabelle and Maple International Symposium on Symbolic and Algebraic Computation, 150–157, ACM Press, 1995
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献