Uranium oreUranium ore deposits are economically recoverable concentrations of uranium within the Earth's crust. Uranium is one of the most common elements in the Earth's crust, being 40 times more common than silver and 500 times more common than gold. It can be found almost everywhere in rock, soil, rivers, and oceans. The challenge for commercial uranium extraction is to find those areas where the concentrations are adequate to form an economically viable deposit. The primary use for uranium obtained from mining is in fuel for nuclear reactors.
Reading comprehensionReading comprehension is the ability to process written text, understand its meaning, and to integrate with what the reader already knows. Reading comprehension relies on two abilities that are connected to each other: word reading and language comprehension. Comprehension specifically is a "creative, multifaceted process" dependent upon four language skills: phonology, syntax, semantics, and pragmatics.
Théorie de la démonstrationLa théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais proof theory), est une branche de la logique mathématique. Elle a été fondée par David Hilbert au début du . Hilbert a proposé cette nouvelle discipline mathématique lors de son célèbre exposé au congrès international des mathématiciens en 1900 avec pour objectif de démontrer la cohérence des mathématiques.
Assistant de preuveEn informatique (ou en mathématiques assistées par informatique), un assistant de preuve est un logiciel permettant la vérification de preuves mathématiques, soit sur des théorèmes au sens usuel des mathématiques, soit sur des assertions relatives à l'exécution de programmes informatiques. Beaucoup de projets ont été lancés pour formaliser les mathématiques, en 1966, Nicolaas de Bruijn lance le projet Automath, suivi par d'autres projets.
