Catalogue

Choose a type of material and a text language. Open a work’s language editions to find readers, scope notes and sources. Language selection filters the texts; it does not translate the site interface.

Mathematics courses

Subject-organized lesson series with prerequisites, arguments, examples and exercises.

Mathematics courses

Subject-organized lesson series, prerequisites, examples and downloadable sources across pure and applied mathematics.

English

Language editions and sources (1)

English

Reader linked

Subject-organized lesson series, prerequisites, examples and downloadable sources across pure and applied mathematics.

Authorship and reuse

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.

Indonesian mathematics curriculum

A course sequence and study map linking Indonesian mathematics textbooks, exercises and original-language sources.

Bahasa Indonesia · Indonesian

Language editions and sources (1)

Bahasa Indonesia · Indonesian

Reader linked

A catalogue of mathematics textbooks and exercises, with Indonesian translations and links to original-language texts.

Authorship and reuse

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.

Open textbooks

Named textbooks and teaching texts, with original-language editions and translations grouped under the same work.

Open Logic

Logic textbooks covering sets, relations, computability, proof theory and related subjects. Translation coverage differs by language.

21 languages — choose an edition below

Language editions and sources (23)

English

Reader linked

A reading interface for the Open Logic text, with reading, listening, equation exploration and source views.

Authorship and reuse

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.

Bahasa Indonesia · Indonesian

Reader linked

An Indonesian HTML reading edition of the Open Logic text, with reflowable EPUB and editable sources available in its collection.

Authorship and reuse

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.

English

Reader linked

The Open Logic Project's English books and LaTeX sources. The reading link opens upstream editions; the repository link opens a fork.

Authorship and reuse

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.

All-language edition directory

Reader linked

Logic texts in multiple languages, with editions and formats listed separately. Coverage varies: some books are partial.

Authorship and reuse

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.

Türkçe · Turkish

Edition or source page

Turkish edition; distinct from the constructed Inter-Turkic edition.

Authorship and reuse

The Open Logic Project and its named contributors; independent AI-translated editions retain the inherited text’s authorship.

Original text: CC BY 4.0. Edition and component notices apply.

فارسی · Persian

Edition or source page

Persian edition.

Authorship and reuse

The Open Logic Project and its named contributors; independent AI-translated editions retain the inherited text’s authorship.

Original text: CC BY 4.0. Edition and component notices apply.

پښتو · Pashto

Partial edition

Partial reader: 321 of 722 source units.

Authorship and reuse

The Open Logic Project and its named contributors; independent AI-translated editions retain the inherited text’s authorship.

Original text: CC BY 4.0. Edition and component notices apply.

मराठी · Marathi

Edition or source page

Marathi edition.

Authorship and reuse

The Open Logic Project and its named contributors; independent AI-translated editions retain the inherited text’s authorship.

Original text: CC BY 4.0. Edition and component notices apply.

বাংলা · Bengali

Edition or source page

Bengali edition.

Authorship and reuse

The Open Logic Project and its named contributors; independent AI-translated editions retain the inherited text’s authorship.

Original text: CC BY 4.0. Edition and component notices apply.

Basa Jawa · Javanese

Partial edition

Partial public reader: 24 units. The larger editable-source collection is not the public reader.

Authorship and reuse

The Open Logic Project and its named contributors; independent AI-translated editions retain the inherited text’s authorship.

Original text: CC BY 4.0. Edition and component notices apply.

العربية · Arabic

Edition or source page

Arabic edition.

Authorship and reuse

The Open Logic Project and its named contributors; independent AI-translated editions retain the inherited text’s authorship.

Original text: CC BY 4.0. Edition and component notices apply.

தமிழ் · Tamil

Edition or source page

Tamil edition.

Authorship and reuse

The Open Logic Project and its named contributors; independent AI-translated editions retain the inherited text’s authorship.

Original text: CC BY 4.0. Edition and component notices apply.

ગુજરાતી · Gujarati

Edition or source page

Gujarati edition.

Authorship and reuse

The Open Logic Project and its named contributors; independent AI-translated editions retain the inherited text’s authorship.

Original text: CC BY 4.0. Edition and component notices apply.

తెలుగు · Telugu

Partial edition

Partial reader: the Sets chapter, 7 of 722 source units; additional drafts are separate.

Authorship and reuse

The Open Logic Project and its named contributors; independent AI-translated editions retain the inherited text’s authorship.

Original text: CC BY 4.0. Edition and component notices apply.

Nederlands · Dutch

Partial edition

Partial source edition: 160 of 722 units; academic Dutch and plain-language versions.

Authorship and reuse

The Open Logic Project and its named contributors; independent AI-translated editions retain the inherited text’s authorship.

Original text: CC BY 4.0. Edition and component notices apply.

Português brasileiro · Brazilian Portuguese

Edition or source page

Brazilian Portuguese edition.

Authorship and reuse

The Open Logic Project and its named contributors; independent AI-translated editions retain the inherited text’s authorship.

Original text: CC BY 4.0. Edition and component notices apply.

Español · Spanish

Edition or source page

Spanish edition.

Authorship and reuse

The Open Logic Project and its named contributors; independent AI-translated editions retain the inherited text’s authorship.

Original text: CC BY 4.0. Edition and component notices apply.

Français · French

Partial edition

Partial reader: 111 of 722 units; additional translated source units are separate.

Authorship and reuse

The Open Logic Project and its named contributors; independent AI-translated editions retain the inherited text’s authorship.

Original text: CC BY 4.0. Edition and component notices apply.

پنجابی · Punjabi (Shahmukhi)

Partial edition

Partial reader: 7-unit Sets chapter, Shahmukhi script.

Authorship and reuse

