Author:
Carette Jacques,Farmer William M.
Publisher
Springer International Publishing
Reference22 articles.
1. Lecture Notes in Computer Science;A Anand,2018
2. Beeson, M.: Logic and computation in MATHPERT: an expert system for learning mathematics. In: Kaltofen, E., Watt, S. (eds.) Computers and Mathematics, pp. 202–214. Springer, New York (1989).
https://doi.org/10.1007/978-1-4613-9647-5_25
3. Boyer, R., Moore, J.: Metafunctions: proving them correct and using them efficiently as new proof procedures. In: Boyer, R., Moore, J. (eds.) The Correctness Problem in Computer Science, pp. 103–185. Academic Press, Cambridge (1981)
4. Buchberger, B., et al.: Theorema: towards computer-aided mathematical theory exploration. J. Appl. Log. 4, 470–504 (2006)
5. Lecture Notes in Computer Science;J Carette,2018