Software Presentations

List of Accepted Software Presentations

  1. Victor Magron and Mohab Safey El Din. RealCertify: a Maple package for certifying non-negativity.
  2. David J. Jeffrey, Robert M. Corless, and David R. Stoutemyer. Comprehensive anti-derivatives and parametric continuity.
  3. Luca De Feo, Hugues Randriambololona, and Edouard Rousseau. Lattices of compatibly embedded finite fields.

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.