dFoiler / notesLinks
☆11Updated 3 months ago
Alternatives and similar repositories for notes
Users that are interested in notes are comparing it to the libraries listed below
Sorting:
- Computational algebraic number theory☆267Updated this week
- amateur translation project of Grothendieck's EGA.☆354Updated 10 months ago
- Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for t…☆377Updated last week
- A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.☆426Updated this week
- Lecture notes from Cambridge maths☆70Updated last year
- A latex package for displaying Julia code using the listings package. The package supports pdftex, luatex and xetex for compilation.☆242Updated 2 years ago
- Lecture Notes on General Relativity, based on lectures by Dr. Frederic P. Schuller in 2015☆10Updated 9 years ago
- Olympiad problem database☆52Updated last week
- A Julia package for solving systems of polynomials via homotopy continuation.☆197Updated last month
- Draft proposal for additional sub/superscript characters in Unicode☆226Updated 4 years ago
- Notes and course material for MATH50003 Numerical Analysis (2024–25)☆25Updated 3 months ago
- A project to digitalise results from physics into Lean.☆308Updated this week
- Master Thesis☆203Updated 3 years ago
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆184Updated this week
- Scientific computing in Lean 4☆423Updated 2 months ago
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆91Updated 9 months ago
- Julia bindings for the FLINT number theory C library☆204Updated this week
- Source code for the nLab☆180Updated 4 months ago
- Library for validated numerics using interval arithmetic☆316Updated 2 weeks ago
- Manifolds.jl provides a library of manifolds aiming for an easy-to-use and fast implementation.☆403Updated this week
- Symbolic expressions, rewriting and simplification☆554Updated this week
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆379Updated 2 weeks ago
- A framework for applied category theory in the Julia language☆667Updated last week
- Convert julia objects to LaTeX equations, arrays or other environments.☆581Updated 2 months ago
- Julia functional programming infrastructures and metaprogramming facilities☆415Updated last year
- (yet another) static site generator. Simple, customisable, fast, maths with KaTeX, code evaluation, optional pre-rendering, in Julia.☆1,016Updated 2 months ago
- Symbolic parser for Julia language term rewriting using REDUCE algebra☆246Updated 10 months ago
- Multi-threaded BLAS-like library that provides pure Julia matrix multiplication☆243Updated 2 months ago
- ⅀☆647Updated last month
- Tufte-style beamer template with Julia integration☆136Updated last year