Ronald Praver a �crit :
>
> Is there any source on the net for
> Algebraic simplification?
Peter Norvig's book features one chapter about this topic. Maybe you
could try to retrieve the sample source code of the book:
http://www.norvig.com/paip.html
Some short version is presented in http://www.norvig.com/luv-slides.ps.
Tell us if it was helpfull...
--
----------------------------
Bailleul Jonathan
DEA Informatique
LaBRI, Universite Bordeaux I