Mechanical Proof of Geometry Theorems Involving Inequalities

Judit Robu

Research output: Other contribution

Original languageEnglish
Publication statusPublished - Jun 2001

Fields of science

  • 101 Mathematics

JKU Focus areas

  • Computation in Informatics and Mathematics

Cite this