Cited By
View all- Wang D(2013)Automation of Geometry – Theorem Proving, Diagram Generation, and Knowledge ManagementAutomated Deduction in Geometry10.1007/978-3-642-40672-0_2(31-32)Online publication date: 2013
Real solution formulas of cubic and quartic equations applied to generate dynamic diagrams with inequality constraints
Pages 94 - 101
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.
References
[1]
C. W. Brown and H. Hong. QEPCAD --- quantifier elimination by partial cylindrical algebraic decomposition. 2011. http://www.cs.usna.edu/~qepcad/B/QEPCAD.html.
[2]
G. E. Collins and H. Hong. Partial cylindrical algebraic decomposition for quantifier elimination. J. Symb. Comput., 12: 299--328, 1991.
[3]
R. Dixon. Mathographics. New York, Dover, 1991.
[4]
A. Dolzmann, T. Sturm, and V. Weispfenning. A new approach for automatic theorem proving in real geometry. J. Automat. Reason., 21(3): 357--380, 1998.
[5]
X.-S. Gao, K. Jiang, and C.-C. Zhu. Geometric constraint solving with conics and linkages. Comput. Aided Design, 34(6): 421--433, 2002.
[6]
L. González-Vega. A combinatorial algorithm solving some quantifier elimination problems. In B. Caviness and J. Johnson, editors, Quantifier Elimination and Cylindrical Algebraic Decomposition, pages 300--316, Springer-Verlag, Wien New York, 1996.
[7]
C. M. Hoffmann and R. Joan-Arinyo. A brief on constraint solving. Comput. Aided Design Appl., 2(5): 655--663, 2005.
[8]
H. Hong. Quantifier elimination for formulas constrained by quadratic equations via slope resultants. Comput. J., 36(5): 440--449, 1993.
[9]
H. Hong, L. Li, T. Liang, and D. Wang. Solving dynamic geometric constraints involving inequalities. In J. Calmet, T. Ida, and D. Wang, editors, Artificial Intelligence and Symbolic Computation, volume 4120 of LNAI, pages 181--195, Springer-Verlag, Berlin Heidelberg, 2006.
[10]
H. Hong, D. Wang, and T. Zhao. Solution formulas for quartic equations without or with constraints. 2011, in preparation.
[11]
D. Kim, D. S. Kim, and K. Sugihara. Apollonius tenth problem via radius adjustment and Mobius transformations. Comput. Aided Design, 38(1): 14--21, 2006.
[12]
R. H. Lewis and S. Bridgett. Conic tangency equations and Apollonius problems in biochemistry and pharmacology. Math. Comput. Simul., 61(2): 101--114, 2003.
[13]
D. Wang. Automated generation of diagrams with Maple and Java. In M. Joswig and N. Takayama, editors, Algebra, Geometry, and Software Systems, pages 277--287, Springer-Verlag, Berlin Heidelberg, 2003.
[14]
D. Wang. Elimination Practice: Software Tools and Applications. Imperial College Press, London, 2004.
[15]
D. Wang. GEOTHER 1.1: Handling and proving geometric theorems automatically. In F. Winkler, editor, Automated Deduction in Geometry, volume 2930 of LNAI, pages 194--215, Springer-Verlag, Berlin Heidelberg, 2004.
[16]
V. Weispfenning. Quantifier elimination for real algebra --- the cubic case. In Proceedings of the 1994 International Symposium on Symbolic and Algebraic Computation, pages 258--263, ACM Press, New York, 1994.
[17]
L. Yang, X.-R. Hou, and Z.-B. Zeng. A complete discrimination system for polynomials. Sci. China (Ser. E), 39(6): 628--646, 1996.
[18]
Z. Ye, S.-C. Chou, and X.-S. Gao. Visually dynamic presentation of proofs in plane geometry --- part 1. basic features and the manual input method. J. Automat. Reason., 45(3): 213--241, 2010.
[19]
T. Zhao, D. Wang, and H. Hong. Solution formulas for cubic equations without or with constraints. J. Symb. Comput., 46(8): 904--918, 2011.
Recommendations
Solution formulas for cubic equations without or with constraints
We present a convention (for square/cubic root) which provides correct interpretations of the Lagrange formula for all cubic polynomial equations with real coefficients. Using this convention, we also present a real solution formula for the general ...
Optimal Control Computation for Nonlinear Fractional Time-Delay Systems with State Inequality Constraints
AbstractIn this paper, a numerical method is developed for solving a class of delay fractional optimal control problems involving nonlinear time-delay systems and subject to state inequality constraints. The fractional derivatives in this class of ...
Simplified isogeny formulas on twisted Jacobi quartic curves
Highlights- A w-coordinate system on Jacobi quartic curves is introduced for group arithmetic.
AbstractIsogenies between elliptic curves play a very important role in elliptic curve related cryptosystems and cryptanalysis. It is widely known that different models of elliptic curves would induce different computational costs of elliptic ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
March 2012
2179 pages
Copyright © 2012 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 26 March 2012
Check for updates
Author Tags
Qualifiers
- Research-article
Funding Sources
- SKLSDE Open Fund
- Agence Nationale de la Recherche
Conference
SAC 2012
Sponsor:
Acceptance Rates
SAC '12 Paper Acceptance Rate 270 of 1,056 submissions, 26%;
Overall Acceptance Rate 1,650 of 6,669 submissions, 25%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 120Total Downloads
- Downloads (Last 12 months)1
- Downloads (Last 6 weeks)0
Reflects downloads up to 24 Nov 2024
Other Metrics
Citations
Cited By
View all- Wang D(2013)Automation of Geometry – Theorem Proving, Diagram Generation, and Knowledge ManagementAutomated Deduction in Geometry10.1007/978-3-642-40672-0_2(31-32)Online publication date: 2013
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in