No matching entries. Clear filters or try another keyword.
MathOverflow community
Communities & communication · All mathematics · English
Research-level questions and answers; not a homework help forum.
Use / preparation: Community answers and personal reflections are not automatically verified or current. · Checked 2026-10-11
Mathematics Stack Exchange community
Communities & communication · All mathematics · English
Mathematical questions across many levels; include your own attempts.
Use / preparation: Community answers and personal reflections are not automatically verified or current. · Checked 2026-10-11
Polymath contributors
Communities & communication · Combinatorics & number theory · English
Public collaborative projects and archives; historical projects may no longer be active.
Use / preparation: Community answers and personal reflections are not automatically verified or current. · Checked 2026-10-11
John Baez, David Corfield and Urs Schreiber
Communities & communication · Higher categories · English
Categorical discussions, exposition and author viewpoints.
Use / preparation: Community answers and personal reflections are not automatically verified or current. · Checked 2026-10-11
Mathstodon community
Communities & communication · All mathematics · English
A mathematical social community; posts are not peer-reviewed sources.
Use / preparation: Community answers and personal reflections are not automatically verified or current. · Checked 2026-10-11
American Mathematical Society
Communities & communication · Mathematical writing · English
Resources for mathematical communication and presentations.
Use / preparation: Community answers and personal reflections are not automatically verified or current. · Checked 2026-10-11
AMS / contributors
Communities & communication · Study & careers · English
Student perspectives; older posts do not establish current admissions requirements.
Use / preparation: Community answers and personal reflections are not automatically verified or current. · Checked 2026-10-11
London Mathematical Society
Communities & communication · All mathematics · English
Community news and expository writing; date-check announcements.
Use / preparation: Community answers and personal reflections are not automatically verified or current. · Checked 2026-10-11
American Mathematical Society
Communities & communication · All mathematics · English
Expository and professional articles; distinguish opinion from research.
Use / preparation: Community answers and personal reflections are not automatically verified or current. · Checked 2026-10-11
European Mathematical Society
Communities & communication · All mathematics · English
Mathematical exposition and professional perspectives.
Use / preparation: Community answers and personal reflections are not automatically verified or current. · Checked 2026-10-11
SageMath developers
Computation & formalization · Computational mathematics · English
Open mathematical computation across algebra, arithmetic and geometry.
Use / preparation: Learn the documentation; numerical experiments are not a substitute for proof. · Checked 2026-10-11
GAP Group
Computation & formalization · Computational algebra · English
Software for computational discrete algebra and groups.
Use / preparation: Learn the documentation; numerical experiments are not a substitute for proof. · Checked 2026-10-11
PARI Group
Computation & formalization · Number theory · English
A number-theoretic computation system.
Use / preparation: Learn the documentation; numerical experiments are not a substitute for proof. · Checked 2026-10-11
Macaulay2 developers
Computation & formalization · Algebraic geometry · English
Computation in commutative algebra and algebraic geometry.
Use / preparation: Learn the documentation; numerical experiments are not a substitute for proof. · Checked 2026-10-11
Singular team
Computation & formalization · Computational algebra · English
Polynomial computation and computational algebra.
Use / preparation: Learn the documentation; numerical experiments are not a substitute for proof. · Checked 2026-10-11
Lean community
Computation & formalization · Formal proof · English
Libraries, documentation and learning routes for formal mathematics.
Use / preparation: Learn the documentation; numerical experiments are not a substitute for proof. · Checked 2026-10-11
Lean developers and contributors
Computation & formalization · Formal proof · English
A structured introduction to formal theorem proving.
Use / preparation: Learn the documentation; numerical experiments are not a substitute for proof. · Checked 2026-10-11
Rocq developers
Computation & formalization · Formal proof · English
An interactive proof assistant formerly named Coq.
Use / preparation: Learn the documentation; numerical experiments are not a substitute for proof. · Checked 2026-10-11
Isabelle developers
Computation & formalization · Formal proof · English
A proof assistant with mature higher-order logic infrastructure.
Use / preparation: Learn the documentation; numerical experiments are not a substitute for proof. · Checked 2026-10-11
Agda developers
Computation & formalization · Formal proof · English
Dependent types, programming and formal proof documentation.
Use / preparation: Learn the documentation; numerical experiments are not a substitute for proof. · Checked 2026-10-11
Open Logic Project contributors
Open textbooks & study tools · Logic · English
Open modular logic teaching material.
Use / preparation: Follow each author’s prerequisites and use the legally available edition. · Checked 2026-10-11
American Institute of Mathematics
Open textbooks & study tools · All mathematics · English
A portal to open mathematics textbooks.
Use / preparation: Follow each author’s prerequisites and use the legally available edition. · Checked 2026-10-11
Rice University / OpenStax
Open textbooks & study tools · Undergraduate mathematics · English
Open introductory textbooks, not research monographs.
Use / preparation: Follow each author’s prerequisites and use the legally available edition. · Checked 2026-10-11
LibreTexts contributors
Open textbooks & study tools · Undergraduate mathematics · English
Open teaching resources with varying authorship and course levels.
Use / preparation: Follow each author’s prerequisites and use the legally available edition. · Checked 2026-10-11
Thomas W. Judson
Open textbooks & study tools · Algebra · English
An open algebra text with accessible formats.
Use / preparation: Follow each author’s prerequisites and use the legally available edition. · Checked 2026-10-11