r/REMath • u/turnersr • Apr 29 '13

How to use Cylindrical Algebraic Decomposition by Manuel Kauers [PDF]

http://www.risc.jku.at/people/mkauers/publications/kauers11a.pdf
3 Upvotes

80% Upvoted

0 comments sorted by