Cited By
View all- Quaresma PGraziani PNicoletti S(2024)Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in GeometryElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.398.12398(85-100)Online publication date: 22-Jan-2024
- de Miguel JVelázquez-Iturbide J(2024)What Is an Algorithm?Encyclopedia of Information Science and Technology, Sixth Edition10.4018/978-1-6684-7366-5.ch072(1-17)Online publication date: 1-Jul-2024
- Greiffenhagen C(2023)Checking correctness in mathematical peer reviewSocial Studies of Science10.1177/0306312723120027454:2(184-209)Online publication date: 30-Sep-2023
- Show More Cited By