coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] Looking for free documents about ADG (Automated Deduction in Geometry)
Chronological Thread
- From: Christophe BAL <projetmbc AT gmail.com>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] Looking for free documents about ADG (Automated Deduction in Geometry)
- Date: Thu, 17 May 2012 10:09:17 +0200
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.
- [Coq-Club] Looking for free documents about ADG (Automated Deduction in Geometry), Christophe BAL, 05/17/2012
Archive powered by MHonArc 2.6.18.