logo pages de liens

UniversitySurf.net
Votre portail e-Learning
CultureMATH
ENSup. et Minist. EN
Séminaire MaMuX
Mathématiques, musique et relations avec d'autres disciplines

  

Preuve - Proof



Bas de page

PAGES WEB

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

precsuivant

PROJETS - PROJECTS

Projet EURÉCA  Preuve, calcul symbolique et logique
Rapport d'activité de 1997
<http://www.inria.fr/rapportsactivite/RA97/eureca/eureca.html>

precsuivant

PAGES PERSONNELLES - HOME PAGES

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

precsuivant

EXEMPLES - EXAMPLES

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>

precsuivant

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>
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>

precsuivant

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/>

precsuivant

RÉFÉRENCES - BIBLIOGRAPHIES

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

precsuivant

LIENS - LINKS

<liens_logic.html>

 haut de page











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 à :
écrire

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-2012 Jean-Paul Davalan - Reproduction interdite.