# Jean Mainguené

- Citations Per Year

- Citations Per Year

- Full text PDF available (0)

Learn More

- Ahmed Guergueb, Jean Mainguené, Marie-Françoise Roy
- ISSAC
- 1994

In this paper we show that computer algebra methods in mechanical geometry theorem proving can also be applied to obtain new theorems involving inequalities. An interesting feature is that in real geometry, several cases can occur, none of them being more generic than the other. The examples we give come from the geometry of the triangle, more precisely… (More)

- ‹
- 1
- ›