Software Presentations
List of Accepted Software Presentations
-
Victor Magron and Mohab Safey El Din.
RealCertify: a Maple package for certifying non-negativity.
Abstract -
David J. Jeffrey, Robert M. Corless, and David R. Stoutemyer.
Comprehensive anti-derivatives and parametric continuity.
Abstract -
Luca De Feo, Hugues Randriambololona, and Edouard Rousseau.
Lattices of compatibly embedded finite fields.
Abstract
The accepted poster/software abstracts will be published in an upcoming issue of the ACM SIGSAM Communications in Computer Algebra (CCA).
An award will be presented to the best poster/software presentation.