This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
S. Arnborg and H. Fen, Algebraic decomposition of regular curves, J. of Symb. Comp. 5 (1988).
D. Arnon, G. Collins and S. MacCallum, Cylindrical algebraic decomposition I and II, SIAM J. of Computing 13 (1984).
D. Arnon and S. MacCallum, A polynomial-time algorithm for the topological type of a real algebraic curve, J. of Symb. Comp. 5 (1988).
M. E. Alonso, M. Raimondo, The computation of the topology of a planar semi-algebraic set, Rend. Sem. Mat. Univ. Politecnico Torino (1989).
W. Auzinger, H. J. Stetter, An elimination algorithm for the computation of all zeros of a system of multivariate polynomial equations, Numerical Mathematics, Singapore 1988 (ed.: Ravi P. Agarval, Y.M.Chow, S.J.Wilson), International Series of Numerical Mathematics vol. 86, Birkhäuser Verlag, 1988, pp. 11–30.
Becker, Wörman, Talk at “Geéométrie Algébrique Réelle”, La Tourballe, 1991.
B. Buchberger, Gröbner bases: an algorithmic method in polynomial ideal theory, Recent Trends in Multidimensional Systems Theory, N. K. Bose (ed.), D. Reidel Publ. Comp., 1984.
Cellini, P., Algoritmi ibridi in geometria reale, Ph. D. Thesis, 1993 (in preparation).
G. E. Collins, Quantifier elimination for real closed fields by cylindrical algebraic decomposition, Proc. II GI Conf. on Automata and Formal Languages, LNCS 33, Springer Verlag, 1975.
M. Coste and M.-F. Roy, Thom's lemma, the coding of real algebraic numbers and the computation of the topology of semi-algebraic sets, J. of Symb. Comp. 5 (1988)
F. Cucker, L. Gonzalez Vega, F. Rossello, On algorithms for real algebraic plane curves, MEGA-90, Birkhauser, 1990.
Cucker, F., Pardo, L. M., Raimondo, M., Recio, T., Roy, M. F., Computation of the local and global analytic structure of a real curve, AAECC-5, LNCS, Springer Verlag, 1988, pp. 161–181.
Gianni P., Trager B., Zacharias G., Gröbner bases and Primary Decomposition of Polynomial Ideals, Jour. Symb. Comp. 6 (1988), 149–167.
P. Gianni, C. Traverso, La forma delle curve algebriche reali piane. Realizzazione di un algoritmo., Curve algebriche, Atti del convegno di Geometria Algebrica, Firenze 1981, Consiglio Nazionale delle Ricerche, IAGA.
P. Gianni, C. Traverso, Shape determination of real curves and surfaces, Ann. Univ. Ferrara, Sez. VII, Sec. Math. XXIX (1983).
M. Giusti, J. Heintz, Algorithmes — disons rapides — pour la décomposition d'une variété algébrique en composantes irréductibles et équidimensionnelles, Effective methods in Algebraic Geometry, Castiglioncello, 1990, Birkhauser, 1991.
A. Gonzalez Corbalan, Reconocimiento de formas en curvas planas, thesis, Universitad de Cantabria, 1990.
L. Gonzalez Vega, Working with algebraic plane curves in Reduce: the GCUR package, ISSAC-91, ACM, 1991.
Lakshman Y. N., On the Complexity of Computing Gröbner Bases for Zero Dimensional Polynomial Ideals, 1991, Thesis, Rensslaer Polytechnic Institute.
Lakshman Y. N., A Single Exponential Bound on the Complexity of Computing Gröbner Bases of Zero Dimensional Ideals, Effective methods in Algebraic Geometry, Castiglioncello, 1990, Birkhauser, 1991.
M. G. Marinari, H. M. Möller, T. Mora, Gröbner bases of ideals given by dual bases, ISSAC-91, ACM, 1991.
P. Milne, On the algorithms and implementation of a Geometric Algebra System, 1990, Thesis, Bath.
J. Milnor, Morse theory, Annals of Math. Studies, 51, Cambridge Univ. Press, 1963.
P. Pedersen, Counting real zeros, Thesis, NYU, Courant Institute, 1990.
P. Pedersen, Counting real zeros, Talk at “Geéométrie Algébrique Réelle”, La Tourballe, 1991.
M.-F. Roy, Computation of the topology of a real algebraic curve Proceedings of the Conference on Computational geometry and topology, Sevilla 1987, (to appear).
Stillman, M., Methods for computing in algebraic geometry and commutative algebra, Topics in computational algebra, E. Strickland, M. G. Piacentini Cattaneo, eds., Kluwer Acad. Publ., 1990, pp. 77–103.
Traverso, C., Donati, L., Experimenting the Gröbner basis algorithm with the AIPI system, ISSAC 89, A. C. M., 1989.
W. Vasconcelos, Jacobian matrices and constructions in algebra, AAECC-9, (these proceedings), 1991; Constructions in commutative algebra, Computational Algebraic Geometry and Commutative Algebra, Cortona, INDAM, Cambridge Univ. Press, 1991, (to appear).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cellini, P., Gianni, P., Traverso, C. (1991). Algorithms for the shape of semialgebraic sets a new approach. In: Mattson, H.F., Mora, T., Rao, T.R.N. (eds) Applied Algebra, Algebraic Algorithms and Error-Correcting Codes. AAECC 1991. Lecture Notes in Computer Science, vol 539. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54522-0_91
Download citation
DOI: https://doi.org/10.1007/3-540-54522-0_91
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54522-4
Online ISBN: 978-3-540-38436-6
eBook Packages: Springer Book Archive