coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Looking for free documents about ADG (Automated Deduction in Geometry)

From: Julien Narboux <jnarboux AT narboux.fr>
To: Christophe BAL <projetmbc AT gmail.com>
Cc: coq-club AT inria.fr
Subject: Re: [Coq-Club] Looking for free documents about ADG (Automated Deduction in Geometry)
Date: Fri, 15 Jun 2012 16:05:27 +0200

Hi Christophe,

The algebraic methods in Automated Deduction in Geometry such as Grobner or Wu's method may be too difficult to teach in highschool.

You can have a look at the area method (http://hal.archives-ouvertes.fr/hal-00426563), or the mass point method (http://dl.acm.org/citation.cfm?id=2177461 http://www.springerlink.com/content/53rmw735805779k3/).

Best regards,

Julien Narboux

2012/5/17 Christophe BAL <projetmbc AT gmail.com>

Hello,
do you know good free documents about Automated Deduction in Geometry. I'm looking for low level demonstration that can be teached before University level.

Best regards.
Christophe.

Re: [Coq-Club] Looking for free documents about ADG (Automated Deduction in Geometry), Julien Narboux, 06/15/2012