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
64 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Algorithm-assisted discovery of an intrinsic order among mathematical constants;Proceedings of the National Academy of Sciences;2024-06-14
2. Mechanical Verification of Insert-Sort and Merge-Sort Using Multisets in Theorema;2023 IEEE 21st Jubilee International Symposium on Intelligent Systems and Informatics (SISY);2023-09-21
3. Synthesizing axiomatizations using logic learning;Proceedings of the ACM on Programming Languages;2022-10-31
4. 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
5. Learning to Reason Assisted by Automated Reasoning;Lecture Notes in Computer Science;2022