boazbk / tcscodeLinks
Supplementary code for Introduction to Theoretical Computer Science book.
☆67Updated last year
Alternatives and similar repositories for tcscode
Users that are interested in tcscode are comparing it to the libraries listed below
Sorting:
- Public repository for Abstact Algebra Theory and Applications☆172Updated last month
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆74Updated last year
- Algebra Number Theory book☆48Updated 3 years ago
- Jupyter notebooks with some NAND code☆19Updated 6 years ago
- Elementary Number Theory: Primes, Congruences, and Secrets☆110Updated last year
- An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado☆260Updated last month
- A Literate Program about Data Structures and Object-Oriented Programming☆266Updated last year
- Notes on Diffy Qs, a textbook for differential equations☆70Updated last week
- P.D. Magnus' forallx logic textbook☆67Updated 4 months ago
- Applied Discrete Structures using PreTeXt☆45Updated this week
- An Infinite Descent into Pure Mathematics☆45Updated 4 years ago
- Open-source number theory textbook☆61Updated 11 months ago
- Sample Code for “Sequential and Parallel Algorithms and Data Structures -- The Basic Toolbox” Book☆25Updated 7 years ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 7 years ago
- Various notes and solutions on Math and Physics (and Mathematical Physics)☆76Updated last year
- A series of introductory instructional python notebooks, for computational number theory.☆15Updated 7 years ago
- "A First Course in Linear Algebra" open source textbook☆67Updated 3 weeks ago
- Rigorous computation of the endomorphism ring of a Jacobian☆11Updated this week
- Tim Button's open textbook on set theory☆39Updated last month
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆91Updated 8 months ago
- Basic Analysis, undergraduate real analysis textbook☆78Updated this week
- A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…☆83Updated last year
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆96Updated 4 years ago
- Programs for the third edition of the Algorithm Design Manual☆137Updated 3 years ago
- SymPy Documentation repository☆36Updated last week
- ☆42Updated 4 years ago
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 4 years ago
- Latex notes on papers, courses, ideas: Pure math and computer science.☆61Updated 2 years ago
- UCalgary version of forallx, an introduction to formal logic☆108Updated last month
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆275Updated 7 months ago