kedlaya / tetrahedraLinks
☆35Updated 3 years ago
Alternatives and similar repositories for tetrahedra
Users that are interested in tetrahedra are comparing it to the libraries listed below
Sorting:
- Lean4中文教程☆34Updated 4 months ago
- Mathematical notes and papers☆26Updated 3 weeks ago
- The main source code for Regina☆38Updated this week
- Automatic Differentiation for Tensor Algebras☆28Updated 7 years ago
- ☆12Updated 3 years ago
- A port of TeX82 to Rust. (WIP)☆34Updated 3 years ago
- A parser for Wolfram Mathematica's Graphics3D functions (written in JS)☆29Updated this week
- Constructive Interpretations of HoTT☆36Updated 4 years ago
- ∂B nets: learning discrete, boolean-valued functions by gradient descent☆21Updated last year
- Python bindings for egg☆49Updated 2 years ago
- Alternative Mizar proof checker (http://mizar.org/) written in Rust☆53Updated 10 months ago
- TaichiCon: Taichi Conferences☆73Updated 3 years ago
- A Rule-Based Integrator Built On An If-Then-Else Decision Tree☆36Updated 4 years ago
- Macaulay2 web app with support for KaTeX and HTML output☆18Updated this week
- The root repository for the SpectralSequences project.☆30Updated 2 months ago
- 首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, L…☆19Updated 6 years ago
- Symbolic Geometric Algebra with E-Graphs☆19Updated last year
- Python3 auto-active verification library (migrated to an Intel project)☆25Updated 3 years ago
- outline and links for PLDI 2022 tutorial☆17Updated 2 years ago
- Optimal approximate sampling from discrete probability distributions☆17Updated 4 years ago
- Ipython notebook that explains diagonalization of ciculant / Toeplitz matrices☆15Updated 8 years ago
- Translation of professor Joseph Polchinski's article 'Memories of a Theoretical Physicist'☆23Updated 7 years ago
- The Open Problems Project☆35Updated 2 weeks ago
- Compiling finite generators to digital logic. WIP☆14Updated 4 years ago
- Core Interpreter of maTHmU CAS☆36Updated 4 years ago
- A compiler for higher rank ML with type classes☆13Updated 4 years ago
- rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/☆12Updated last year
- Wolfram Function Repository Issue Tracer☆12Updated 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
- code related to Keller's conjecture☆78Updated 2 years ago