Real algebraic number computation using interval arithmetic

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Real algebraic number computation using interval arithmetic

Full text

Pdf (1.12 MB)

Source

International Conference on Symbolic and Algebraic Computation archive
Papers from the international symposium on Symbolic and algebraic computation table of contents

Berkeley, California, United States

Pages: 195 - 205

Year of Publication: 1992

ISBN:0-89791-489-9

Author

J. R. Johnson

Sponsors

SIGSAM: ACM Special Interest Group on Symbolic and Algebraic Manipulation
SIGNUM: ACM Special Interest Group on Numerical Mathematics

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 1, Downloads (12 Months): 23, Citation Count: 3

Additional Information:

references cited by index terms collaborative colleagues peer to peer

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/143242.143311 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	AC76	George E. Collins , Alkiviadis G. Akritas, Polynomial real root isolation using Descarte's rule of signs, Proceedings of the third ACM symposium on Symbolic and algebraic computation, p.272-275, August 10-12, 1976, Yorktown Heights, New York, United States [doi>10.1145/800205.806346]
	AH83	G. Alefeld and J. Herzberger. Introduction to In. terval Computations. Academic Press, New York, 1983.
	CH74	G. E. Collins and E. Horowitz. The minimum root separation of a polynomial. Math. Comp., 28(126):589-597, April 1974.
	CJ89	G. E. Collins , J. R. Johnson, Quantifier elimination and the sign variation method for real root isolation, Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation, p.264-271, July 17-19, 1989, Portland, Oregon, United States [doi>10.1145/74540.74574]
	CL76	George E. Collins , Rüdiger Loos, Polynomial real root isolation by differentiation, Proceedings of the third ACM symposium on Symbolic and algebraic computation, p.15-25, August 10-12, 1976, Yorktown Heights, New York, United States [doi>10.1145/800205.806319]
	Col77	G. E. Collins. Infallible calculation of polynomial zeros to specified precision. In Mathematical Software 111. Academic Press, Inc., New York, San Francisco and London, 1977.
	Col91	George E. Collins. Announcement of SAC2-C system. Rutgers workshop on symbolic software for mathematical research, March 1991.
	CR88	M. Coste, Thoms's lemma, the coding of real algebraic numbers and the computation of the topology of semi-algebraic sets, Journal of Symbolic Computation, v.5 n.1-2, p.121-129, February/April 1988 [doi>10.1016/S0747-7171(88)80008-7]
	DDD85	Jean Della Dora , Claire Dicrescenzo , Dominique Duval, About a New Method for Computing in Algebraic Number Fields, Research Contributions from the European Conference on Computer Algebra-Volume 2, p.289-290, April 01-03, 1985
	Dem87	J. W. Demmel, On condition numbers and the distance to the nearest III-posted problem, Numerische Mathematik, v.51 n.3, p.251-289, July 1987 [doi>10.1007/BF01400115]
	Han78	Eldon Hansen. A globally convergent interval method for computing and bounding real roots. BIT, 18:415-424, 1978.
	Hou77	D. Hough. A study of Bl-Conditioned Polynomials. PhD thesis, University of California-Berkeley, 1977.
	Joh91	Jeremy R. Johnson, Algorithms for polynomial real root isolation, Ohio State University, Columbus, OH, 1992
	Mah64	K. Mahler. An inequality for the discriminant of a polynomial. Michigan Mathematics Journal, 11(3):257-262, September 1964.
	Mar49	M. Marden. The Geometry o} Zeros o} a Polynomial in a Complex Variable, volume 3 of Mathematics Surveys. American Mathematics Society, Providence Rhode island, 1949.
	Moo66	R. E. Moore. Interval Analysis. Series in Automatic Computation. Prentice-Hall, Inc., Englewood Cliffs, N.J., 1966.
	Moo79	Ramon E. Moore , Fritz Bierbaum, Methods and Applications of Interval Analysis (SIAM Studies in Applied and Numerical Mathematics) (Siam Studies in Applied Mathematics, 2.), Soc for Industrial & Applied Math, 1979
	Pin76	James R. Pinkert, Interval arithmetic applied to polynomial remainder sequences, Proceedings of the third ACM symposium on Symbolic and algebraic computation, p.214-218, August 10-12, 1976, Yorktown Heights, New York, United States [doi>10.1145/800205.806337]
	RS90	Marie-Françoise Roy , Aviva Szpirglas, Complexity of computation on real algebraic numbers, Journal of Symbolic Computation, v.10 n.1, p.39-51, July 1990 [doi>10.1016/S0747-7171(08)80035-1]
	Rub73	Cyrenus Matthew Rubald, Algorithms for polynomials over a real algebraic number field., 1973
	Rum76	Siegfried Rump, On the sign of a real algebraic number, Proceedings of the third ACM symposium on Symbolic and algebraic computation, p.238-241, August 10-12, 1976, Yorktown Heights, New York, United States [doi>10.1145/800205.806341]
	Rum88	S. M. Rump, Algebraic computation, numerical computation and verified inclusions, Trends in computer algebra, Springer-Verlag New York, Inc., New York, NY, 1988
	Sch85	Arnold SchSnhage. Quasi-GCD computations. Journal of Complexity, 1:118-137, 1985.
	Wil59	J. H. Wilkinson. The evaluation of the zeros of ill-conditioned polynomials, parts i and ii. Numerische Mathematik, 1:150-166,167-180, 1959.

CITED BY 3

	J. R. Johnson , Werner Krandick, Polynomial real root isolation using approximate arithmetic, Proceedings of the 1997 international symposium on Symbolic and algebraic computation, p.225-232, July 21-23, 1997, Kihei, Maui, Hawaii, United States
	Hoon Hong , Erich Kaltofen , Michael Singer, East Coast Computer Algebra Day '99 (April 24, 1999): abstracts of invited talks and presented posters, ACM SIGSAM Bulletin, v.33 n.2, p.43-52, June 1999
	John Keyser , Tim Culver , Mark Foskey , Shankar Krishnan , Dinesh Manocha, ESOLID---A System for Exact Boundary Evaluation, Proceedings of the seventh ACM symposium on Solid modeling and applications, June 17-21, 2002, Saarbrücken, Germany