Solving Dynamic Geometric Constraints Involving Inequalities

DOI10.1007/11856290_17MaRDI QIDQ5302912zbMATH OpenOpenAlexFDO

Authors Hoon Hong, Liyun Li, Tielin Liang, Dongming Wang

Publication date 15 January 2009

Published in Artificial Intelligence and Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11856290_17

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• Geometric constraint solving with geometric transformation
• scientific article; zbMATH DE number 1745032
• Geometric constraint solving: the witness configuration method
• A systematic framework for solving geometric constraints analytically
• scientific article; zbMATH DE number 2080310

Cites work

• GEOTHER 1.1

Cited in

(2)

• Solution formulas for cubic equations without or with constraints
• The reachability problem in constructive geometric constraint solving based dynamic geometry

Describes a project that uses

Uses Software

• GEOTHER 1.1
• QEPCAD

This page was built for publication: Solving Dynamic Geometric Constraints Involving Inequalities

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