Computation in Real Closed Infinitesimal and Transcendental Extensions of the Rationals.

Leonardo Mendona de Moura, Grant Olney Passmore

Browse the full CADE paper archive.