Finding the Symbolic Solution of a Geometric Problem Through Numerical Computations

DOI10.1007/978-3-662-43799-5_18MaRDI QIDQ2799563zbMATH OpenOpenAlexFDO

Authors Liangyu Chen, Tuo Leng, Li-Yong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng

Publication date 12 April 2016

Published in Computer Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-43799-5_18

zbMATH Keywords

algebraic curveslower and upper boundsoptimizationresultantsymbolic solution

Mathematics Subject Classification ID

Computational aspects of algebraic curves (14Q05) Numerical aspects of computer graphics, image analysis, and computational geometry (65D18) Symbolic computation and algebraic computation (68W30)

Recommendations

• Solving geometry problems using a combination of symbolic and numerical reasoning
• Using geometric rewrite rules for solving geometric problems symbolically
• scientific article; zbMATH DE number 1734659
• scientific article; zbMATH DE number 67119
• scientific article; zbMATH DE number 6476009

Cites work

• A mechanical proof to a geometric inequality of Zirakzadeh through rectangular partition of polyhedra

Cited in

(2)

• scientific article; zbMATH DE number 5168255 (Why is no real title available?)
• Automated Deduction in Geometry

This page was built for publication: Finding the Symbolic Solution of a Geometric Problem Through Numerical Computations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2799563)