Preuve - Proof

PAGES WEB

The origins of proof

by Kona Macphee

<http://pass.maths.org/issue7/features/proof1/index.html>

PROJETS - PROJECTS

Projet EURÉCA Preuve, calcul symbolique et logique

Rapport d'activité de 1997

<http://www.inria.fr/rapportsactivite/RA97/eureca/eureca.html>

PAGES PERSONNELLES - HOME PAGES

John Harrison

<http://www.cl.cam.ac.uk/users/jrh/>

Michael J. C. Gordon

<http://www.cl.cam.ac.uk/users/mjcg/>

EXEMPLES - EXAMPLES

Mediant - The April Six Problems

preuves en images (pente d'une droite et a/b < (a+c)/(b+d) < c/d)

<http://nrich.maths.org/mathsf/journalf/apr02/stage3new.html#566>

DOCUMENTS - PAPERS

La Preuve par l'Erreur les illusions visuelles.

La Lettre des Sciences Physiques. Jacques Ninio, chercheur au Laboratoire de Physique Statistique de l'ENS, Paris,

<http://www-physique.u-strasbg.fr/lettre/ninio_lettre57.pdf>

Les ordinateurs mathématiciens !

Jean-Paul DELAHAYE

cet article est paru dans le n° 239 de septembre 1997 de la revue "Pour la Science"

théorème des quatre couleurs, il n'existe pas de plan projectif fini d'ordre 10, algèbres de Robbins,

<http://www2.ac-lille.fr/apmep/les_conferences/Delahaye/delahaye.htm#debut>

CONFÉRENCES - MEETINGS

The CICM 2008 Workshop on Empirically Successful Automated Reasoning for Mathematics (ESARM)

will be held as part of the Conferences on Intelligent Computer Mathematics, in Birmingham, United Kingdom, 26th July - 2nd August, 2008.

This workshop will bring together practioners and researchers who are concerned with the development and application of automated reasoning for mathematics. The workshop will discuss only "really running" systems and applications, and not theoretical ideas that have not yet been translated into working software.

<http://www.cs.miami.edu/~geoff/Conferences/ESARM/>

IJCAR 2008 - The 4th International Joint Conference on Automated Reasoning Sydney, Australia, 10th - 15th August, 2008

Information about IJCAR's astounding program of invited speakers, technical papers, workshops, tutorials, competitions, and social events, is available from the IJCAR WWW pages - 2008.IJCAR.org.

There will be six workshops and four tutorials before IJCAR, 10th and 11th August. See their individual WWW pages, linked from the IJCAR WWW pages, for submission and participation information.

<http://2008.ijcar.org/>

RÉFÉRENCES - BIBLIOGRAPHIES

Preuve, la bibliographie de A à I

<http://www-didactique.imag.fr/preuve/indexFR.html>

LIENS - LINKS

Liens sur la logique mathématique

<liens_logic.html>

Actualités

Advertising : If you see a reference in one of the files that is not linked, and you know of a link address to the appropriate document, please send me mail, and I will include the link in the document. Thanks very much in advance.
Avertissement : Le classement par catégories est approximatif. Certains liens se retrouvent dans des rubriques différentes et sur plusieurs pages. Les commentaires sont généralement des courts extraits des pages référencées. Il est possible que certains liens nécessitent une mise à jour.
Tous commentaires ou remarques sont les bienvenus, vous pouvez les adresser à :

Les mises à jour demandées sont réalisées dès que possible et, sauf si c'est nécessaire, aucun message de réponse n'est expédié. Merci de m'écrire.

Copyright © 1999-2006 Jean-Paul Davalan - Reproduction interdite.