boazbk / nandnotebooks
Jupyter notebooks with some NAND code
☆19Updated 6 years ago
Alternatives and similar repositories for nandnotebooks:
Users that are interested in nandnotebooks are comparing it to the libraries listed below
- Lecture notes of the course Analysis On Manifolds☆21Updated 3 months ago
- ☆63Updated 10 years ago
- Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project☆13Updated last year
- A free open-source textbook for Multivariable Calculus that emphasizes differentials and linear algebra☆37Updated 14 years ago
- Multivariable calculus course materials☆55Updated 9 years ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆72Updated last year
- Supplementary code for Introduction to Theoretical Computer Science book.☆64Updated last year
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- Various notes and solutions on Math and Physics (and Mathematical Physics)☆71Updated last year
- working my way through Sussman and Wisdom's Functional Differential Geometry and implementing it in Python☆45Updated 10 years ago
- Errata for Algorithms for Optimization book☆70Updated 3 weeks ago
- A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…☆81Updated last year
- Basic probability manipulation routines for discrete variables☆29Updated 7 years ago
- Basic Analysis, undergraduate real analysis textbook☆75Updated 3 weeks ago
- Automatically exported from code.google.com/p/atlasofliegroups☆32Updated this week
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆29Updated last year
- A series of introductory instructional python notebooks, for computational number theory.☆15Updated 7 years ago
- This repository houses the code for the community website http://www.probabilistic-numerics.org☆35Updated 5 years ago
- Learning Algebraic Varieties from Samples☆24Updated last year
- Lecture Notes on General Relativity, based on lectures by Dr. Frederic P. Schuller in 2015☆72Updated 4 years ago
- Let's translate works of Grothendieck☆24Updated 5 years ago
- A web portal that offers more features and a better user interface for reading eprints☆24Updated 8 years ago
- Perfectoid spaces in the Lean formal theorem prover.☆120Updated 10 months ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆46Updated last week
- Autograd extension for forward mode autodiff☆30Updated 7 years ago
- Slides, Jupyter Notebooks and scripts for the Deep Learning: Do-It-Yourself! lectures at ENS☆21Updated 4 years ago
- Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)☆15Updated 2 years ago
- Sage source code for the computation of graphs and proofs from "Adventures in Graph Theory" by David Joyner and Caroline Grant Melles☆14Updated 7 years ago
- IMO Grand Challenge for Artificial Intelligence☆46Updated 3 years ago
- ☆33Updated 4 years ago