The Open Logic Project and its named contributors; independent AI-translated editions retain the inherited text’s authorship.

Original text: CC BY 4.0. Edition and component notices apply.

简体中文 · Chinese (Simplified)

Edition or source page

Simplified Chinese edition.

Authorship and reuse

The Open Logic Project and its named contributors; independent AI-translated editions retain the inherited text’s authorship.

Original text: CC BY 4.0. Edition and component notices apply.

हिन्दी · Hindi

Edition or source page

Hindi edition.

Authorship and reuse

The Open Logic Project and its named contributors; independent AI-translated editions retain the inherited text’s authorship.

Original text: CC BY 4.0. Edition and component notices apply.

Inter-Turkic

Edition or source page

Experimental constructed-language edition in three scripts; not the Turkish translation.

Authorship and reuse

The Open Logic Project and its named contributors; independent AI-translated editions retain the inherited text’s authorship.

Original text: CC BY 4.0. Edition and component notices apply.

Medžuslovjansky / Меджусловјанскы · Interslavic

Partial edition

Interslavic translation in progress. The edition page states the currently released scope; source-unit counts are not independent linguistic certification.

Authorship and reuse

The Open Logic Project and its named contributors; independent AI-translated editions retain the inherited text’s authorship.

Original text: CC BY 4.0. Edition and component notices apply.

Mathematics in Lean

Formal proof tutorial with mathematical explanations, Lean code and exercises.

English, Bahasa Indonesia · Indonesian

Language editions and sources (2)

English

Edition or source page

Coverage is described in the linked edition; no complete-work claim is made here.

Authorship and reuse

Jeremy Avigad and Patrick Massot. Translation and edition-specific contributions are credited in the linked sources.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Bahasa Indonesia · Indonesian

Reader linked

An Indonesian translation of Mathematics in Lean, with mathematical explanations, Lean code, exercises and solutions.

Authorship and reuse

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.

Discrete Mathematics: An Open Introduction

Discrete mathematics textbook, fourth edition.

Bahasa Indonesia · Indonesian, English

Language editions and sources (2)

Bahasa Indonesia · Indonesian

Reader linked

An Indonesian edition of Discrete Mathematics: An Open Introduction, fourth edition, with interactive examples and exercises.

Authorship and reuse

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.

English

Edition or source page

Original English source version used by the Indonesian edition.

Authorship and reuse

Oscar Levin; original English source, not an AI translation.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Linear Algebra — Jim Hefferon

Linear algebra textbook with answers and Sage laboratories.

Bahasa Indonesia · Indonesian, English

Language editions and sources (2)

Bahasa Indonesia · Indonesian

Reader linked

An Indonesian edition of Linear Algebra, with a textbook, answer book and Sage laboratories.

Authorship and reuse

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.

English

Reader linked

Author’s English textbook, answer book and supporting material.

Authorship and reuse

Jim Hefferon; original English work, not an AI translation.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Differential Geometry — Holger Brenner

Differential geometry lecture text, Osnabrück 2023.

English, Bahasa Indonesia · Indonesian

Language editions and sources (2)

English

Edition or source page

Coverage is described in the linked edition; no complete-work claim is made here.

Authorship and reuse

Holger Brenner. Translation and edition-specific contributions are credited in the linked sources.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Bahasa Indonesia · Indonesian

Edition or source page

Indonesian edition; see the linked reading and source files for its scope.

Authorship and reuse

Holger Brenner. Translation and edition-specific contributions are credited in the linked sources.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Methods of Algebra, Volume 1

Graduate algebra text and separately identified study material.

English, Bahasa Indonesia · Indonesian

Language editions and sources (2)

English

Edition or source page

Coverage is described in the linked edition; no complete-work claim is made here.

Authorship and reuse

Wen-Wei Li; other source and supplement contributors are identified in the edition. Translation and edition-specific contributions are credited in the linked sources.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Bahasa Indonesia · Indonesian

Edition or source page

Indonesian edition; see the linked reading and source files for its scope.

Authorship and reuse

Wen-Wei Li; other source and supplement contributors are identified in the edition. Translation and edition-specific contributions are credited in the linked sources.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Methods of Algebra, Volume 2

Second volume of the graduate algebra text.

English, Bahasa Indonesia · Indonesian

Language editions and sources (2)

English

Edition or source page

Coverage is described in the linked edition; no complete-work claim is made here.

Authorship and reuse

Wen-Wei Li. Translation and edition-specific contributions are credited in the linked sources.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Bahasa Indonesia · Indonesian

Edition or source page

Indonesian edition; see the linked reading and source files for its scope.

Authorship and reuse

Wen-Wei Li. Translation and edition-specific contributions are credited in the linked sources.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Mathematical Computing and Reproducible Experiments

Teaching text with computational laboratories, exercises and solutions.

English, Bahasa Indonesia · Indonesian, Tiếng Việt · Vietnamese

Language editions and sources (3)

English

Edition or source page

Coverage is described in the linked edition; no complete-work claim is made here.

Authorship and reuse

AI-created teaching text and AI-translated editions; cited human sources retain their authorship. Translation and edition-specific contributions are credited in the linked sources.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Bahasa Indonesia · Indonesian

Reader linked

Indonesian edition; see the linked reading and source files for its scope.

Authorship and reuse

AI-created teaching text and AI-translated editions; cited human sources retain their authorship. Translation and edition-specific contributions are credited in the linked sources.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Tiếng Việt · Vietnamese

Reader linked

Vietnamese edition: introductory lessons P01/P02 and lessons U01–U12.

Authorship and reuse

AI-created teaching text and AI-translated editions; cited human sources retain their authorship. Translation and edition-specific contributions are credited in the linked sources.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

OpenStax Prealgebra 2e

