Research Guides: Mathematics: Getting Started

Recommended Resources

EuDML: The European Digital Mathematics Library This link opens in a new window
The purpose of the library is to provide a Digital Mathematics Library (DML) for the worldwide scientific community as a public service with the aim to help scientists locate the information that is distributed in various digital repositories, discover information related to their work in optimal way and be exhaustive and comprehensive in the field of mathematics.
Mathematics at arXiv.org This link opens in a new window
Mathematics at JSTOR This link opens in a new window

MathSciNet This link opens in a new window
Searchable database of reviews, abstracts and bibliographic information for much of the mathematical sciences literature.

Project Euclid This link opens in a new window
Project Euclid offers access to a growing platform of high-quality, peer-reviewed journals, monographs, and conference proceedings in the fields of theoretical and applied mathematics and statistics.
SIAM Digital Library This link opens in a new window
zbMATH This link opens in a new window
zbMATH Open (formerly known as Zentralblatt MATH) is the world's most comprehensive and longest-running abstracting and reviewing service in pure and applied mathematics. It is edited by the European Mathematical Society (EMS), the Heidelberg Academy of Sciences and Humanities, and FIZ Karlsruhe.

American Mathematical Society (AMS) Books Online This link opens in a new window
Click on "My Holdings" in the left menu to determine what Dartmouth has access to.
AMS Open Math Notes This link opens in a new window
A repository of freely downloadable mathematical works in progress hosted by the American Mathematical Society as a service to researchers, teachers and students. These draft works include course notes, textbooks, and research expositions in progress. They have not been published elsewhere, and, as works in progress, are subject to significant revision. Visitors are encouraged to download and use these materials as teaching and research aids, and to send constructive comments and suggestions to the authors.
Lecture Notes in Mathematics This link opens in a new window

Lean and its Mathematical Library
The Lean mathematical library, mathlib, is a community-driven effort to build a unified library of mathematics formalized in the Lean proof assistant. The library also contains definitions useful for programming.
more...less...
Book: Functional Programming in Lean
How To Prove It With Lean
This book is intended to accompany my book How To Prove It: A Structured Approach, 3rd edition. The purpose of this book is to show you how to use a computer software package called Lean to help you master the techniques presented in HTPI.
Coq
Coq provides interactive proof methods, decision and semi-decision algorithms, and a tactic language for letting the user define its own proof methods.
HOL
The HOL interactive theorem prover is a proof assistant for higher-order logic: a programming environment in which theorems can be proved and proof tools implemented. Built-in decision procedures and theorem provers can automatically establish many simple theorems (users may have to prove the hard theorems themselves!) An oracle mechanism gives access to external programs such as SMT and BDD engines. HOL is particularly suitable as a platform for implementing combinations of deduction, execution and property checking.
Minerva
A language model capable of solving mathematical and scientific questions using step-by-step reasoning.

Browser Extensions For Accessing Full-text
Browser extensions which are licensed by the library to improve access to electronic resources.
Citation Linker
Find out if the library has access to the full-text of a citation. Can use just the DOI or PMID.
Libkey.io
Find an article by DOI or PMID.

Mathematics Journals at Browzine This link opens in a new window
Browse eJournals by topic or title. See latest issues.

Off-Campus Access (VPN)
Handbook of Writing for the Mathematical Sciences, Third Edition
Provides advice on all aspects of scientific writing, with a particular focus on writing mathematics.
Illustrating the Impact of the Mathematical Sciences
MathDeck
Math-aware search interface.
MathOverflow
A question and answer site for professional mathematicians.
MIT Mathlets
The MIT Mathlets constitute a suite of carefully designed and highly interactive Javascript applets designed to enhance selected university level STEM classes.
SearchOnMath
Search for mathematical formulas and/or text. Some results require a subscription.
more...less...
Web Index:
MathsGee
MathOverflow
NIST DLMF
nLab
Physics Forums
PlanetMath
StackExchange - Mathematics
StackExchange - Physics
Socratic
Wikipedia (English version)
Wolfram MathWorld

Scientific Index:
arXiv