-
A study on the relationship between knowledge and proof: the case of the noti...
This research presents an analysis of the relationship between knowledge and proof through a mathematical concept: reflective symmetry (in a situation of construction... -
L'art de la démonstration dans les œuvres philosophiques de Sénèque : le rôle...
International audience -
Le Module Ressource Lexical
International audience -
Matrice Active
International audience -
Demonstration of the Collatz conjecture for all positive integers
This document is divided in two parts: first in English and second in French. The document totals 31 pages, a cover page, and 15 pages for each version. -
" La certitude des mathématiques et ses fondements selon Piccolomini "
This dataset has no description
-
Guillaume d'Ockham, Somme de logique, IIIe traité, 1er volume.
Ce volume contient les parties 1 et 2 du IIIe traité (Les arguments) de la Somme de logique. Traduction française et notes de Joël Biard; Christophe Grellard et Kim Sang... -
La politique de démonstration de la capture et du stockage du dioxyde de carb...
Carbon capture and storage (CCS) combines several techniques in order to capture carbon dioxide emitted by industrial and energy production processes, transport it and... -
Les sites d'une controverse : le cas de la démonstration du CCS dans l'Union ...
Carbon capture and storage (CCS) combines several techniques in order to capture carbon dioxide emitted by industrial and energy production processes, transport it and... -
CCS : émergence d'une politique et d'une controverse dans l'UE
Carbon capture and storage (CCS) combines several techniques in order to capture carbon dioxide emitted by industrial and energy production processes, transport it and... -
The sites of the EU CCS demonstration policy
Carbon capture and storage (CCS) combines several techniques in order to capture carbon dioxide emitted by industrial and energy production processes, transport it and... -
Certitudo
This dataset has no description
-
4th International Workshop on First-Order Theorem Proving- FTP'2003
Ouvrage (éditeur). -
cK¢, un modèle pour relier connaissance et preuve en didactique des mathémati...
This dataset has no description
