Publisher
Springer Nature Switzerland
Reference22 articles.
1. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);M Bezem,2005
2. Buchberger, B.: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. J. Symb. Comput. 41(3), 475–511 (2006)
3. Cervoni, L., Brasseur, J., Rohmer, J.: Simultaneously teaching Mathematics and Prolog in School Curricula: a mutual benefit. In: Warren, D.S., Dahl, V., Eiter, T., Hermenegildo, M., Kowalski, R., Rossi, F. (eds.) Prolog - The Next 50 Years. No. 13900. LNCS, Springer (July 2023)
4. Chou, S.C., Gao, X.S.: Automated reasoning in geometry. Handbook of Automated Reasoning 5(1) (2001)
5. Chou, S.C., Gao, X.S., J.Z., Z.: Automated production of traditional proofs for constructive geometry theorems. In: Proceedings of the Eighth Annual IEEE Symposium on Logic in Computer Science LICS, pp. 48–56 (1993)