Title: Mathematics mechanization
Subjects: Artificial intelligence, Automatic theorem proving, Equations, Numerical solutions, Equations, numerical solutions