Author:
Buchberger Bruno,Crǎciun Adrian,Jebelean Tudor,Kovács Laura,Kutsia Temur,Nakagawa Koji,Piroi Florina,Popov Nikolaj,Robu Judit,Rosenkranz Markus,Windsteiger Wolfgang
Subject
Applied Mathematics,Logic
Reference94 articles.
1. Mathematical knowledge management in HELM;Asperti;Ann. Math. Artificial Intelligence,2003
2. Completion without failure;Bachmair,1989
3. Synthesis of programs in computational logic;Basin,2004
4. Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions;Bertot,2004
5. Challenge problems in elementary analysis;Bledsoe;J. Automat. Reason.,1990
Cited by
62 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Synthesizing axiomatizations using logic learning;Proceedings of the ACM on Programming Languages;2022-10-31
2. Evaluating the use of e-assessment in a first-year pure mathematics module;Teaching Mathematics and its Applications: An International Journal of the IMA;2022-05-20
3. Learning to Reason Assisted by Automated Reasoning;Lecture Notes in Computer Science;2022
4. Automated Theorem Proving in the Classroom;Electronic Proceedings in Theoretical Computer Science;2021-12-30
5. Variadic equational matching in associative and commutative theories;Journal of Symbolic Computation;2021-09