Titlebook: Automated Deduction in Geometry; Third International Jürgen Richter-Gebert,Dongming Wang Conference proceedings 2001 Springer-Verlag Berli

ARK

Jürgen Richter-Gebert,Dongming WangIncludes supplementary material:

fetter

巫婆

https://doi.org/10.1007/3-540-45410-1Automat; Computer Vision; Computer-Aided Design; Formal Verification; Geometric Deduction; Geometric Desi

concubine

978-3-540-42598-4Springer-Verlag Berlin Heidelberg 2001

PANG

pulmonary

六邊形

conscribe

樹木心

Individual

A Practical Program of Automated Proving for a Class of Geometric Inequalities,An inequality-proving algorithm based on cell decomposition and a practical program written in Maple are presented, which can efficiently treat inequality-type theorems involving radicals, especially, a class of geometric inequalities including most of the theorems in a wellknown book on the subject.