Simplication of symbolic-numerical interval expressions

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Simplication of symbolic-numerical interval expressions

Full text

Pdf (301 KB)

Source

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

Rostock, Germany

Pages: 207 - 214

Year of Publication: 1998

ISBN:1-58113-002-3

Authors

E. D. Popova	Inst. of Mathematics & Comp. Sci., Bulgarian Academy of Sciences, Acad. G. Bonchev str., block 8, BG-1113 Sofia, Bulgaria
C. P. Ullrich	Institute for Informatics, University of Basel, Mittlere Str. 142, CH-4056 Basel, Switzerland

Sponsors

German Comp Soc : GI - Gesellshaft for Informatik
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): 5, Downloads (12 Months): 20, Citation Count: 1

Additional Information:

references cited by index terms collaborative colleagues

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/281508.281614 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.

	1	Alefeld, G.; Herzberger, J.: Interval Analysis. Academic Press, 1981.
	2	F. Benhamou , D. McAllester , P. van Hentenryck, CLP(intervals) revisited, Proceedings of the 1994 International Symposium on Logic programming, p.124-138, November 1994, Symposia, Melbourne
	3	G. Caplat, Symbolic manipulations in interval arithmetic problems, Proceedings of the International Symposiumon on Symbolic and Algebraic Computation, p.369-382, June 01, 1979
	4	George E. Collins , Werner Krandick, A hybrid method for high precision calculation of polynomial real roots, Proceedings of the 1993 international symposium on Symbolic and algebraic computation, p.47-52, July 06-08, 1993, Kiev, Ukraine [doi>10.1145/164081.164090]
	5	Colmerauer, A.: Specifications of Prolog IV, 1996.
	6	Connell, A. E.; Corless, R. M.: An Experimental Interval Arithmetic Package in Maple. Interval Computations, No. 2, 1993, pp. 120-134.
	7	Gardefies, E.; Trepat, A.: Fundamentals of SIGLA, an Interval Computing System over the Completed Set of Intervals. Computing, 24, 1980, pp. 161-179.
	8	Hoon Hong, An efficient method for analyzing the topology of plane real algebraic curves, Mathematics and Computers in Simulation, v.42 n.4-6, p.571-582, Nov. 1996
	9	Hyv5nen, E.; De Pascale, S.; Lehtola, A.: Interval Constraint Programming in C++. In Mayoh, B.; Tyugu, E.; Penham, J. (Eds.): Constraint Programming. NATO Advanceed Science Institute, Series F, Springer, 1994.
	10	Kahan, W. M.: A More Complete Interval Arithmetic. Lecture Notes for a Summer Course at the University of Michigan, 1968.
	11	Kaucher, E.: Interval Analysis in the Extended Interval Space IR. Computing Suppl. 2, 1980, pp. 33-49.
	12	Keiper, J. B.: Interval Arithmetic in Mathematica. Interval Computations, No. 3, 1993, pp. 76-87.
	13	Keiper, J. B.: Interval Computation. In Major New Features in Mathematica Version 2.2. Technical Report, Wolfram Research, 1993, pp. 20-23.
	14	Krandick, W.: Isolierung reeller Nullstellen yon Polynomen. In Herzberger, J. (Ed.): Wissenschaftliches Rechnen. Akademie Verlag, 1995, pp. 105-154.
	15	Markov, S. M.: On the Algebra of Intervals and Convex Bodies. J. UCS 4, 1, Springer, 1998, pp. 34- 47. (http://www.iicm.edu/jucs_ 4_ 1)
	16	Moore, R. E.: Interval Analysis. Prentice Hall, Englewood Cliffs, N. J., 1966.
	17	Ortolf, H.-J.: Eine Verallgemeinerung der Intervallarithmetik. Gesellschaft fiir Mathematik und Datenverarbeitung, Bonn, 11, 1969, pp. 1-71.
	18	Popova, E. D.: Generalized Interval Distributive Relations. Preprint No 2, Institute of Mathematics & Computer Science, BAS, February 1997, pp. 1-18.
	19	Popova, E. D.: Algebraic Solutions to a Class of Interval Equations. J. UCS 4, 1, Springer, 1998, pp. 48-67.
	20	Popova, E. D.; Ullrich, C. P.: Directed Interval Arithmetic in Mathematica: Implementation and Applications. TR 96-3, Univ. Basel, 1996, pp. 1-56. (htt p://www, mat h. acad. bg/- ep op ova / direct ed. ht ml)
	21	Popova, E. D.; Ullrich, C. P.: Generalising BIAS Specification. J. UCS 3, 1, Springer, 1997, pp. 23-41.
	22	John Shackell, Asymptotic Estimation of Oscillating Functions Using an Interval Calculus, Proceedings of the International Symposium ISSAC'88 on Symbolic and Algebraic Computation, p.481-489, July 04-08, 1988
	23	Hans J. Stetter, Analysis of zero clusters in multivariate polynomial systems, Proceedings of the 1996 international symposium on Symbolic and algebraic computation, p.127-136, July 24-26, 1996, Zurich, Switzerland [doi>10.1145/236869.236919]
	24	Stephen Wolfram, Mathematica: a system for doing mathematics by computer (2nd ed.), Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, 1991