𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[ACM Press the 27th Annual ACM Symposium - Trento, Italy (2012.03.26-2012.03.30)] Proceedings of the 27th Annual ACM Symposium on Applied Computing - SAC '12 - Real solution formulas of cubic and quartic equations applied to generate dynamic diagrams with inequality constraints

✍ Scribed by Zhao, Ting; Hong, Hoon; Wang, Dongming; Aubry, Philippe

Book ID
121740606
Publisher
ACM Press
Year
2012
Weight
488 KB
Category
Article
ISBN
1450308570

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

[ACM Press the 27th Annual ACM Symposium
[ACM Press the 27th Annual ACM Symposium - Trento, Italy (2012.03.26-2012.03.30)] Proceedings of the 27th Annual ACM Symposium on Applied Computing - SAC '12 - Real solution formulas of cubic and quartic equations applied to generate dynamic diagrams with inequality constraints
✍ Zhao, Ting; Hong, Hoon; Wang, Dongming; Aubry, Philippe πŸ“‚ Article πŸ“… 2012 πŸ› ACM Press βš– 488 KB

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 stab