Prealgebra textbook.

English, Bahasa Indonesia · Indonesian

Language editions and sources (2)

English

Edition or source page

Coverage is described in the linked edition; no complete-work claim is made here.

Authorship and reuse

OpenStax and the book’s named authors. Translation and edition-specific contributions are credited in the linked sources.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Bahasa Indonesia · Indonesian

Edition or source page

Indonesian edition; see the linked reading and source files for its scope.

Authorship and reuse

OpenStax and the book’s named authors. Translation and edition-specific contributions are credited in the linked sources.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

OpenStax Elementary Algebra 2e

Elementary algebra textbook.

English, Bahasa Indonesia · Indonesian

Language editions and sources (2)

English

Edition or source page

Coverage is described in the linked edition; no complete-work claim is made here.

Authorship and reuse

OpenStax and the book’s named authors. Translation and edition-specific contributions are credited in the linked sources.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Bahasa Indonesia · Indonesian

Edition or source page

Indonesian edition; see the linked reading and source files for its scope.

Authorship and reuse

OpenStax and the book’s named authors. Translation and edition-specific contributions are credited in the linked sources.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

OpenStax Intermediate Algebra 2e

Intermediate algebra textbook.

English, Bahasa Indonesia · Indonesian

Language editions and sources (2)

English

Edition or source page

Coverage is described in the linked edition; no complete-work claim is made here.

Authorship and reuse

OpenStax and the book’s named authors. Translation and edition-specific contributions are credited in the linked sources.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Bahasa Indonesia · Indonesian

Partial edition

Partial edition: 28 of 83 modules.

Authorship and reuse

OpenStax and the book’s named authors. Translation and edition-specific contributions are credited in the linked sources.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Functional Analysis and Operator Algebras

Functional analysis textbook with exercises and solutions.

Bahasa Indonesia · Indonesian

Language editions and sources (1)

Bahasa Indonesia · Indonesian

Reader linked

Coverage is described in the linked edition; no complete-work claim is made here.

Authorship and reuse

John M. Erdman. Indonesian translation and edition production are AI-produced; inherited human authorship is retained.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Yet Another Introductory Number Theory Textbook

Introductory number theory text.

Bahasa Indonesia · Indonesian

Language editions and sources (1)

Bahasa Indonesia · Indonesian

Edition or source page

Coverage is described in the linked edition; no complete-work claim is made here.

Authorship and reuse

Source authors and translation contributions are identified in the edition. Indonesian translation and edition production are AI-produced; inherited human authorship is retained.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Advanced Optimization and Convex Analysis

Optimization and convex analysis text with separately identified supplementary material.

Bahasa Indonesia · Indonesian

Language editions and sources (1)

Bahasa Indonesia · Indonesian

Edition or source page

Coverage is described in the linked edition; no complete-work claim is made here.

Authorship and reuse

Habring; the edition identifies the Becker/Krock supplements and original additions separately. Indonesian translation and edition production are AI-produced; inherited human authorship is retained.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Topology: An Inquiry-Based Approach

Topology textbook and separate study companion.

Bahasa Indonesia · Indonesian

Language editions and sources (1)

Bahasa Indonesia · Indonesian

Reader linked

Coverage is described in the linked edition; no complete-work claim is made here.

Authorship and reuse

Steven Schlicker. Indonesian translation and edition production are AI-produced; inherited human authorship is retained.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Penn State STAT 415

Mathematical statistics course translation and reconstruction.

Bahasa Indonesia · Indonesian

Language editions and sources (1)

Bahasa Indonesia · Indonesian

Edition or source page

Coverage is described in the linked edition; no complete-work claim is made here.

Authorship and reuse

Penn State’s STAT 415 authors and contributors. Indonesian translation and edition production are AI-produced; inherited human authorship is retained.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Mathematical Programming and Operations Research, Book 1

Operations research text with computational laboratories.

Bahasa Indonesia · Indonesian

Language editions and sources (1)

Bahasa Indonesia · Indonesian

Reader linked

Coverage is described in the linked edition; no complete-work claim is made here.

Authorship and reuse

Original authors and contributors are credited in the linked edition. Indonesian translation and edition production are AI-produced; inherited human authorship is retained.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Measure-Theoretic Probability and Stochastic Processes

Teaching material on probability, measure and stochastic processes.

Bahasa Indonesia · Indonesian

Language editions and sources (1)

Bahasa Indonesia · Indonesian

Reader linked

Coverage is described in the linked edition; no complete-work claim is made here.

Authorship and reuse

Source authors and edition-specific contributions are credited in the linked edition. Indonesian translation and edition production are AI-produced; inherited human authorship is retained.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Mathematical Modeling and Nonlinear Dynamics

Teaching material on mathematical modeling and nonlinear dynamics.

Bahasa Indonesia · Indonesian

Language editions and sources (1)

Bahasa Indonesia · Indonesian

Edition or source page

Coverage is described in the linked edition; no complete-work claim is made here.

Authorship and reuse

Source authors and edition-specific contributions are credited in the linked edition. Indonesian translation and edition production are AI-produced; inherited human authorship is retained.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Algebraic Curves

An Indonesian edition of Algebraische Kurven.

Bahasa Indonesia · Indonesian

Language editions and sources (1)

Bahasa Indonesia · Indonesian

Reader linked

Coverage is described in the linked edition; no complete-work claim is made here.

Authorship and reuse

Holger Brenner. Indonesian translation and edition production are AI-produced; inherited human authorship is retained.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Reading Research and Reproducible Mathematical Work

Teaching text about reading research, mathematical exposition and reproducible work.

Bahasa Indonesia · Indonesian

Language editions and sources (1)

Bahasa Indonesia · Indonesian

