Translations of other authors’ textbooks, reference texts and historical works. Each edition credits the original work and distinguishes inherited human translations from AI-translated additions. Dictionaries and terminology appear with the edition they support.
Translations of project-created teaching texts
Translated editions of AI-created teaching texts. Their source texts and translations are distinct contributions.
Teaching text with computational laboratories, exercises and solutions.
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.
Translated editions
Bahasa Indonesia · Indonesian
Translated edition · Reading edition listed
Indonesian edition; see the linked reading and source files for its scope.
Reader and editable files are not yet hosted here.
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.
Production and documented checks
Producing model: not established in this catalogue’s evidence.
Production dates: not established in this catalogue’s evidence.
No source-fidelity or independent audit result is asserted by this catalogue. Compilation and file checks do not establish either.
Rights and source notices
The linked edition’s rights and component notices apply; this catalogue grants no additional rights.
Vietnamese edition: introductory lessons P01/P02 and lessons U01–U12.
Reader and editable files are not yet hosted here.
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.
Production and documented checks
Producing model: not established in this catalogue’s evidence.
Production dates: not established in this catalogue’s evidence.
No source-fidelity or independent audit result is asserted by this catalogue. Compilation and file checks do not establish either.
Rights and source notices
The linked edition’s rights and component notices apply; this catalogue grants no additional rights.
Interslavic translation in progress. The edition page states the currently released scope; source-unit counts are not independent linguistic certification.
Reader and editable files are not yet hosted here.
The Open Logic Project and its named contributors; independent AI-translated editions retain the inherited text’s authorship.
Production and documented checks
Producing model: not established in this catalogue’s evidence.
Production dates: not established in this catalogue’s evidence.
No source-fidelity or independent audit result is asserted by this catalogue. Compilation and file checks do not establish either.
Rights and source notices
Original text: CC BY 4.0. Edition and component notices apply.
Open Logic Interslavic terminology — supporting material
A terminology collection accompanying the evolving Open Logic Interslavic translation.
The Open Logic Project, cited language sources and the edition’s AI-produced terminology contributions remain separately credited.
Indonesian reading edition, chapters 1–13, with examples, exercises and Lean solutions. Editable authoring sources and the learner project are included in the source download.
Jeremy Avigad and Patrick Massot. AI-translated by OpenAI Codex gpt-5.6-sol. Independent, unofficial edition; no upstream endorsement is implied.
Edition date: 2026-08-22.
Production and documented checks
Producing model: OpenAI Codex gpt-5.6-sol.
Production dates: not established in this catalogue’s evidence.
No source-fidelity or independent audit result is asserted by this catalogue. Compilation and file checks do not establish either.
Rights and source notices
Book prose and Indonesian translation: CC BY 4.0. Lean code and configuration: Apache-2.0. Component licence notices and all inherited contributor credits accompany the edition.
Mathlib documentation translations — supporting material
Source-linked translation resources for Mathlib documentation. This is not a separately completed mathematical library.
Mathlib documentation contributors; translation contributions and terms are identified in the repository.
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.
Original work by the credited authors, not by this project. Translations and added teaching material are separate contributions.
Translated editions
English
Translated edition · 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.
Wen-Wei Li; other source and supplement contributors are identified in the edition. Translation and edition-specific contributions are credited in the linked sources.
Production and documented checks
Producing model: not established in this catalogue’s evidence.
Production dates: not established in this catalogue’s evidence.
No source-fidelity or independent audit result is asserted by this catalogue. Compilation and file checks do not establish either.
Rights and source notices
The linked edition’s rights and component notices apply; this catalogue grants no additional rights.
Indonesian edition; see the linked reading and source files for its scope.
Reader and editable files are not yet hosted here.
Wen-Wei Li; other source and supplement contributors are identified in the edition. Translation and edition-specific contributions are credited in the linked sources.
Production and documented checks
Producing model: not established in this catalogue’s evidence.
Production dates: not established in this catalogue’s evidence.
No source-fidelity or independent audit result is asserted by this catalogue. Compilation and file checks do not establish either.
Rights and source notices
The linked edition’s rights and component notices apply; this catalogue grants no additional rights.
Source authors and translation contributions are identified in the edition. Indonesian translation and edition production are AI-produced; inherited human authorship is retained.
Original work by the credited authors, not by this project. Translations and added teaching material are separate contributions.
Translated editions
Bahasa Indonesia · Indonesian
Translated edition · 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.
Source authors and translation contributions are identified in the edition. Indonesian translation and edition production are AI-produced; inherited human authorship is retained.
Production and documented checks
Producing model: not established in this catalogue’s evidence.
Production dates: not established in this catalogue’s evidence.
No source-fidelity or independent audit result is asserted by this catalogue. Compilation and file checks do not establish either.
Rights and source notices
The linked edition’s rights and component notices apply; this catalogue grants no additional rights.
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.
Original work by the credited authors, not by this project. Translations and added teaching material are separate contributions.
Translated editions
Bahasa Indonesia · Indonesian
Translated edition · 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.
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.
Production and documented checks
Producing model: not established in this catalogue’s evidence.
Production dates: not established in this catalogue’s evidence.
No source-fidelity or independent audit result is asserted by this catalogue. Compilation and file checks do not establish either.
Rights and source notices
The linked edition’s rights and component notices apply; this catalogue grants no additional rights.
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.
Original work by the credited authors, not by this project. Translations and added teaching material are separate contributions.
Translated editions
Bahasa Indonesia · Indonesian
Translated edition · Reading edition listed
Coverage is described in the linked edition; no complete-work claim is made here.
Reader and editable files are not yet hosted here.
Original authors and contributors are credited in the linked edition. Indonesian translation and edition production are AI-produced; inherited human authorship is retained.
Production and documented checks
Producing model: not established in this catalogue’s evidence.
Production dates: not established in this catalogue’s evidence.
No source-fidelity or independent audit result is asserted by this catalogue. Compilation and file checks do not establish either.
Rights and source notices
The linked edition’s rights and component notices apply; this catalogue grants no additional rights.
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.
Original work by the credited authors, not by this project. Translations and added teaching material are separate contributions.
Translated editions
Bahasa Indonesia · Indonesian
Translated edition · Reading edition listed
Coverage is described in the linked edition; no complete-work claim is made here.
Reader and editable files are not yet hosted here.
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.
Production and documented checks
Producing model: not established in this catalogue’s evidence.
Production dates: not established in this catalogue’s evidence.
No source-fidelity or independent audit result is asserted by this catalogue. Compilation and file checks do not establish either.
Rights and source notices
The linked edition’s rights and component notices apply; this catalogue grants no additional rights.
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.
Original work by the credited authors, not by this project. Translations and added teaching material are separate contributions.
Translated editions
Bahasa Indonesia · Indonesian
Translated edition · 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.
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.
Production and documented checks
Producing model: not established in this catalogue’s evidence.
Production dates: not established in this catalogue’s evidence.
No source-fidelity or independent audit result is asserted by this catalogue. Compilation and file checks do not establish either.
Rights and source notices
The linked edition’s rights and component notices apply; this catalogue grants no additional rights.
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.
Original work by the credited authors, not by this project. Translations and added teaching material are separate contributions.
Translated editions
Bahasa Indonesia · Indonesian
Translated edition · Reading edition listed
Coverage is described in the linked edition; no complete-work claim is made here.
Reader and editable files are not yet hosted here.
David Michael Roberts; supplemental contributors retain their edition notices. Indonesian translation and edition production are AI-produced; inherited human authorship is retained.
Production and documented checks
Producing model: not established in this catalogue’s evidence.
Production dates: not established in this catalogue’s evidence.
No source-fidelity or independent audit result is asserted by this catalogue. Compilation and file checks do not establish either.
Rights and source notices
The linked edition’s rights and component notices apply; this catalogue grants no additional rights.
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.
Original work by the credited authors, not by this project. Translations and added teaching material are separate contributions.
Translated editions
Bahasa Indonesia · Indonesian
Translated edition · Reading edition listed
Coverage is described in the linked edition; no complete-work claim is made here.
Reader and editable files are not yet hosted here.
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.
Production and documented checks
Producing model: not established in this catalogue’s evidence.
Production dates: not established in this catalogue’s evidence.
No source-fidelity or independent audit result is asserted by this catalogue. Compilation and file checks do not establish either.
Rights and source notices
The linked edition’s rights and component notices apply; this catalogue grants no additional rights.
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.
Original work by the credited authors, not by this project. Translations and added teaching material are separate contributions.
Translated editions
Bahasa Indonesia · Indonesian
Translated edition · 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.
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.
Production and documented checks
Producing model: not established in this catalogue’s evidence.
Production dates: not established in this catalogue’s evidence.
No source-fidelity or independent audit result is asserted by this catalogue. Compilation and file checks do not establish either.
Rights and source notices
The linked edition’s rights and component notices apply; this catalogue grants no additional rights.
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.
Translated editions
Latin
Translated edition · Reading edition listed
Nallino’s historical Latin translation and apparatus.
Reader and editable files are not yet hosted here.
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.
Production and documented checks
Producing model: not established in this catalogue’s evidence.
Production dates: not established in this catalogue’s evidence.
No source-fidelity or independent audit result is asserted by this catalogue. Compilation and file checks do not establish either.
Rights and source notices
The Nallino source edition is public domain. Other works in the repository, including modern commentary editions, have separate terms.
Mathematical papers and collected works, with original-language material and translations. Diplomatic and corrected editions remain distinct within each language.
Historical author: Emmy Noether. The English translation and modern editorial material are AI-produced; this catalogue does not claim independent scholarly review.
Translated editions
English
Translated edition · Reading edition listed
A linked English reading edition of Noether’s mathematical papers, with editable sources and other language editions in the collection.
Reader and editable files are not yet hosted here.
Historical author: Emmy Noether. The English translation and modern editorial material are AI-produced; this catalogue does not claim independent scholarly review.
Production and documented checks
Producing model: not established in this catalogue’s evidence.
Production dates: not established in this catalogue’s evidence.
No source-fidelity or independent audit result is asserted by this catalogue. Compilation and file checks do not establish either.
Rights and source notices
Historical sources and modern contributions have distinct notices; no collection-wide licence is assigned here.
Language edition with separately identified source text and editorial corrections.
Reader and editable files are not yet hosted here.
Emmy Noether; the collection also identifies M. Deuring and Kapferer where their work is included. Translations and modern corrections are AI-produced.
Production and documented checks
Producing model: not established in this catalogue’s evidence.
Production dates: not established in this catalogue’s evidence.
No source-fidelity or independent audit result is asserted by this catalogue. Compilation and file checks do not establish either.
Rights and source notices
Historical sources and modern contributions have distinct notices; no collection-wide licence is assigned here.
Language edition with separately identified source text and editorial corrections.
Reader and editable files are not yet hosted here.
Emmy Noether; the collection also identifies M. Deuring and Kapferer where their work is included. Translations and modern corrections are AI-produced.
Production and documented checks
Producing model: not established in this catalogue’s evidence.
Production dates: not established in this catalogue’s evidence.
No source-fidelity or independent audit result is asserted by this catalogue. Compilation and file checks do not establish either.
Rights and source notices
Historical sources and modern contributions have distinct notices; no collection-wide licence is assigned here.
Language edition with separately identified source text and editorial corrections.
Reader and editable files are not yet hosted here.
Emmy Noether; the collection also identifies M. Deuring and Kapferer where their work is included. Translations and modern corrections are AI-produced.
Production and documented checks
Producing model: not established in this catalogue’s evidence.
Production dates: not established in this catalogue’s evidence.
No source-fidelity or independent audit result is asserted by this catalogue. Compilation and file checks do not establish either.
Rights and source notices
Historical sources and modern contributions have distinct notices; no collection-wide licence is assigned here.
Language edition with separately identified source text and editorial corrections.
Reader and editable files are not yet hosted here.
Emmy Noether; the collection also identifies M. Deuring and Kapferer where their work is included. Translations and modern corrections are AI-produced.
Production and documented checks
Producing model: not established in this catalogue’s evidence.
Production dates: not established in this catalogue’s evidence.
No source-fidelity or independent audit result is asserted by this catalogue. Compilation and file checks do not establish either.
Rights and source notices
Historical sources and modern contributions have distinct notices; no collection-wide licence is assigned here.
Language edition with separately identified source text and editorial corrections.
Reader and editable files are not yet hosted here.
Emmy Noether; the collection also identifies M. Deuring and Kapferer where their work is included. Translations and modern corrections are AI-produced.
Production and documented checks
Producing model: not established in this catalogue’s evidence.
Production dates: not established in this catalogue’s evidence.
No source-fidelity or independent audit result is asserted by this catalogue. Compilation and file checks do not establish either.
Rights and source notices
Historical sources and modern contributions have distinct notices; no collection-wide licence is assigned here.
Language edition with separately identified source text and editorial corrections.
Reader and editable files are not yet hosted here.
Emmy Noether; the collection also identifies M. Deuring and Kapferer where their work is included. Translations and modern corrections are AI-produced.
Production and documented checks
Producing model: not established in this catalogue’s evidence.
Production dates: not established in this catalogue’s evidence.
No source-fidelity or independent audit result is asserted by this catalogue. Compilation and file checks do not establish either.
Rights and source notices
Historical sources and modern contributions have distinct notices; no collection-wide licence is assigned here.
Language edition with separately identified source text and editorial corrections.
Reader and editable files are not yet hosted here.
Emmy Noether; the collection also identifies M. Deuring and Kapferer where their work is included. Translations and modern corrections are AI-produced.
Production and documented checks
Producing model: not established in this catalogue’s evidence.
Production dates: not established in this catalogue’s evidence.
No source-fidelity or independent audit result is asserted by this catalogue. Compilation and file checks do not establish either.
Rights and source notices
Historical sources and modern contributions have distinct notices; no collection-wide licence is assigned here.
Interslavic mathematical dictionary — supporting material
Mathematical terminology accompanying the Interslavic Noether editions, with Latin and Cyrillic forms.
Inherited language sources and AI-produced terminology work are credited in the dictionary; no official standardization or native-speaker certification is implied.
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.
Translated editions
English
Translated edition · Reading edition listed
An English reading edition of the 1897 collected works, with a separately identified annotated edition in the source collection.
Reader and editable files are not yet hosted here.
Évariste Galois; historical introduction by Émile Picard. English translation and modern annotations are AI-produced and are distinct from the inherited human text.
Production and documented checks
Producing model: not established in this catalogue’s evidence.
Production dates: not established in this catalogue’s evidence.
No source-fidelity or independent audit result is asserted by this catalogue. Compilation and file checks do not establish either.
Rights and source notices
A mixed-rights collection. Consult the edition’s per-file rights notice before reuse.
Original-language editions of Volumes I–VIII and English and German translations, with reader PDFs and editable LaTeX. The collection remains unfinished; the editions state their coverage.
Historical author: Carl Friedrich Gauss. Historical editors and contributors retain their named credits. Modern transcription, translation and typesetting are AI-produced.
1100 pages. Complete Volume I; Volume II texts through its historical contents and imprint, retaining the selection designation; Volume III title matter, complete 1799 dissertation (Articles 1–24, ten notes and four editable figures), and complete second proof of 1815 (Articles 1–20 and both notes). Later works and other volumes remain outside this partial collection.
Carl Friedrich Gauss and the named historical contributors. AI-translated using OpenAI GPT-6.1 Sol, with AI-produced typesetting. Human terminology references retain their credits in the guide.
Edition date: 24 October 2026.
Production and documented checks
Producing model: OpenAI GPT-6.1 Sol.
Production dates: not established in this catalogue’s evidence.
The source guide states the exact coverage and the roles of named human terminology references. No human or independent review is claimed.
Rights and source notices
The historical Gauss texts and reproduced historical portraits are public domain. Original editions, named contributors and modern AI work are identified in the accompanying source guides.
1133 pages. Complete Volume I; Volume II texts through its historical contents and imprint, retaining the selection designation; Volume III title matter, complete 1799 dissertation (Articles 1–24, ten notes and four editable figures), and complete second proof of 1815 (Articles 1–20 and both notes). Later works and other volumes remain outside this partial collection.
Carl Friedrich Gauss and the named historical contributors. AI-translated using OpenAI GPT-6.1 Sol, with AI-produced typesetting. Human terminology references retain their credits in the guide.
Edition date: 24 October 2026.
Production and documented checks
Producing model: OpenAI GPT-6.1 Sol.
Production dates: not established in this catalogue’s evidence.
The source guide states the exact coverage and the roles of named human terminology references. No human or independent review is claimed.
Rights and source notices
The historical Gauss texts and reproduced historical portraits are public domain. Original editions, named contributors and modern AI work are identified in the accompanying source guides.
Unofficial translations of the original Stacks Project reference text. Additional formalizations and independent extensions are excluded. This work is distinct from Grothendieck’s Pursuing Stacks.
The Stacks Project authors and contributors; unofficial translations are AI-produced.
Translated editions
Français · French
Translated edition · 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.
The Stacks Project authors and contributors; unofficial translations are AI-produced.
Production and documented checks
Producing model: not established in this catalogue’s evidence.
Production dates: not established in this catalogue’s evidence.
No source-fidelity or independent audit result is asserted by this catalogue. Compilation and file checks do not establish either.
Rights and source notices
The linked edition’s rights and component notices apply; this catalogue grants no additional rights.