This project is read-only.

CADE-24 examples

Rating: No reviews yet
Downloads: 242
Released: Jan 21, 2013
Updated: Jan 21, 2013 by leodemoura
Dev status: Beta Help Icon


example, 7K, uploaded Jan 21, 2013 - 242 downloads

Release Notes

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

Reviews for this release

No reviews yet for this release.