Title: Scientific computation on mathematical problems and conjectures
Subjects: Mathematics, Data processing, Problem solving