boazbk / tcscode
Supplementary code for Introduction to Theoretical Computer Science book.
☆62Updated last year
Alternatives and similar repositories for tcscode:
Users that are interested in tcscode are comparing it to the libraries listed below
- An Infinite Descent into Pure Mathematics☆41Updated 4 years ago
- Jupyter notebooks with some NAND code☆19Updated 6 years ago
- Algebra Number Theory book☆47Updated 2 years ago
- Latex notes on papers, courses, ideas: Pure math and computer science.☆61Updated last year
- Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020☆69Updated last month
- "A First Course in Linear Algebra" open source textbook☆67Updated 3 months ago
- Applied Discrete Structures using PreTeXt☆42Updated 2 weeks ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆68Updated last year
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆27Updated 8 months 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 3 years ago
- Notes on Diffy Qs, a textbook for differential equations☆62Updated 2 weeks ago
- Sample Code for “Sequential and Parallel Algorithms and Data Structures -- The Basic Toolbox” Book☆24Updated 7 years ago
- An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado☆216Updated last week
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023☆28Updated last year
- Tracks the current state of APEX Calculus. For the stable version that matches the latest print version, visit the repo APEXCalculusV4.☆28Updated 8 months ago
- Source of metamath book☆46Updated last year
- Tim Button's open textbook on set theory☆31Updated last year
- Proof assistant for qRHL☆18Updated 3 months ago
- Elementary Number Theory: Primes, Congruences, and Secrets☆108Updated last year
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆32Updated last year
- Public repository for Abstact Algebra Theory and Applications☆163Updated 5 months ago
- Some examples of Lean projects, for undergraduate mathematicians.☆22Updated 3 years ago
- An overview of linear algebra fundamentals which focuses on providing an intuitive / geometric review of some of the main concepts.☆99Updated 5 years ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 6 years ago
- Lecture notes on the Foundations of Isogeny-based Cryptography☆28Updated 4 months ago
- Lecture notes on Distributed Computing that are publicly accessible.☆62Updated 3 years ago
- Mathematical notes and papers☆25Updated last week
- Rigorous computation of the endomorphism ring of a Jacobian☆10Updated 4 months ago
- Adding a table of contents to Specifying Systems, TLA+.pdf☆63Updated 7 years ago
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆95Updated 4 years ago