I've added them.
Tim.
On 27 Feb 2014, at 21:11, Aaron Meurer wrote:
That's a great reference. Can you put that on the ideas page, if it
isn't there already?
Aaron Meurer
On Wed, Feb 26, 2014 at 7:08 PM, someone <[email protected]> wrote:
Hi,
Project involving CAD algorithm in my opinion will require you to
solve multivariate
polynomial inequalities.
Consider studying this presentation:
http://www.sfb013.uni-linz.ac.at/uploads/media/SymCompIneq.pdf
Also the article "HOW TO USE CYLINDRICAL ALGEBRAIC DECOMPOSITION"
by Manuel Kauers might be interesting.
--
You received this message because you are subscribed to the Google
Groups "sympy" group.
To unsubscribe from this group and stop receiving emails from it,
send an email to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sympy.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sympy/530e9007.42dc0e0a.21f7.5bc1SMTPIN_ADDED_BROKEN%40gmr-mx.google.com.
For more options, visit https://groups.google.com/groups/opt_out.
--
You received this message because you are subscribed to the Google
Groups "sympy" group.
To unsubscribe from this group and stop receiving emails from it, send
an email to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sympy.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sympy/CAKgW%3D6KwxfzQuqgNGkzTexot91k5UuT1%3DtG14XvuEt3gioO1Jw%40mail.gmail.com.
For more options, visit https://groups.google.com/groups/opt_out.
--
You received this message because you are subscribed to the Google Groups
"sympy" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sympy.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sympy/542EEC32-36B9-4A0B-9768-E5A99D3602F5%40gmail.com.
For more options, visit https://groups.google.com/groups/opt_out.
