LIBRARY Dynamic evaluation and real closure. Implementation in Axiom 1996 · ENGLISH · GZ View details →