Dynamic evaluation and real closure

Authors:
D. Duval;L. González-Vega
Affiliations:
-;-
Venue:
Selected papers presented at the international IMACS symposium on Symbolic computation, new trends and developments
Year:
1996

On the implementation of dynamic evaluation

ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
Guarded expressions in practice

ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
Towards faster real algebraic numbers

Proceedings of the 2002 international symposium on Symbolic and algebraic computation
Towards faster real algebraic numbers

Journal of Symbolic Computation - Special issue: International symposium on symbolic and algebraic computation (ISSAC 2002)
Development of SyNRAC

ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part II

Hi-index	0.00