Title: Proceedings of the ...
Subjects: Numerical solutions, Equations, Artificial intelligence, Automatic theorem proving