All indexed works. Material type, authorship, edition type and language are separate fields.
Original course series
AI-created lesson series and teaching texts produced for this project. These are separate from the open-source textbooks and their translations. Each course retains its own source and rights notices.
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.
Editions, languages and files
English
AI-created course material · 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.
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.
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.
Openly licensed textbooks and courses written by their credited original authors, not by this project. Hosting, organization and added teaching tools are separate contributions. AI-translated editions appear under Translations.
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 work by the credited authors, not by this project. Translations and added teaching material are separate contributions.
Editions, languages and files
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.
Logic texts in multiple languages, with editions and formats listed separately. Coverage varies: some books are partial.
Reader and editable files are not yet hosted here.
Original authors: the Open Logic Project and its contributors. Translation editions distinguish inherited human writing from AI-translated additions and AI-produced corrections.
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 remain applicable.
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.
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.
Editions, languages and files
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.
Editions, languages and files
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.
Editions, languages and files
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.
Editions, languages and files
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.
Editions, languages and files
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.
Editions, languages and files
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.
Editions, languages and files
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.
Editions, languages and files
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.
Editions, languages and files
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.
Works by historical authors, with original-language transcriptions and translated editions identified separately. The catalogue is incomplete; a listing does not certify source fidelity.
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.
Astronomical canons and tables in the historical Arabic edition, with Nallino’s Latin translation and apparatus available separately.
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.
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.
Editions of algebra, geography and related surviving works, with each historical witness and editorial layer identified separately.
Muḥammad ibn Mūsā al-Khwārizmī. Historical editors and witnesses are credited in the individual editions. Digital transcription and typesetting are AI-produced.
Editions of algebra, geography and related surviving works, with each historical witness and editorial layer identified separately.
Reader and editable files are not yet hosted here.
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.
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 original works are public domain. The repository distinguishes protected modern editorial writing from the reproduced historical text.
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.
Editions, languages and files
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.
Editions, languages and files
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.
French source transcription; annotated editorial material is separately identified.
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.
AI-produced surveys and exploratory notes about educational access and translation methods. These are not established research results; producing models and limitations are identified with each text.
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.
Authorship and cited contributions are identified in the working paper.
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.
The study and its bibliography identify authorship, inherited language resources and AI-produced contributions.
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.
Reader and editable files are not yet hosted here.
The study and its bibliography identify authorship, inherited language resources and AI-produced contributions.
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.
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.
Editions, languages and files
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.