Epistemology
Introduction E9F5FC Questions FFFFC0 Software |
See: Math collaboration, Mathematicians Math communities
Journals Math research opportunities Sociology of mathematics
Johan Commelin: "Breaking the one-mind-barrier in mathematics using formal verification" |