Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving

By Wen-tsün Wu. 2001

59 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/cb383c9a177af4080948b5d154a973d6432874c8

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

1. Dejan Jovanovic
2. Leonardo de Moura
3. Tim King
4. The mathlib Community
5. Clark W. Barrett
6. Swarat Chaudhuri
7. Haniel Barbosa
8. Yuhuai Wu

Citations in the corpus

• Solving non-linear arithmetic (2012, background): “From the early beginnings in Persian and Chinese mathematics [24,25,50] until the present day, polynomial constraints and the algorithmic ways of solving them have been one of the driving forces in the development of mathematics.”