Graffiti 3 : Compact Theory Libraries for Automated Mathematical Discovery

Read full text
Authors: Randy Davila
Cited by: 0

Fields of Study & Subjects

Mathematics Computing and Information Processing History and Theory of Mathematics Mathematics Education and Teaching Techniques

Publication details

Publication date
1 January 2026
Language
EN