Thirty Years of Virtual Substitution: Foundations, Techniques, Applications.

Thomas Sturm

Browse the full ISSAC paper archive.