Skip to Main content Skip to Navigation
Conference papers

Real Solution Formulas of Cubic and Quartic Equations Applied to Generate Dynamic Diagrams with Inequality Constraints

Ting Zhao 1, 2 Dongming Wang 3 Hoon Hong 4 Philippe Aubry 2
2 APR - Algorithmes, Programmes et Résolution
LIP6 - Laboratoire d'Informatique de Paris 6
3 PolSys - Polynomial Systems
LIP6 - Laboratoire d'Informatique de Paris 6, Inria Paris-Rocquencourt
Abstract : The approach of solving geometric constraints involving inequalities proposed by Hong and others uses triangular decomposition, solution formulas, and quantifier elimination. We show that for generating dynamic diagrams automatically the performance of this approach can be enhanced, in terms of stability of numeric computation and quality of generated diagrams, when the used solution formulas of cubic and quartic equations are replaced by newly introduced real solution formulas with inequality constraints. Several examples are presented to illustrate the enhanced approach and to demonstrate the advantages and effectiveness of the new solution formulas. An implementation of the enhanced approach in Java with interface to Epsilon and QEPCAD for automated generation of dynamic diagrams is outlined and some experimental data are provided.
Complete list of metadatas

Cited literature [18 references]  Display  Hide  Download

https://hal.sorbonne-universite.fr/hal-00683596
Contributor : Ting Zhao <>
Submitted on : Thursday, March 29, 2012 - 12:26:53 PM
Last modification on : Wednesday, August 21, 2019 - 10:38:02 AM
Document(s) archivé(s) le : Saturday, June 30, 2012 - 2:26:25 AM

File

zwha11-GCR_revised_1026.pdf
Files produced by the author(s)

Identifiers

Citation

Ting Zhao, Dongming Wang, Hoon Hong, Philippe Aubry. Real Solution Formulas of Cubic and Quartic Equations Applied to Generate Dynamic Diagrams with Inequality Constraints. 27th Annual ACM Symposium on Applied Computing (SAC 2012), Mar 2012, Trento, Italy. pp.94-101, ⟨10.1145/2245276.2245297⟩. ⟨hal-00683596⟩

Share

Metrics

Record views

718

Files downloads

905