Implementation in Axiom * (2008)
Renaud Rioboo, Universtit Pierre, Marie Curie, Place Jussieu
Real algebraic numbers appear in many Computer Alge-bra pro bJems. For inst ante the determination of a cylindrical algebraic decomposition for an euclidian space requires com-pu ting with real...
Renaud Rioboo, Le Projet Focal, M. Jaume, R. Rioboo, D. Doligez, P. Weis, ...
Un survol de FoCaL Le système manipule des entités qui appartiennent à des collections (e in c) qui sont décrites par des espèces (c is s) Les espèces (species) • spécifient des opérations...