Coq: les maths ont trouvé leur maître / Philippe PAJOT in Science & Vie, 1148 (05/2013)  

[article]  inScience & Vie > 1148 (05/2013) Titre : Coq: les maths ont trouvé leur maître Type de document : texte imprimé Auteurs : Philippe PAJOT, Auteur Année de publication : 2013 Article en page(s) : 110-113 Langues : Français (fre) Catégories : Documentaire démonstration mathématique Résumé : Pour qu'un théorème soit juste, il faut qu'il soit démontré. Ce qui nécessite des dizaines et des dizaines de pages de raisonnement... qu'un logiciel, baptisé Coq, permet aujourd'hui de vérifier automatiquement et, surtout, de valider, sans erreur possible. De quoi révolutionner les maths! Nature du document (NOUVEAU) : documentaire En ligne : http://www.science-et-vie.com/ [article]

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
aucun exemplaire

Enigme de Fermat : trois siècles de défi mathématique (l') / Albert VIOLANT i HOLZ

Titre : Enigme de Fermat : trois siècles de défi mathématique (l') Type de document : texte imprimé Auteurs : Albert VIOLANT i HOLZ, Auteur Editeur : Barcelone : RBA Coleccionables, 2011 Collection : Monde est mathématique (Le) Importance : 151 p. Présentation : ill., schémas, tableaux Format : 23 cm ISBN/ISSN/EAN : 978-2-8152-0449-1 Langues : Français (fre) Catégories : Documentaire démonstration mathématique Index. décimale : 51 Mathématiques Résumé : De toute l'histoire des mathématiques, aucun théorème n'a éveillé autant d'intérêt que celui énoncé par Pierre de Fermat en 1637. La simplicité de sa formulation contraste avec la complexité mathématique de cette conjecture qui devra attendre plusieurs siècles de recherche avant d'être enfin démontrée - Index, bibliographie. Nature du document (NOUVEAU) : documentaire

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
DM22416	51 MONVIE	Livre	Bibliothèque principale	Général	Disponible

L'étonnante entrée du Gömböc en médecine / Charlotte MAUGER in Science & Vie, 1263 (12/2022)  

[article]  inScience & Vie > 1263 (12/2022) Titre : L'étonnante entrée du Gömböc en médecine Type de document : texte imprimé Auteurs : Charlotte MAUGER, Auteur Année de publication : 2022 Article en page(s) : 106-109 Langues : Français (fre) Catégories : Documentaire démonstration mathématique ; géométrie ; vaccin Résumé : Le Gömböc est un principe mathématique découvert par un ingénieur Hongrois en 2018. Proche de la sphère, l'objet reviendra toujours en équilibre dans la même position. Contre toute attente, le concept est repris par la médecine qui compte l'adopter pour de nouveaux vaccins. Ingérés par voie orale, le vaccin enrobé dans du sucre dans la forme du Gömböc reviendra dans la bonne position pour pouvoir injecter dans la paroi de l'estomac. Reste à savoir à quel point la position sera exacte, il suffit d'aliments en digestion sur le chemin pour que l'injection se fasse dans le vide. Mais les études sont en bonne voie. Nature du document (NOUVEAU) : documentaire En ligne : http://www.science-et-vie.com/ [article]

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
DM 37389	SCIVI 12/22	Périodique	Bibliothèque principale	Archives	Disponible

Fermat : de défis en conjectures / Giulio GIORELLO

Titre : Fermat : de défis en conjectures Type de document : texte imprimé Auteurs : Giulio GIORELLO, Auteur ; Corrado SINIGAGLIA, Auteur Editeur : Paris : Pour la science, 2007 Collection : énies de la science (Les) num. 32 Importance : pp. 20-100 Présentation : ill. Format : 29 cm Langues : Français (fre) Catégories : Documentaire démonstration mathématique ; Fermat, Pierre de (160?-1665) Index. décimale : 51(092) Mathématicien Résumé : Le nom de Pierre Fermat est associé à une énigme qui porte son nom. Celui-ci serait le prototype du mathématicien génial, mais dilettante, se laissant sans doute guider davantage par l'élégance de l'intuition que par la rigueur de la déduction. Pourtant, cet éminent savant, qui n'hésita pas à défier l'élite de son temps, dont le grand Descartes, se révéla un maître dans tous les domaines des mathématiques. Nature du document (NOUVEAU) : documentaire

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
DM22479	51:92 FERMAG	Livre	Bibliothèque principale	Général	Disponible

Plus grande énigme du monde (La) - Fermat et son théorème / Luis Fernando ÁREAN ÁLVAREZ

Titre : Plus grande énigme du monde (La) - Fermat et son théorème Type de document : texte imprimé Auteurs : Luis Fernando ÁREAN ÁLVAREZ, Auteur Editeur : Paris : RBA France, 2013 Collection : Grandes Idées de la Science Importance : 159 p. Langues : Français (fre) Catégories : Documentaire démonstration mathématique ; Fermat, Pierre de (160?-1665) Index. décimale : 51(092) Mathématicien Nature du document (NOUVEAU) : documentaire

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
DM 39145	51:92 FERMAP	Livre	Bibliothèque principale	Général	Disponible

---

1 (1 - 5 / 5)