Examples of using dynamic constructible closure

Mathematics and Computers in Simulation

Volumn 42, Issue 4-6, 1996, Pages 375-383

  Gómez Díaz, Teresa ^a  

^a NONE

Author keywords

Automatic theorem proving; Computer algebra; Dynamic evaluation; Parameters; Polynomial systems

Indexed keywords

ALGEBRA; ALGORITHMS; COMPUTER SIMULATION; MATRIX ALGEBRA; POLYNOMIALS; THEOREM PROVING;

COMPUTER ALGEBRA; DYNAMIC CONSTRUCTIBLE CLOSURE; DYNAMIC EVALUATION;

COMPUTATION THEORY;

EID: 0030287297     PISSN: 03784754     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0378-4754(96)80001-5     Document Type: Article

References (14)

1. D.S. Arnon, G.E. Collins and S. McCallum, Cylindrical algebraic decomposition I: The basic algorithm, and II: An adjacency algorithm for the plane, SIAM J. Comput. 13 (1984).
2. G. Björck and R. Fröberg, A faster way to count the solutions of inhomogeneus systems of algebraic equations, with applications to cyclic n-roots, J. Symbolic Comput. 12 (3) (1991).
3. B. Buchberger, Gröbner bases: An algorithmic method in polynomial ideal theory, in: Bose ed., Recent Trends in Multidimensional System Theory (Reidel, Dordrecht, 1985).
4. B. Buchberger, G.E. Collins and B. Kutzler, Algebraic methods for geometry reasoning, Ann. Rev. Comput. Sci. 3 (1988).
5. S.C. Chou, Mechanical Geometry Theorem Proving (Reidel, Dordrecht, 1988).
6. J. Della Dora, C. Dicrescenzo and D. Duval, About a new method for computing in algebraic number fields, in: G. Goos and J. Hartmanis, eds., Eurocal'85, Vol.2, Lecture Notes in Computer Science, Vol. 204 (Springer, Berlin, 1985) 289-290.
7. C. Dicrescenzo and D. Duval, Algebraic extensions and algebraic closure in scratchpad, in: P. Gianni ed., Symbolic and Algebraic Computation, Lecture Notes in Computer Science Vol. 358 (Springer, Berlin, 1989) 440-446.
8. D. Duval, Computations in fields of arbitrary characteristic, in: E. Kaltofen and S.M. Watt, eds., Computers and Mathematics, (Springer, Berlin, 1989) 321-326.
9. D. Duval, Calculs avec discussion automatique: Description et applications, Publications du Département de Mathématiques de Limoges (1990) 20 pp.
10. D. Duval and J.C. Reynaud, Sketches and Computation, Rapport de Recherche RR871-I-IMAG-123 LIFIA (1991) 71 pp.
11. T. Gómez-Díaz, Calculs avec discussion automatique: Clôture Constructible Dynamique, In preparation.
12. M.J. González-López and T. Recio, The ROMIN inverse geometric model and the dynamic evaluation method, in: A.M. Cohen, ed., Computer Algebra in Industry (Wiley, New York, 1993) 117-141.
13. R.D. Jenks and R.D. Sutor, AXIOM, The Scientific Computation System (Springer, Berlin, 1992).
14. D. Lazard, A new method for solving algebraic systems of positive dimension, Rapport LITP 87-77 (1989) 17 pp.