Reader linked

Coverage is described in the linked edition; no complete-work claim is made here.

Authorship and reuse

Authorship and cited source contributions are stated in the edition. Indonesian translation and edition production are AI-produced; inherited human authorship is retained.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Abstract Algebra: Theory and Applications

Abstract algebra textbook.

Bahasa Indonesia · Indonesian

Language editions and sources (1)

Bahasa Indonesia · Indonesian

Reader linked

Coverage is described in the linked edition; no complete-work claim is made here.

Authorship and reuse

Thomas W. Judson. Indonesian translation and edition production are AI-produced; inherited human authorship is retained.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Introduction to Probability

Introductory probability textbook.

Bahasa Indonesia · Indonesian

Language editions and sources (1)

Bahasa Indonesia · Indonesian

Reader linked

Coverage is described in the linked edition; no complete-work claim is made here.

Authorship and reuse

Charles M. Grinstead and J. Laurie Snell. Indonesian translation and edition production are AI-produced; inherited human authorship is retained.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Algebraic Topology

Algebraic topology lectures with separately credited supplementary material.

Bahasa Indonesia · Indonesian

Language editions and sources (1)

Bahasa Indonesia · Indonesian

Reader linked

Coverage is described in the linked edition; no complete-work claim is made here.

Authorship and reuse

David Michael Roberts; supplemental contributors retain their edition notices. Indonesian translation and edition production are AI-produced; inherited human authorship is retained.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Applied Combinatorics

Combinatorics textbook, edition 2017.3.

Bahasa Indonesia · Indonesian

Language editions and sources (1)

Bahasa Indonesia · Indonesian

Reader linked

Coverage is described in the linked edition; no complete-work claim is made here.

Authorship and reuse

Mitchel T. Keller and William T. Trotter. Indonesian translation and edition production are AI-produced; inherited human authorship is retained.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

OpenStax Precalculus 2e

Precalculus textbook.

Bahasa Indonesia · Indonesian

Language editions and sources (1)

Bahasa Indonesia · Indonesian

Edition or source page

Coverage is described in the linked edition; no complete-work claim is made here.

Authorship and reuse

OpenStax and the book’s named authors. Indonesian translation and edition production are AI-produced; inherited human authorship is retained.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Basic Analysis, Differential Equations and Complex Analysis — Jiří Lebl

Three related textbook series: Basic Analysis, Notes on Diffy Qs and Cultivating Complex Analysis.

Bahasa Indonesia · Indonesian

Language editions and sources (1)

Bahasa Indonesia · Indonesian

Edition or source page

Coverage is described in the linked edition; no complete-work claim is made here.

Authorship and reuse

Jiří Lebl. Indonesian translation and edition production are AI-produced; inherited human authorship is retained.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Mathematical Statistics

Teaching text derived from Random.

Bahasa Indonesia · Indonesian

Language editions and sources (1)

Bahasa Indonesia · Indonesian

Reader linked

Coverage is described in the linked edition; no complete-work claim is made here.

Authorship and reuse

Kyle Siegrist; adaptation and translation contributions are separately credited in the edition. Indonesian translation and edition production are AI-produced; inherited human authorship is retained.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Measure Theory, Volumes 1–2

An Indonesian adaptation of the first two volumes.

Bahasa Indonesia · Indonesian

Language editions and sources (1)

Bahasa Indonesia · Indonesian

Edition or source page

Coverage is described in the linked edition; no complete-work claim is made here.

Authorship and reuse

D. H. Fremlin. Indonesian translation and edition production are AI-produced; inherited human authorship is retained.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Data-Based Statistics

Teaching text derived from OpenIntro Statistics.

Bahasa Indonesia · Indonesian

Language editions and sources (1)

Bahasa Indonesia · Indonesian

Edition or source page

Coverage is described in the linked edition; no complete-work claim is made here.

Authorship and reuse

OpenIntro and the original textbook authors; edition-specific contributions are separately credited. Indonesian translation and edition production are AI-produced; inherited human authorship is retained.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Euclidean Plane and Its Relatives

Foundations of Euclidean geometry.

Bahasa Indonesia · Indonesian

Language editions and sources (1)

Bahasa Indonesia · Indonesian

Reader linked

Coverage is described in the linked edition; no complete-work claim is made here.

Authorship and reuse

Anton Petrunin. Indonesian translation and edition production are AI-produced; inherited human authorship is retained.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

CLP-4 Vector Calculus

Vector calculus textbook and exercise book.

Bahasa Indonesia · Indonesian

Language editions and sources (1)

Bahasa Indonesia · Indonesian

Edition or source page

Coverage is described in the linked edition; no complete-work claim is made here.

Authorship and reuse

The CLP authors and contributors. Indonesian translation and edition production are AI-produced; inherited human authorship is retained.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Tea Time Numerical Analysis

Numerical analysis textbook, third edition.

Bahasa Indonesia · Indonesian

Language editions and sources (1)

Bahasa Indonesia · Indonesian

Edition or source page

Coverage is described in the linked edition; no complete-work claim is made here.

Authorship and reuse

Leon Q. Brin; upstream release v3.0. Indonesian translation and edition production are AI-produced; inherited human authorship is retained.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

CLP-1 Differential Calculus

Differential calculus textbook, problems and solutions.

Bahasa Indonesia · Indonesian

Language editions and sources (1)

Bahasa Indonesia · Indonesian

Edition or source page

Coverage is described in the linked edition; no complete-work claim is made here.

Authorship and reuse

The CLP authors and contributors. Indonesian translation and edition production are AI-produced; inherited human authorship is retained.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Understanding Linear Algebra

Linear algebra textbook.

Bahasa Indonesia · Indonesian

Language editions and sources (1)

