Skip header Section
Skip Bibliometrics Section
Automated Development of Fundamental Mathematical TheoriesJanuary 1992
- Author:
- Art Quaife
Abstract
No abstract available.
Cited By
- Macke J, Sedlar J, Olsak M, Urban J and Sivic J Learning to Solve Geometric Construction Problems from Images Intelligent Computer Mathematics, (167-184)
- Beeson M and Wos L (2017). Finding Proofs in Tarskian Geometry, Journal of Automated Reasoning, 58:1, (181-207), Online publication date: 1-Jan-2017.
- Gao H, Goto Y and Cheng J A Set of Metrics for Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning Revised Selected Papers, Part II, of the 5th International Conference on Intelligence Science and Big Data Engineering. Big Data and Machine Learning Techniques - Volume 9243, (508-517)
- Gao H, Goto Y and Cheng J (2014). A systematic methodology for automated theorem finding, Theoretical Computer Science, 554:C, (2-21), Online publication date: 16-Oct-2014.
- Kaliszyk C and Urban J (2014). Learning-Assisted Automated Reasoning with Flyspeck, Journal of Automated Reasoning, 53:2, (173-213), Online publication date: 1-Aug-2014.
- Urban J and Vyskočil J Theorem proving in large formal mathematics as an emerging AI field Automated Reasoning and Mathematics, (240-257)
- Urban J, Sutcliffe G, Pudlák P and Vyskočil J MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance Proceedings of the 4th international joint conference on Automated Reasoning, (441-456)
- Cheng J, Goto Y, Nara S and Koh T A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing Knowledge-Based Intelligent Information and Engineering Systems and the XVII Italian Workshop on Neural Networks on Proceedings of the 11th International Conference, (840-851)
- Sutcliffe G TPTP, TSTP, CASC, etc. Proceedings of the Second international conference on Computer Science: theory and applications, (6-22)
- Sutcliffe G and Puzis Y SRASS - A Semantic Relevance Axiom Selection System Proceedings of the 21st international conference on Automated Deduction: Automated Deduction, (295-310)
- Brown C Combining type theory and untyped set theory Proceedings of the Third international joint conference on Automated Reasoning, (205-219)
Dovier A, Formisano A and Omodeo E (2006). Decidability results for sets with atoms, ACM Transactions on Computational Logic (TOCL), 7:2, (269-301), Online publication date: 1-Apr-2006.- Sutcliffe G and Suttner C (2006). The state of CASC, AI Communications, 19:1, (35-48), Online publication date: 1-Jan-2006.
- van der Poll J and Kotzé P Evaluating reasoning heuristics in the context of multi-level marketing structures Proceedings of the 2004 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countries, (63-72)
- Sutcliffe G (2019). The CADE-16 ATP System Competition, Journal of Automated Reasoning, 24:3, (371-396), Online publication date: 1-Apr-2000.
Recommendations
"Leagile" software development
In recent years there has been a noticeable shift in attention from those who use agile software development toward lean software development, often labelled as a shift "from agile to lean". However, the reality may not be as simple or linear as this ...
Operational definition and automated inference of test-driven development with Zorro
Test-driven development (TDD) is a style of development named for its most visible characteristic: the design and implementation of test cases prior to the implementation of the code required to make them pass. Many claims have been made for TDD: that ...