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
http://www.math.rutgers.edu/~zeilberg/PG/RENE
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:
http://www.math.rutgers.edu/~zeilberg/programs.html
--
Michel Talon