Simplication of symbolic-numerical interval expressions

Authors:
E. D. Popova;C. P. Ullrich
Affiliations:
Inst. of Mathematics & Comp. Sci., Bulgarian Academy of Sciences, Acad. G. Bonchev str., block 8, BG-1113 Sofia, Bulgaria;Institute for Informatics, University of Basel, Mittlere Str. 142, CH-4056 Basel, Switzerland
Venue:
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Year:
1998

Mathematica: a system for doing mathematics by computer (2nd ed.)

Mathematica: a system for doing mathematics by computer (2nd ed.)
A hybrid method for high precision calculation of polynomial real roots

ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
CLP(intervals) revisited

ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
Analysis of zero clusters in multivariate polynomial systems

ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
An efficient method for analyzing the topology of plane real algebraic curves

Selected papers presented at the international IMACS symposium on Symbolic computation, new trends and developments
Asymptotic Estimation of Oscillating Functions Using an Interval Calculus

ISAAC '88 Proceedings of the International Symposium ISSAC'88 on Symbolic and Algebraic Computation
Symbolic manipulations in interval arithmetic problems

EUROSAM '79 Proceedings of the International Symposiumon on Symbolic and Algebraic Computation

Hi-index	0.00