Search Results for author:
Found 1 papers, 0 papers with code
Automated Planning Techniques for Elementary Proofs in Abstract Algebra
This paper explores the application of automated planning to automated theorem proving, which is a branch of automated reasoning concerned with the development of algorithms and computer programs to construct mathematical proofs.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
