QERRC

package QERRC: quantifier elimination

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element


References in zbMATH (referenced in 1 article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Dolzmann, Andreas; Sturm, Thomas; Weispfenning, Volker: Real quantifier elimination in practice (1999)