|
|
Processed through Paypal No account required. |
Buy our over-priced crap to help pay the bills.
|
|
Processed through Paypal No account required. |
| Files | ||||
| File Name | Rating | Downloads | ||
 |
Isomorphism- Mathematics of Programming Book Isomorphism- Mathematics of Programming Book Open book about math and programming. This book introduces the mathematics behind computer programming. Contents The book can be downloaded in both English (EN) and Chinese (中文). Preface Chapter 1, Natural numbers. Peano Axiom, list and folding; Chapter 2, Recursion. Euclidean algorithm, Lambda calculus, and Y-combinator; Chapter 3, Symmetry. Group, Ring, and Field. Galois Theory; Chapter 4, Category theory and type system; Chapter 5, Deforest. Build-fold fusion law, optimization, and algorithm deduction; Chapter 6, Infinity. Set theory, Infinity and stream; Chapter 7, Logic paradox, Gφdel's incompleteness theorems, and Turing halting problem. Answers to the exercise. This download is for the English (EN) version. If you need the Chinese (中文) version, download here. Click here to visit the author's website. |
 |
3,453 | Oct 21, 2021 Liu Xinyu  |
 |
LyX v2.5.2 LyX v2.5.2 👉 A powerful document processor that combines an easy graphical interface with the professional typesetting capabilities of TeX/LaTeX. LyX is a free, open-source document processor designed around the idea of focusing on the structure and content of a document rather than manually formatting every element. It combines the power and flexibility of TeX/LaTeX with a familiar graphical interface, making professional typesetting much more accessible. LyX is especially well suited for academic papers, scientific documents, theses, books and other complex publications, while also working well for letters, reports, novels, presentations and scripts. A fully integrated equation editor makes creating mathematical content straightforward, while built-in support for bibliographies, indexes, cross-references, tables, figures and structured document layouts helps manage large and complicated projects. Documents can be produced in formats including PDF, PostScript, DVI, HTML and OpenDocument. Features: WYSIWYM (What You See Is What You Mean) document editing that emphasizes structure instead of manual formatting Combines a graphical document editor with the TeX/LaTeX typesetting system Integrated equation editor for creating complex mathematical and scientific formulas Designed for academic articles, theses, dissertations, books and scientific publications Also suitable for letters, reports, novels, presentations, plays and film scripts Built-in support for bibliographies and reference lists Automatic index creation and management Powerful cross-referencing for sections, figures, tables, equations and other document elements Handles structured documents without requiring users to manually manage page formatting Includes a broad collection of ready-made document layouts Supports tables, figures, footnotes and other common publishing elements Supports professional-quality mathematical typesetting through LaTeX Supports PDF, PostScript, DVI, HTML and OpenDocument output Supports external LaTeX packages for greatly expanding document capabilities Supports bibliography managers and other external publishing tools Supports spell-checking systems including Hunspell, GNU Aspell and Enchant Can use ImageMagick and Ghostscript for additional image and PostScript conversion capabilities Supports numerous external converters, reference managers ... |
|
2,094 | Sep 15, 2026 The LyX Project  |
| Showing rows 1 to 2 of 2 | Showing Page 1 of 1 | 1 |
OlderGeeks.com Copyright (c) 2026