Bahasa Indonesia · Indonesian

Edition or source page

Coverage is described in the linked edition; no complete-work claim is made here.

Authorship and reuse

David Austin. Indonesian translation and edition production are AI-produced; inherited human authorship is retained.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

OpenStax Algebra and Trigonometry 2e

OpenStax textbook with a Simplified Chinese edition.

简体中文 · Chinese (Simplified)

Language editions and sources (1)

简体中文 · Chinese (Simplified)

Reader linked

The release describes 94 source modules. This is the released scope, not a claim of independent review.

Authorship and reuse

OpenStax and the book’s named authors; the Chinese translation is AI-produced.

The edition identifies CC BY-NC-SA 4.0; retain all source and component notices.

OpenStax Calculus, Volume 1

OpenStax textbook with a Simplified Chinese edition.

简体中文 · Chinese (Simplified)

Language editions and sources (1)

简体中文 · Chinese (Simplified)

Reader linked

The release describes 55 source modules. This is the released scope, not a claim of independent review.

Authorship and reuse

OpenStax and the book’s named authors; the Chinese translation is AI-produced.

The edition identifies CC BY-NC-SA 4.0; retain all source and component notices.

Stacks Project

Reference text in algebraic geometry. Unofficial translations are grouped here; these are distinct from Grothendieck’s Pursuing Stacks.

4 languages — choose an edition below

Language editions and sources (4)

Français · French

Edition or source page

Coverage is described in the linked edition; no complete-work claim is made here.

Authorship and reuse

The Stacks Project authors and contributors; unofficial translations are AI-produced.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

日本語 · Japanese

Edition or source page

Coverage is described in the linked edition; no complete-work claim is made here.

Authorship and reuse

The Stacks Project authors and contributors; unofficial translations are AI-produced.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

한국어 · Korean

Edition or source page

Coverage is described in the linked edition; no complete-work claim is made here.

Authorship and reuse

The Stacks Project authors and contributors; unofficial translations are AI-produced.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

简体中文 · Chinese (Simplified)

Edition or source page

Coverage is described in the linked edition; no complete-work claim is made here.

Authorship and reuse

The Stacks Project authors and contributors; unofficial translations are AI-produced.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Historical texts

Historical mathematical and astronomical works: transcriptions, translations and separately identified editorial editions.

Al-Battānī · the Zīj

Astronomical canons and tables in the historical Arabic edition, with Nallino’s Latin translation and apparatus available separately.

العربية · Arabic, Latin

Language editions and sources (2)

العربية · Arabic

Reader linked

Astronomical canons and tables in the historical Arabic edition, with Nallino’s Latin translation and apparatus available separately.

Authorship and reuse

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.

Latin

Reader linked

Nallino’s historical Latin translation and apparatus.

Authorship and reuse

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.

Al-Khwārizmī · algebra & geography

Editions of algebra, geography and related surviving works, with each historical witness and editorial layer identified separately.

العربية · Arabic

Language editions and sources (1)

العربية · Arabic

Reader linked

Editions of algebra, geography and related surviving works, with each historical witness and editorial layer identified separately.

Authorship and reuse

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.

Emmy Noether — mathematical works

Mathematical papers and collected works, with original-language material and translations. Diplomatic and corrected editions remain distinct within each language.

15 languages — choose an edition below

Language editions and sources (15)

English

Reader linked

A linked English reading edition of Noether’s mathematical papers, with editable sources and other language editions in the collection.

Authorship and reuse

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.

Français · French

Edition or source page

Language edition with separately identified source text and editorial corrections.

Authorship and reuse

Emmy Noether; the collection also identifies M. Deuring and Kapferer where their work is included. Translations and modern corrections are AI-produced.

Historical sources and modern contributions have distinct notices; no collection-wide licence is assigned here.

日本語 · Japanese

Edition or source page

Language edition with separately identified source text and editorial corrections.

Authorship and reuse

Emmy Noether; the collection also identifies M. Deuring and Kapferer where their work is included. Translations and modern corrections are AI-produced.

Historical sources and modern contributions have distinct notices; no collection-wide licence is assigned here.

한국어 · Korean

Edition or source page

Language edition with separately identified source text and editorial corrections.

Authorship and reuse

Emmy Noether; the collection also identifies M. Deuring and Kapferer where their work is included. Translations and modern corrections are AI-produced.

Historical sources and modern contributions have distinct notices; no collection-wide licence is assigned here.

简体中文 · Chinese (Simplified)

Edition or source page

Language edition with separately identified source text and editorial corrections.

Authorship and reuse

Emmy Noether; the collection also identifies M. Deuring and Kapferer where their work is included. Translations and modern corrections are AI-produced.

Historical sources and modern contributions have distinct notices; no collection-wide licence is assigned here.

Русский · Russian

Edition or source page

Language edition with separately identified source text and editorial corrections.

Authorship and reuse

Emmy Noether; the collection also identifies M. Deuring and Kapferer where their work is included. Translations and modern corrections are AI-produced.

Historical sources and modern contributions have distinct notices; no collection-wide licence is assigned here.

Українська · Ukrainian

Edition or source page

Language edition with separately identified source text and editorial corrections.

Authorship and reuse

Emmy Noether; the collection also identifies M. Deuring and Kapferer where their work is included. Translations and modern corrections are AI-produced.

Historical sources and modern contributions have distinct notices; no collection-wide licence is assigned here.

Medžuslovjansky / Меджусловјанскы · Interslavic

Edition or source page

Language edition with separately identified source text and editorial corrections.

Authorship and reuse

Emmy Noether; the collection also identifies M. Deuring and Kapferer where their work is included. Translations and modern corrections are AI-produced.

