These books and courses were written by the authors named below, not by this project. Our contributions are hosting, partial organization, identified teaching tools and, where stated, AI-translated editions. See the separate Translations tab for those editions.
Open Logic
Logic textbooks covering sets, relations, computability, proof theory and related subjects. Translation coverage differs by language.
The Open Logic Project and its named contributors; independent AI-translated editions retain the inherited text’s authorship.
Original-language editions
English
Original text by the credited authors · Reading edition listed
A reading interface for the Open Logic text, with reading, listening, equation exploration and source views.
Reader and editable files are not yet hosted here.
The Open Logic Project and its contributors. Reader adaptation and identified corrections are AI-produced, not a replacement for the original authorship.
Rights and source notices
CC BY 4.0 text; component notices apply.
Additional external locations
Read onlineSource edition and notices
English
Original text by the credited authors · Reading edition listed
The Open Logic Project's English books and LaTeX sources. The reading link opens upstream editions; the repository link opens a fork.
Reader and editable files are not yet hosted here.
The Open Logic Project and its named contributors. The linked builds are the upstream project’s own reading editions.
Rights and source notices
CC BY 4.0, with attribution to the Open Logic Project.
Additional external locations
Read upstream booksSource edition and notices
Translations of this work
Mathematics in Lean
Formal proof tutorial with mathematical explanations, Lean code and exercises.
Jeremy Avigad and Patrick Massot. Translation and edition-specific contributions are credited in the linked sources.
Original-language editions
English
Original text by the credited authors · Edition files listed
Coverage is described in the linked edition; no complete-work claim is made here.
Reader and editable files are not yet hosted here.
Jeremy Avigad and Patrick Massot. Translation and edition-specific contributions are credited in the linked sources.
Rights and source notices
The linked edition’s rights and component notices apply; this catalogue grants no additional rights.
Additional external locations
Edition and files
Translations of this work
Discrete Mathematics: An Open Introduction
Discrete mathematics textbook, fourth edition.
Oscar Levin. Translation and edition-specific contributions are credited in the linked sources.
Original-language editions
English
Original text by the credited authors · Edition files listed
Original English source version used by the Indonesian edition.
Reader and editable files are not yet hosted here.
Oscar Levin; original English source, not an AI translation.
Rights and source notices
The linked edition’s rights and component notices apply; this catalogue grants no additional rights.
Additional external locations
English source edition
Translations of this work
Linear Algebra — Jim Hefferon
Linear algebra textbook with answers and Sage laboratories.
Jim Hefferon. Translation and edition-specific contributions are credited in the linked sources.
Original-language editions
English
Original text by the credited authors · Reading edition listed
Author’s English textbook, answer book and supporting material.
Reader and editable files are not yet hosted here.
Jim Hefferon; original English work, not an AI translation.
Rights and source notices
The linked edition’s rights and component notices apply; this catalogue grants no additional rights.
Additional external locations
Read original English editionSource edition and notices
Translations of this work
Differential Geometry — Holger Brenner
Differential geometry lecture text, Osnabrück 2023.
Holger Brenner. Translation and edition-specific contributions are credited in the linked sources.
An original-language reader is not yet indexed here.
Translations of this work
Methods of Algebra, Volume 1
Graduate algebra text and separately identified study material.
Wen-Wei Li; other source and supplement contributors are identified in the edition. Translation and edition-specific contributions are credited in the linked sources.
An original-language reader is not yet indexed here.
Translations of this work
Methods of Algebra, Volume 2
Second volume of the graduate algebra text.
Wen-Wei Li. Translation and edition-specific contributions are credited in the linked sources.
An original-language reader is not yet indexed here.
Translations of this work
OpenStax Prealgebra 2e
Prealgebra textbook.
OpenStax and the book’s named authors. Translation and edition-specific contributions are credited in the linked sources.
Original-language editions
English
Original text by the credited authors · Edition files listed
Coverage is described in the linked edition; no complete-work claim is made here.
Reader and editable files are not yet hosted here.
OpenStax and the book’s named authors. Translation and edition-specific contributions are credited in the linked sources.
Rights and source notices
The linked edition’s rights and component notices apply; this catalogue grants no additional rights.
Additional external locations
Edition and files
Translations of this work
OpenStax Elementary Algebra 2e
Elementary algebra textbook.
OpenStax and the book’s named authors. Translation and edition-specific contributions are credited in the linked sources.
Original-language editions
English
Original text by the credited authors · Edition files listed
Coverage is described in the linked edition; no complete-work claim is made here.
Reader and editable files are not yet hosted here.
OpenStax and the book’s named authors. Translation and edition-specific contributions are credited in the linked sources.
Rights and source notices
The linked edition’s rights and component notices apply; this catalogue grants no additional rights.
Additional external locations
Edition and files
Translations of this work
OpenStax Intermediate Algebra 2e
Intermediate algebra textbook.
OpenStax and the book’s named authors. Translation and edition-specific contributions are credited in the linked sources.
Original-language editions
English
Original text by the credited authors · Edition files listed
Coverage is described in the linked edition; no complete-work claim is made here.
Reader and editable files are not yet hosted here.
OpenStax and the book’s named authors. Translation and edition-specific contributions are credited in the linked sources.
Rights and source notices
The linked edition’s rights and component notices apply; this catalogue grants no additional rights.
Additional external locations
Edition and files
Translations of this work
Functional Analysis and Operator Algebras
Functional analysis textbook with exercises and solutions.
John M. Erdman. Indonesian translation and edition production are AI-produced; inherited human authorship is retained.
An original-language reader is not yet indexed here.
Translations of this work
Yet Another Introductory Number Theory Textbook
Introductory number theory text.
Source authors and translation contributions are identified in the edition. Indonesian translation and edition production are AI-produced; inherited human authorship is retained.
An original-language reader is not yet indexed here.
Translations of this work
Advanced Optimization and Convex Analysis
Optimization and convex analysis text with separately identified supplementary material.
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.
An original-language reader is not yet indexed here.
Translations of this work
Topology: An Inquiry-Based Approach
Topology textbook and separate study companion.
Steven Schlicker. Indonesian translation and edition production are AI-produced; inherited human authorship is retained.
An original-language reader is not yet indexed here.
Translations of this work
Penn State STAT 415
Mathematical statistics course translation and reconstruction.
Penn State’s STAT 415 authors and contributors. Indonesian translation and edition production are AI-produced; inherited human authorship is retained.
An original-language reader is not yet indexed here.
Translations of this work
Mathematical Programming and Operations Research, Book 1
Operations research text with computational laboratories.
Original authors and contributors are credited in the linked edition. Indonesian translation and edition production are AI-produced; inherited human authorship is retained.
An original-language reader is not yet indexed here.
Translations of this work
Measure-Theoretic Probability and Stochastic Processes
Teaching material on probability, measure and stochastic processes.
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.
An original-language reader is not yet indexed here.
Translations of this work
Mathematical Modeling and Nonlinear Dynamics
Teaching material on mathematical modeling and nonlinear dynamics.
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.
An original-language reader is not yet indexed here.
Translations of this work
Algebraic Curves
An Indonesian edition of Algebraische Kurven.
Holger Brenner. Indonesian translation and edition production are AI-produced; inherited human authorship is retained.
An original-language reader is not yet indexed here.
Translations of this work
Abstract Algebra: Theory and Applications
Abstract algebra textbook.
Thomas W. Judson. Indonesian translation and edition production are AI-produced; inherited human authorship is retained.
An original-language reader is not yet indexed here.
Translations of this work
Introduction to Probability
Introductory probability textbook.
Charles M. Grinstead and J. Laurie Snell. Indonesian translation and edition production are AI-produced; inherited human authorship is retained.
An original-language reader is not yet indexed here.
Translations of this work
Algebraic Topology
Algebraic topology lectures with separately credited supplementary material.
David Michael Roberts; supplemental contributors retain their edition notices. Indonesian translation and edition production are AI-produced; inherited human authorship is retained.
An original-language reader is not yet indexed here.
Translations of this work
Applied Combinatorics
Combinatorics textbook, edition 2017.3.
Mitchel T. Keller and William T. Trotter. Indonesian translation and edition production are AI-produced; inherited human authorship is retained.
An original-language reader is not yet indexed here.
Translations of this work
OpenStax Precalculus 2e
Precalculus textbook.
OpenStax and the book’s named authors. Indonesian translation and edition production are AI-produced; inherited human authorship is retained.
An original-language reader is not yet indexed here.
Translations of this work
Basic Analysis, Differential Equations and Complex Analysis — Jiří Lebl
Three related textbook series: Basic Analysis, Notes on Diffy Qs and Cultivating Complex Analysis.
Jiří Lebl. Indonesian translation and edition production are AI-produced; inherited human authorship is retained.
An original-language reader is not yet indexed here.
Translations of this work
Mathematical Statistics
Teaching text derived from Random.
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.
An original-language reader is not yet indexed here.
Translations of this work
Measure Theory, Volumes 1–2
An Indonesian adaptation of the first two volumes.
D. H. Fremlin. Indonesian translation and edition production are AI-produced; inherited human authorship is retained.
An original-language reader is not yet indexed here.
Translations of this work
Data-Based Statistics
Teaching text derived from OpenIntro Statistics.
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.
An original-language reader is not yet indexed here.
Translations of this work
Euclidean Plane and Its Relatives
Foundations of Euclidean geometry.
Anton Petrunin. Indonesian translation and edition production are AI-produced; inherited human authorship is retained.
An original-language reader is not yet indexed here.
Translations of this work
CLP-4 Vector Calculus
Vector calculus textbook and exercise book.
The CLP authors and contributors. Indonesian translation and edition production are AI-produced; inherited human authorship is retained.
An original-language reader is not yet indexed here.
Translations of this work
Tea Time Numerical Analysis
Numerical analysis textbook, third edition.
Leon Q. Brin; upstream release v3.0. Indonesian translation and edition production are AI-produced; inherited human authorship is retained.
An original-language reader is not yet indexed here.
Translations of this work
CLP-1 Differential Calculus
Differential calculus textbook, problems and solutions.
The CLP authors and contributors. Indonesian translation and edition production are AI-produced; inherited human authorship is retained.
An original-language reader is not yet indexed here.
Translations of this work
Understanding Linear Algebra
Linear algebra textbook.
David Austin. Indonesian translation and edition production are AI-produced; inherited human authorship is retained.
An original-language reader is not yet indexed here.
Translations of this work
OpenStax Algebra and Trigonometry 2e
OpenStax textbook with a Simplified Chinese edition.
OpenStax and the book’s named authors; the Chinese translation is AI-produced.
An original-language reader is not yet indexed here.
Translations of this work
OpenStax Calculus, Volume 1
OpenStax textbook with a Simplified Chinese edition.
OpenStax and the book’s named authors; the Chinese translation is AI-produced.
An original-language reader is not yet indexed here.
Translations of this work