Archives Henri-Poincaré - Philosophie et Recherches sur les Sciences et les Technologies (FR)
Institut des Sciences Humaines et Sociales (FR)
Université de Strasbourg (FR)
Université de Lorraine (FR)
Publication Details
Journal
SPIRE - Sciences Po Institutional REpository
Published
2025-10-07
Primary Topic
Mathematics Education and Teaching Techniques
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article
Do computer-assisted proofs change the game for mathematical contingentism?
Baptiste Mélès
Journal
SPIRE - Sciences Po Institutional REpository
Topics
Mathematics Education and Teaching Techniques
article
Do computer-assisted proofs change the game for mathematical contingentism?
Baptiste Mélès
article en
Abstract
No abstract available for this paper.
Publication Tag
SPIRE - Sciences Po Institutional REpository
Institutions
Centre National de la Recherche Scientifique (FR), Archives Henri-Poincaré - Philosophie et Recherches sur les Sciences et les Technologies (FR), Institut des Sciences Humaines et Sociales (FR), Université de Strasbourg (FR), Université de Lorraine (FR)
Ask Laika to Summarize, Analyze, and Connect papers live on the map.
Summarize Papers & Methodologies
Extract key findings, datasets, and comparative methods across publications.
Benchmark Rankings & Visual Analytics
Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.
Connect Distant Disciplines
Bridge topological clusters on the map to find hidden collaborative intersections.
Do computer-assisted proofs change the game for mathematical contingentism? — Baptiste Mélès · SPIRE - Sciences Po Institutional REpository (2025) | TGRS Research Map | TGRS