A library for learning & scholarship
Courses to learn from. Historical texts to read closely. Translations that bring more of mathematics within reach.
Lessons, prerequisites and exercises.
02Original works and distinct edition layers.
03Textbooks, translations and learning paths.
The collections
Read online, open an edition or explore its sources.
Each collection keeps its own authorship and terms.
15 collections
Courses
English
Subject-organized lesson series, prerequisites, examples and downloadable sources across pure and applied mathematics.
Authorship and mathematical scope are stated in each course. Many lessons are AI-created; a listing is not independent proof certification.
Course and component notices apply.
Hosted here
Indonesian
Bahasa Indonesia · English
A curriculum-oriented entrance to textbooks, exercises and mathematical learning resources, with Indonesian and original-language reading paths.
Books retain their individual authors, translators and upstream sources. The catalogue distinguishes original texts from AI-translated editions.
Terms differ by book; consult its attribution and licence.
Linked collection
Historical texts
Arabic · Latin
Astronomical canons and tables in the historical Arabic edition, with Nallino’s Latin translation and apparatus available separately.
Abū ʿAbd Allāh Muḥammad ibn Jābir al-Battānī. Historical editor and Latin translator: Carlo Alfonso Nallino, 1899–1907. Digital transcription and typesetting are AI-produced; unresolved readings remain.
The Nallino source edition is public domain. Other works in the repository, including modern commentary editions, have separate terms.
Linked edition
Historical texts
Arabic · Latin witnesses
Editions of algebra, geography and related surviving works, with each historical witness and editorial layer identified separately.
Muḥammad ibn Mūsā al-Khwārizmī. Historical editors and witnesses are credited in the individual editions. Digital transcription and typesetting are AI-produced.
The original works are public domain. The repository distinguishes protected modern editorial writing from the reproduced historical text.
Linked edition
Historical texts
English · further language editions
A linked English reading edition of Noether’s mathematical papers, with editable sources and other language editions in the collection.
Historical author: Emmy Noether. The English translation and modern editorial material are AI-produced; this catalogue does not claim independent scholarly review.
Historical sources and modern contributions have distinct notices; no collection-wide licence is assigned here.
Linked edition
Historical texts
English · French source
An English reading edition of the 1897 collected works, with a separately identified annotated edition in the source collection.
Évariste Galois; historical introduction by Émile Picard. English translation and modern annotations are AI-produced and are distinct from the inherited human text.
A mixed-rights collection. Consult the edition’s per-file rights notice before reuse.
Linked edition
Translations
Multilingual
Logic texts in multiple languages, with editions and formats listed separately. Coverage varies: some books are partial.
Original authors: the Open Logic Project and its contributors. Translation editions distinguish inherited human writing from AI-translated additions and AI-produced corrections.
Original text: CC BY 4.0. Edition and component notices remain applicable.
Linked collection
Courses
English
A reading interface for the Open Logic text, with reading, listening, equation exploration and source views.
The Open Logic Project and its contributors. Reader adaptation and identified corrections are AI-produced, not a replacement for the original authorship.
CC BY 4.0 text; component notices apply.
Linked reader
Indonesian
Bahasa Indonesia
An Indonesian HTML reading edition of the Open Logic text, with reflowable EPUB and editable sources available in its collection.
The Open Logic Project and its contributors; Indonesian translation and reader production by AI, as specified by the edition.
CC BY 4.0 text; preserve original and translation notices.
Linked reader
Indonesian
Bahasa Indonesia
An Indonesian edition of Mathematics in Lean, connecting mathematical exposition to Lean examples, exercises and solutions.
Jeremy Avigad and Patrick Massot. AI-translated by OpenAI Codex gpt-5.6-sol. Independent, unofficial edition; no upstream endorsement is implied.
Book and translation: CC BY 4.0. Code: Apache-2.0. Other components retain their notices.
Linked reader
Indonesian
Bahasa Indonesia
An Indonesian edition of Discrete Mathematics: An Open Introduction, fourth edition, with interactive examples and exercises.
Oscar Levin. AI-translated by OpenAI Codex gpt-5.6-sol. This is an independent, unofficial edition.
Text and translation: CC BY-NC-SA 4.0. WeBWorK and other components have separate notices.
Linked reader
Indonesian
Bahasa Indonesia
An Indonesian edition of Linear Algebra, with a textbook, answer book and Sage laboratories.
Jim Hefferon, fourth edition. AI translation and edition production: OpenAI Codex gpt-5.6-sol. Independent, unofficial edition.
The edition uses CC BY-SA 2.5 for covered text and sources. Component licences remain separate.
Linked downloads
Open-source mirrors
English · LaTeX
The upstream modular logic text and its reusable LaTeX source, alongside the existing project fork.
The Open Logic Project and its named contributors. The linked builds are the upstream project’s own reading editions.
CC BY 4.0, with attribution to the Open Logic Project.
Linked upstream & fork
Tools & reference
English
The Lean reference manual for the language, elaborator and theorem-proving environment.
Lean language reference contributors. The reading link points to the official documentation; the source link identifies the existing fork.
Repository metadata identifies Apache-2.0. Preserve file-level notices when reusing source.
Linked upstream & fork
Tools & reference
English · Lean
Searchable API documentation for the community’s formalized mathematics library.
The Mathlib community and its contributors. The reading link points to the community’s official documentation.
Apache-2.0 code; preserve the applicable notices.
Linked upstream & fork
No matching collections. Try a different name, subject or language.
One library, many sources
Open Maths brings educational resources and scholarly editions into a common reading catalogue. Courses are hosted here; other collections currently link to their existing readers, repositories and downloads.
Historical authors, human translators and editors remain credited. AI-translated text, AI-transcribed editions and AI-created lessons are identified separately. A listing is not a claim of human review, mathematical certification or completeness.
Rights belong to their respective holders. Public-domain originals, open licences and modern editorial contributions are not interchangeable. Consult the particular edition’s notices before reuse; there is no blanket licence over this library.
For a correction or rights concern, use the course-site issue tracker or the source repository linked with the affected work.