Historical sources and modern contributions have distinct notices; no collection-wide licence is assigned here.

Español · Spanish

Edition or source page

Language edition listed by the collection; consult the edition page for its exact released scope.

Authorship and reuse

Emmy Noether and the collection’s other named contributors; language-edition notices distinguish AI translation and corrections.

Historical sources and modern contributions have distinct notices; no collection-wide licence is assigned here.

繁體中文 · Chinese (Traditional)

Edition or source page

Language edition listed by the collection; consult the edition page for its exact released scope.

Authorship and reuse

Emmy Noether and the collection’s other named contributors; language-edition notices distinguish AI translation and corrections.

Historical sources and modern contributions have distinct notices; no collection-wide licence is assigned here.

العربية · Arabic

Edition or source page

Language edition listed by the collection; consult the edition page for its exact released scope.

Authorship and reuse

Emmy Noether and the collection’s other named contributors; language-edition notices distinguish AI translation and corrections.

Historical sources and modern contributions have distinct notices; no collection-wide licence is assigned here.

فارسی · Persian

Edition or source page

Language edition listed by the collection; consult the edition page for its exact released scope.

Authorship and reuse

Emmy Noether and the collection’s other named contributors; language-edition notices distinguish AI translation and corrections.

Historical sources and modern contributions have distinct notices; no collection-wide licence is assigned here.

Bahasa Indonesia · Indonesian

Edition or source page

Language edition listed by the collection; consult the edition page for its exact released scope.

Authorship and reuse

Emmy Noether and the collection’s other named contributors; language-edition notices distinguish AI translation and corrections.

Historical sources and modern contributions have distinct notices; no collection-wide licence is assigned here.

Türkçe · Turkish

Edition or source page

Language edition listed by the collection; consult the edition page for its exact released scope.

Authorship and reuse

Emmy Noether and the collection’s other named contributors; language-edition notices distinguish AI translation and corrections.

Historical sources and modern contributions have distinct notices; no collection-wide licence is assigned here.

Tiếng Việt · Vietnamese

Edition or source page

Language edition listed by the collection; consult the edition page for its exact released scope.

Authorship and reuse

Emmy Noether and the collection’s other named contributors; language-edition notices distinguish AI translation and corrections.

Historical sources and modern contributions have distinct notices; no collection-wide licence is assigned here.

Évariste Galois — mathematical works

An English reading edition of the 1897 collected works, with a separately identified annotated edition in the source collection.

English, Français · French

Language editions and sources (2)

English

Reader linked

An English reading edition of the 1897 collected works, with a separately identified annotated edition in the source collection.

Authorship and reuse

É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.

Français · French

Edition or source page

French source transcription; annotated editorial material is separately identified.

Authorship and reuse

É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.

Carl Friedrich Gauss — collected works

Historical mathematical and astronomical works in original languages and translation.

Deutsch · German, Latin, English

Language editions and sources (3)

Deutsch · German

Edition or source page

Consult the edition’s stated work and volume coverage; a listing does not certify the text.

Authorship and reuse

Carl Friedrich Gauss; historical editors and AI-produced transcription/translation contributions are identified in the editions.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Latin

Edition or source page

Consult the edition’s stated work and volume coverage; a listing does not certify the text.

Authorship and reuse

Carl Friedrich Gauss; historical editors and AI-produced transcription/translation contributions are identified in the editions.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

English

Edition or source page

Consult the edition’s stated work and volume coverage; a listing does not certify the text.

Authorship and reuse

Carl Friedrich Gauss; historical editors and AI-produced transcription/translation contributions are identified in the editions.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Éléments de géométrie algébrique (EGA)

Treatise on algebraic geometry, in French transcription and translations. Edition coverage differs by language.

7 languages — choose an edition below

Language editions and sources (7)

Français · French

Edition or source page

Consult the edition’s stated work and volume coverage; a listing does not certify the text.

Authorship and reuse

