Mathematics

Books and Journals from the American Mathematical Society.

Searchable database of reviews, abstracts and bibliographic information for much of the mathematical sciences literature.

In this recorded webinar, Michael Jones provides an overview of MathSciNet.

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.

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.

Click on "My Holdings" to see what Dartmouth has access to.

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.

Coq provides interactive proof methods, decision and semi-decision algorithms, and a tactic language for letting the user define its own proof methods.

Browse eJournals by topic or title. See latest issues.

Find out if the library has access to the full-text of a citation. Can use just the DOI or PMID.

Find an article by DOI or PMID.

Single click access to library content from publisher websites, PubMed, Wikipedia, and more; link to the full range of available content, including primary publishers, aggregators, open access alternatives; easily install in Chrome, Firefox, Edge, Vivaldi, or Brave.

Math-aware search interface.