[Maxima] Solving an equation with integral
talon at lpthe.jussieu.fr
Fri Jul 20 16:56:56 CDT 2012
Henry Baker wrote:
> I've been using Maxima to "prove" a number of standard plane geometry
> theorems, but using analytic geometry (real & complex algebra) instead
> of Euclid. It's actually surprisingly difficult to beat Maxima into
> submission in order to do this.
There is a wonderful example of such computations in the Maple program
"Rene" from Doron Zeilberger which allows to check all the standard theorems
of plane geometry using "Descartes" analytic geometry techniques. See
Of course these are Maple programs but i suppose small adaptations could make
it run with Maxima.
Zeilberger has many other Maple programs for doing various things here:
More information about the Maxima