Mathematica 9 is now available
Student Support Forum
-----
Student Support Forum: 'Algorithm(s) used for Resolve?' topicStudent Support Forum > General > "Algorithm(s) used for Resolve?"

Next Comment >Help | Reply To Topic
Author Comment/Response
Ben
10/26/11 06:00am

Is there a paper about the algorithm(s) used by Resolve, or are they entirely proprietary?

I'm assuming they use the Buchberger implementation to calculate a Groebner basis first, but it's what happens afterwards to produce *inequations* about the restrictions as well as equations that interests me (i.e., the difference between Eliminate and Resolve mentioned on the Resolve help page; 3rd item under "Properties & Relations").

URL: ,

Subject (listing for 'Algorithm(s) used for Resolve?')
Author Date Posted
Algorithm(s) used for Resolve? Ben 10/26/11 06:00am
Re: Algorithm(s) used for Resolve? Forum Modera... 10/26/11 11:04am
Next Comment >Help | Reply To Topic