Alexander Grothendieck and Jean Dieudonné. The English edition inherits human translation by the ryankeleti/ega community and its named contributors (https://github.com/ryankeleti/ega); AI-translated additions and corrections are separate contributions.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

English

Edition or source page

Consult the edition’s stated work and volume coverage; a listing does not certify the text.

Authorship and reuse

Alexander Grothendieck and Jean Dieudonné. The English edition inherits human translation by the ryankeleti/ega community and its named contributors (https://github.com/ryankeleti/ega); AI-translated additions and corrections are separate contributions.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

한국어 · Korean

Edition or source page

Consult the edition’s stated work and volume coverage; a listing does not certify the text.

Authorship and reuse

Alexander Grothendieck and Jean Dieudonné. The English edition inherits human translation by the ryankeleti/ega community and its named contributors (https://github.com/ryankeleti/ega); AI-translated additions and corrections are separate contributions.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

简体中文 · Chinese (Simplified)

Partial edition

Four reader volumes cover EGA I, II, III-1 and III-2. EGA IV-1 has a separately linked editable translation; this is not a reader for the whole EGA series.

Authorship and reuse

Alexander Grothendieck and Jean Dieudonné. The English edition inherits human translation by the ryankeleti/ega community and its named contributors (https://github.com/ryankeleti/ega); AI-translated additions and corrections are separate contributions.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Español · Spanish

Partial edition

Partial edition; consult its stated chapter coverage.

Authorship and reuse

Alexander Grothendieck and Jean Dieudonné. The English edition inherits human translation by the ryankeleti/ega community and its named contributors (https://github.com/ryankeleti/ega); AI-translated additions and corrections are separate contributions.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Tiếng Việt · Vietnamese

Partial edition

Partial edition; consult its stated chapter coverage.

Authorship and reuse

Alexander Grothendieck and Jean Dieudonné. The English edition inherits human translation by the ryankeleti/ega community and its named contributors (https://github.com/ryankeleti/ega); AI-translated additions and corrections are separate contributions.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Português brasileiro · Brazilian Portuguese

Partial edition

Partial edition; consult its stated chapter coverage.

Authorship and reuse

Alexander Grothendieck and Jean Dieudonné. The English edition inherits human translation by the ryankeleti/ega community and its named contributors (https://github.com/ryankeleti/ega); AI-translated additions and corrections are separate contributions.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Fondements de la géométrie algébrique (FGA)

Collected algebraic geometry seminar texts in French and translation.

7 languages — choose an edition below

Language editions and sources (7)

Français · French

Edition or source page

Consult the edition’s stated work and volume coverage; a listing does not certify the text.

Authorship and reuse

Alexander Grothendieck; inherited human contributions and subsequent AI translation/corrections are identified by edition.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

English

Edition or source page

Consult the edition’s stated work and volume coverage; a listing does not certify the text.

Authorship and reuse

Alexander Grothendieck; inherited human contributions and subsequent AI translation/corrections are identified by edition.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

한국어 · Korean

Edition or source page

Consult the edition’s stated work and volume coverage; a listing does not certify the text.

Authorship and reuse

Alexander Grothendieck; inherited human contributions and subsequent AI translation/corrections are identified by edition.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

简体中文 · Chinese (Simplified)

Edition or source page

Consult the edition’s stated work and volume coverage; a listing does not certify the text.

Authorship and reuse

Alexander Grothendieck; inherited human contributions and subsequent AI translation/corrections are identified by edition.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Español · Spanish

Edition or source page

Consult the edition’s stated work and volume coverage; a listing does not certify the text.

Authorship and reuse

Alexander Grothendieck; inherited human contributions and subsequent AI translation/corrections are identified by edition.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Tiếng Việt · Vietnamese

Edition or source page

Consult the edition’s stated work and volume coverage; a listing does not certify the text.

Authorship and reuse

Alexander Grothendieck; inherited human contributions and subsequent AI translation/corrections are identified by edition.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Português brasileiro · Brazilian Portuguese

Edition or source page

Consult the edition’s stated work and volume coverage; a listing does not certify the text.

Authorship and reuse

Alexander Grothendieck; inherited human contributions and subsequent AI translation/corrections are identified by edition.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Séminaire de géométrie algébrique (SGA)

Algebraic geometry seminar volumes; authorship and translation coverage are volume-specific.

4 languages — choose an edition below

Language editions and sources (4)

English

Edition or source page

Consult the edition’s stated work and volume coverage; a listing does not certify the text.

Authorship and reuse

The named authors and contributors of each SGA volume; modern translation contributions are credited separately.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Español · Spanish

Edition or source page

Consult the edition’s stated work and volume coverage; a listing does not certify the text.

Authorship and reuse

The named authors and contributors of each SGA volume; modern translation contributions are credited separately.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Tiếng Việt · Vietnamese

Edition or source page

Consult the edition’s stated work and volume coverage; a listing does not certify the text.

Authorship and reuse

The named authors and contributors of each SGA volume; modern translation contributions are credited separately.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Português brasileiro · Brazilian Portuguese

Edition or source page

Consult the edition’s stated work and volume coverage; a listing does not certify the text.

Authorship and reuse

The named authors and contributors of each SGA volume; modern translation contributions are credited separately.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Pursuing Stacks — First Episode

Grothendieck’s First Episode, in separately published language editions.

日本語 · Japanese, 한국어 · Korean, 简体中文 · Chinese (Simplified)

Language editions and sources (3)

日本語 · Japanese

Edition or source page

Consult the edition’s stated work and volume coverage; a listing does not certify the text.

Authorship and reuse

Alexander Grothendieck; the linked translations and modern typesetting are AI-produced.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

한국어 · Korean

Edition or source page

Consult the edition’s stated work and volume coverage; a listing does not certify the text.

Authorship and reuse

Alexander Grothendieck; the linked translations and modern typesetting are AI-produced.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

简体中文 · Chinese (Simplified)

Edition or source page

Consult the edition’s stated work and volume coverage; a listing does not certify the text.

Authorship and reuse

Alexander Grothendieck; the linked translations and modern typesetting are AI-produced.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Gelfand seminar notes

Russian diplomatic transcription in progress; uncertain readings and diagram limitations belong to the edition.

Русский · Russian

Language editions and sources (1)

Русский · Russian

Partial edition

Partial edition; consult its stated chapter coverage.

Authorship and reuse

Gelfand seminar authors and note-takers, as credited in the source; AI-produced transcription and typesetting.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Research

Research papers, mathematical investigations, educational-access studies and translation methodologies. Drafts are identified as drafts.

AI Compute and Educational Access

A working paper on allocating translation compute across languages and educational needs, with explicit workload and audience assumptions. It is not a settled ranking or a completed study.

English

Language editions and sources (1)

English

Research / working draft

Working paper v0.11. Audience estimates and allocation models depend on the stated assumptions.

Authorship and reuse

Authorship and cited contributions are identified in the working paper.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Interlanguage and mathematical translation methods

From Multilingual Generation to Auditable Interlanguage: a methods study of source witnesses, terminology, script conversion and the limits of AI-produced translations. The linked collection also contains earlier methodological studies.

English

Language editions and sources (1)

English

Edition or source page

The current repository index identifies the 40-page methods study and its preserved historical publication. This is separate from the Open Logic translation and dictionary.

Authorship and reuse

The study and its bibliography identify authorship, inherited language resources and AI-produced contributions.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Yang–Mills investigations

Research manuscripts and reproducible computations on lattice Yang–Mills, topology and related fluid equations.

English

Language editions and sources (1)

English

Research / working draft

Research material; consult each manuscript for statements, hypotheses and unresolved limitations.

Authorship and reuse

The manuscripts identify their authors, contributors and sources. Their inclusion is not a claim of peer review or proof certification.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Collatz investigations

Research manuscripts, comparisons and reproducible calculations concerning the Collatz problem.

English

Language editions and sources (1)

English

Research / working draft

Research material; consult each manuscript for statements, hypotheses and unresolved limitations.

Authorship and reuse

The manuscripts identify their authors, contributors and sources. Their inclusion is not a claim of peer review or proof certification.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Zeta functions and split-zero geometry

Research manuscripts on zeta functions, split-zero geometry and related constructions.

English

Language editions and sources (1)

English

Research / working draft

Research material; consult each manuscript for statements, hypotheses and unresolved limitations.

Authorship and reuse

The manuscripts identify their authors, contributors and sources. Their inclusion is not a claim of peer review or proof certification.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Erdős–Straus investigations

Research notes, literature comparisons and computations concerning the Erdős–Straus conjecture.

English

Language editions and sources (1)

English

Research / working draft

Research material; consult each manuscript for statements, hypotheses and unresolved limitations.

Authorship and reuse

The manuscripts identify their authors, contributors and sources. Their inclusion is not a claim of peer review or proof certification.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Erdős–Straus foundations and calculations

A separate foundational collection of calculations and formalization material.

English

Language editions and sources (1)

English

Research / working draft

Research material; consult each manuscript for statements, hypotheses and unresolved limitations.

Authorship and reuse

The manuscripts identify their authors, contributors and sources. Their inclusion is not a claim of peer review or proof certification.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Benzel tilings

Research on Benzel tilings and Propp Problem 7.

English

Language editions and sources (1)

English

Research / working draft

Research material; consult each manuscript for statements, hypotheses and unresolved limitations.

Authorship and reuse

The manuscripts identify their authors, contributors and sources. Their inclusion is not a claim of peer review or proof certification.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Erdős Problem 817

Research notes, constructions, computations and Lean material for Problem 817.

English

Language editions and sources (1)

English

Research / working draft

Research material; consult each manuscript for statements, hypotheses and unresolved limitations.

Authorship and reuse

The manuscripts identify their authors, contributors and sources. Their inclusion is not a claim of peer review or proof certification.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Unofficial Stacks-style mathematical drafts

AI-created mathematical drafts; not part of, or endorsed by, the Stacks Project.

English

Language editions and sources (1)

English

Research / working draft

Research material; consult each manuscript for statements, hypotheses and unresolved limitations.

Authorship and reuse

The manuscripts identify their authors, contributors and sources. Their inclusion is not a claim of peer review or proof certification.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Dictionaries and language resources

Mathematical dictionaries, terminology collections and multilingual reference resources.

Interslavic mathematical dictionary

Mathematical terminology accompanying the Interslavic Noether editions, with Latin and Cyrillic forms.

Medžuslovjansky / Меджусловјанскы · Interslavic

Language editions and sources (1)

Medžuslovjansky / Меджусловјанскы · Interslavic

Reader linked

Dictionary associated with the Noether editions; distinct from the growing Open Logic terminology collection.

Authorship and reuse

Inherited language sources and AI-produced terminology work are credited in the dictionary; no official standardization or native-speaker certification is implied.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Open Logic Interslavic terminology

A terminology collection accompanying the evolving Open Logic Interslavic translation.

Medžuslovjansky / Меджусловјанскы · Interslavic

Language editions and sources (1)

Medžuslovjansky / Меджусловјанскы · Interslavic

Partial edition

Evolving terminology; not a completed general dictionary.

Authorship and reuse

The Open Logic Project, cited language sources and the edition’s AI-produced terminology contributions remain separately credited.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Mathlib documentation translations

Source-linked translation resources for Mathlib documentation. This is not a separately completed mathematical library.

English

Language editions and sources (1)

English

Edition or source page

Multilingual translation resources. Individual language coverage is not enumerated here.

Authorship and reuse

Mathlib documentation contributors; translation contributions and terms are identified in the repository.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Software and reference

Formal-mathematics libraries, proof-assistant manuals and source-code documentation.

Lean · language reference

The Lean reference manual for the language, elaborator and theorem-proving environment.

English

Language editions and sources (1)

English

Reader linked

The Lean reference manual for the language, elaborator and theorem-proving environment.

Authorship and reuse

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.

Mathlib · mathematical library

Searchable API documentation for the community’s formalized mathematics library.

English

Language editions and sources (1)

English

Reader linked

Searchable API documentation for the community’s formalized mathematics library.

Authorship and reuse

The Mathlib community and its contributors. The reading link points to the community’s official documentation.

Apache-2.0 code; preserve the applicable notices.

Theorem Proving in Lean 4

Tutorial on dependent type theory and theorem proving in Lean.

English

Language editions and sources (1)

English

Edition or source page

Coverage is described in the linked edition; no complete-work claim is made here.

Authorship and reuse

Original authors and formalization contributors are credited in the linked sources.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Classical mathematics in Lean

Source-linked formalization material associated with classical mathematical texts.

English

Language editions and sources (1)

English

Edition or source page

Coverage is described in the linked edition; no complete-work claim is made here.

Authorship and reuse

Original authors and formalization contributors are credited in the linked sources.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.

Lean theorem collection

A collection of Lean theorem source files.

English

Language editions and sources (1)

English

Edition or source page

Coverage is described in the linked edition; no complete-work claim is made here.

Authorship and reuse

Original authors and formalization contributors are credited in the linked sources.

The linked edition’s rights and component notices apply; this catalogue grants no additional rights.