Maple Conference 2019 - A Poly-algorithmic Quantifier Elimination Package in Maple - Maplesoft

Maple Conference 2019 - A Poly-algorithmic Quantifier Elimination Package in Maple

A Poly-algorithmic Quantifier Elimination Package in Maple presented by Zak Tonks at the Maple Conference 2019.


Share This Video