Connaître et reconnaître les théorèmes de la géométrie :: SCD d'Orléans

Connaître et reconnaître les théorèmes de la géométrie

Connaître et reconnaître les théorèmes de la géométrie

Gardado en:

Detalles Bibliográficos
Publicado en:	Petit X, N 67, 2005 ; p.12 - 32
Outros autores:	Gousseau-Coutat, Sylvia
Formato:	Article revue INSPE
Sujets:	démonstration mathématique. théorème. géométrie.
Consulter le titre dans une bibliothèque:	Cliquer ici

Títulos similares

Eléments de géométrie mécanique
Publicado: (1994)

Using sophisticated models in resolution theorem proving
por: Sandford, David M., 19..-

Automated deduction in equational logic and cubic curves
por: McCune, William Walker, 1953-, et autres

Variations et variables de la démonstration géométrique

The Kepler conjecture : the Hales-Ferguson proof
por: Lagarias, Jeffrey C., 1949-...., mathématicien

The Kepler conjecture : the Hales-Ferguson proof
por: Lagarias, Jeffrey C., 1949-
Publicado: (2011)

Analyse mathématique : grands théorèmes du vingtième siècle
por: Choimet, Denis, 19..-, et autres
Publicado: (2009)

Higher order logic theorem proving and its application : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings

Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers
por: Wang, Dongming, 1961-...., mathématicien

Theorem proving in higher order logics : 10th International Conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings

Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers

Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15 17, 1996 : proceedings
por: Miglioli, Pierangelo, 1946-

Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloß Reinfels, St. Goar, Germany, May 7 10, 1995 : proceedings
por: Baumgartner, Peter, 1953-

Automated deduction in geometry : Second International Workshop, ADG 98, Beijing, China, August 1 3, 1998 : proceedings

Les rôles du langage dans la recherche d'une démonstartion en géométrie plane

Theorem proving in higher order logics : 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings

Theorem proving in higher order logics : 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14 18, 2000 : proceedings

Theorem proving in higher order logics : 12th international conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings

Theorem proving in higher order logics : 9th International Conference, TPHOLs 96, Turku, Finland, August 26 30, 1996 : proceedings

Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings

Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3 6, 2001 : proceedings

Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings
por: Slind, Konrad

Theorem Proving in Higher Order Logics : 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20 23, 2002 Proceedings

Isabelle : a generic theorem prover
por: Paulson, Lawrence C., 1955-...., informaticien

The computer modelling of mathematical reasoning
por: Bundy, Alan R., 1947-
Publicado: (1983)

Applied proof theory : proof interpretations and their use in mathematics
por: Kohlenbach, Ulrich, 1962-
Publicado: (2008)

Applied proof theory : proof interpretations and their use in mathematics
por: Kohlenbach, Ulrich, 1962-

7th international conference on automated deduction : Napa, California, USA May 14 16, 1984 : proceedings

Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings

Limit Theorems for Unions of Random Closed Sets
por: Molchanov, Ilya S., 1962-

Theorem provers in circuit design : theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings

Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings

Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25 29, 1997 : proceedings

Symposium on automatic demonstration : held at Versailles-France, December 1968
Publicado: (1970)

Theory reasoning in connection calculi
por: Baumgartner, Peter, 1953-

9th international conference on automated deduction : Argonne, Illinois, USA, May 23 26, 1988 : proceedings

6th Conference on Automated Deduction, New York, USA, June 7 9, 1982

5th Conference on automated deduction : Les Arcs, France, July 8 11, 1980

A resolution principle for a logic with restricted quantifiers
por: Bürckert, Hans-Jürgen

Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales