ARK
发表于 2025-3-25 07:03:31
Jürgen Richter-Gebert,Dongming WangIncludes supplementary material:
fetter
发表于 2025-3-25 10:27:25
http://reply.papertrans.cn/17/1663/166255/166255_22.png
巫婆
发表于 2025-3-25 14:51:36
https://doi.org/10.1007/3-540-45410-1Automat; Computer Vision; Computer-Aided Design; Formal Verification; Geometric Deduction; Geometric Desi
concubine
发表于 2025-3-25 19:36:24
978-3-540-42598-4Springer-Verlag Berlin Heidelberg 2001
PANG
发表于 2025-3-26 00:02:46
http://reply.papertrans.cn/17/1663/166255/166255_25.png
pulmonary
发表于 2025-3-26 00:47:21
http://reply.papertrans.cn/17/1663/166255/166255_26.png
六边形
发表于 2025-3-26 04:32:10
http://reply.papertrans.cn/17/1663/166255/166255_27.png
conscribe
发表于 2025-3-26 10:58:56
http://reply.papertrans.cn/17/1663/166255/166255_28.png
树木心
发表于 2025-3-26 13:57:06
http://reply.papertrans.cn/17/1663/166255/166255_29.png
Individual
发表于 2025-3-26 19:12:35
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.