Chercheur au LSV, laboratoire d'informatique de l'ENS Cachan, et professeur attaché à l'ENS Paris-Saclay., École Normale Supérieure Paris-Saclay – Université Paris-Saclay Université Paris-Saclay ...

Les performances spectaculaires du calcul électronique ont depuis longtemps conduit les scientifiques à confier aux ordinateurs le calcul numérique ; il en a résulté un partage des tâches : tout en ...

B : tes travaux se situent à la frontière de l’informatique et des mathématiques. Est-ce que ce sont pour toi deux domaines distincts ? TC : le point de départ de ma thèse était une tentative ...

Xavier JEANNEAU: Agrégé de mathématiques - Professeur en classes préparatoires aux grandes écoles d’ingénieurs,lycée Aristide-Briand d’Évreux L’introduction en 1995 de l’apprentissage d’un logiciel de ...

Dans les années 1930, Herbrand avait posé les conditions de validité d'une démonstration automatique. En 1953, Quine donnait une règle d'inférence originale ; définie pour l'ordre O, elle présentait ...

K3Dsurf est un logiciel sous licence GPL qui permet la visualisation et la manipulation de modèles mathématiques dans l'espace de trois, quatre, cinq et six dimensions. K3DSurf supporte les équations ...