Research toolkit
A short, carefully chosen list of the databases, software, references and communities that support everyday research, from your first literature search to a formally verified proof.
Find, follow and cite the research that matters to your work.
The main open preprint server for mathematics. Subscribe to daily listings for your subject areas.
FreeAn open abstracting and reviewing database covering mathematical literature since the 19th century.
FreeThe American Mathematical Society’s curated database of reviews, author profiles and citations.
InstitutionalBroad citation search, alerts for new papers and public author profiles.
FreeA list of reputable diamond open-access mathematics journals that charge neither authors nor readers.
FreeA persistent researcher identifier that connects your publications, grants and affiliations.
FreeAuthoritative references, encyclopedias and mathematical databases.
The On-Line Encyclopedia of Integer Sequences, an essential tool for spotting patterns.
FreeThe L-functions and Modular Forms Database, which covers number fields, elliptic curves and more.
FreeThe definitive reference for the properties of special functions.
FreeAn open, collaborative and continually growing reference on algebraic geometry.
FreeAn online resource for homotopy-coherent mathematics and higher category theory.
FreeA wiki covering mathematics, physics and philosophy from a category-theoretic point of view.
FreeCompute, experiment and verify proofs by machine.
An open-source system that unifies many mathematics libraries behind a Python interface.
Open sourceA fast computer algebra system designed for computations in number theory.
Open sourceA system for computational discrete algebra, especially computational group theory.
Open sourceSoftware for research in algebraic geometry and commutative algebra.
Open sourceAn interactive theorem prover and the community library of formalised mathematics built on it.
Open sourceA high-performance language for numerical and scientific computing.
Open sourceTypeset your work, present it well and find the right symbol.
A collaborative online LaTeX editor with journal and thesis templates.
FreemiumDraw a symbol and get its LaTeX command.
FreeThe Comprehensive TeX Archive Network, an extensive archive of TeX and LaTeX packages and documentation.
FreeBiographies and historical essays, which are useful for talks, teaching and context.
FreeAsk questions, find collaborators and trace academic lineages.
A question-and-answer site for research-level mathematics questions.
FreeQuestions and answers at every level, from coursework to graduate study.
FreeDoctoral advisor–student lineages for more than 300,000 mathematicians.
FreeAn active, welcoming chat community for formalisation and Lean users.
FreeBrowse the leading institutes and labs that host visitors, programmes and fellowships.
