Formalization and Automation of Geometry
Formalization and Automation of Geometry
Contributions de l’utilisateur
Aller à la navigation
Aller à la recherche
- 28 septembre 2012 à 14:58 diff hist +12 Overview actuelle
- 28 septembre 2012 à 14:57 diff hist -5 Overview
- 28 septembre 2012 à 14:57 diff hist +42 Overview
- 28 septembre 2012 à 14:57 diff hist 0 N Fichier:Visit1.jpg actuelle
- 28 septembre 2012 à 14:50 diff hist +4 Meetings →July 2012 (Strasbourg)
- 28 septembre 2012 à 14:49 diff hist +46 Meetings →July 2012 (Strasbourg)
- 28 septembre 2012 à 14:48 diff hist +64 Meetings →July 2012 (Strasbourg)
- 28 septembre 2012 à 14:47 diff hist +35 Meetings →July 2012 (Strasbourg)
- 28 septembre 2012 à 14:47 diff hist 0 N Fichier:Strasbourg-janicic.pdf actuelle
- 28 septembre 2012 à 14:45 diff hist +1 Meetings →September 2012 (Strasbourg)
- 28 septembre 2012 à 14:45 diff hist +54 Meetings →September 2012 (Strasbourg)
- 28 septembre 2012 à 14:43 diff hist +53 Meetings →September 2012 (Strasbourg)
- 28 septembre 2012 à 14:42 diff hist +2 Meetings →July 2012 (Strasbourg)
- 28 septembre 2012 à 14:42 diff hist +35 Meetings →July 2012 (Strasbourg)
- 28 septembre 2012 à 14:41 diff hist +2 Members
- 28 septembre 2012 à 14:41 diff hist +41 Members →Serbian members
- 28 septembre 2012 à 14:40 diff hist +53 Members →Serbian members
- 28 septembre 2012 à 14:38 diff hist +24 Members
- 28 septembre 2012 à 14:37 diff hist +29 Members
- 28 septembre 2012 à 14:37 diff hist +452 Members
- 28 septembre 2012 à 14:33 diff hist +1 019 N Overview Page créée avec « Objectives of the proposed collaborative project are in machine verifiable formalizations (within proof-assistants) of various geometries. Also, the project will aim at ma... »
- 28 septembre 2012 à 14:31 diff hist +15 Meetings →July 2012 (Strasbourg)
- 28 septembre 2012 à 14:29 diff hist +88 Meetings →July 2012 (Strasbourg)
- 28 septembre 2012 à 14:27 diff hist -69 Meetings →July 2012 (Strasbourg)
- 28 septembre 2012 à 14:26 diff hist -1 Meetings →July 2012 (Strasbourg)
- 28 septembre 2012 à 14:26 diff hist -13 Meetings →July 2012 (Strasbourg)
- 28 septembre 2012 à 14:26 diff hist +77 Meetings →July 2012 (Strasbourg)
- 28 septembre 2012 à 14:25 diff hist -25 Meetings →July 2012 (Strasbourg)
- 28 septembre 2012 à 14:24 diff hist +23 Meetings →July 2012 (Strasbourg)
- 28 septembre 2012 à 14:22 diff hist +92 Meetings →July 2012 (Strasbourg)
- 28 septembre 2012 à 14:21 diff hist 0 N Fichier:Slides-tarski-to-hilbert.pdf actuelle
- 28 septembre 2012 à 14:16 diff hist +11 Meetings →December 2012
- 28 septembre 2012 à 14:16 diff hist +13 Meetings →September 2012
- 28 septembre 2012 à 14:15 diff hist +13 Meetings →July 2012
- 28 septembre 2012 à 13:45 diff hist +1 Meetings →July 2012
- 28 septembre 2012 à 13:45 diff hist +74 Meetings →July 2012
- 28 septembre 2012 à 13:44 diff hist +58 Meetings →September 2012
- 28 septembre 2012 à 13:43 diff hist -31 Meetings
- 28 septembre 2012 à 13:42 diff hist +249 Members
- 3 septembre 2012 à 14:09 diff hist +38 N Meetings Page créée avec « == July 2012 == == September 2012 == »
- 3 septembre 2012 à 14:08 diff hist +43 Members
- 3 septembre 2012 à 14:08 diff hist +24 Members
- 3 septembre 2012 à 14:07 diff hist +101 Members
- 3 septembre 2012 à 14:06 diff hist -13 Members →Members
- 3 septembre 2012 à 14:06 diff hist +80 N Members Page créée avec « == Members == * Predrag Janicic * Filip Maric * Julien Narboux * Pascal Schreck »