dFoiler / notesLinks
☆12Updated 2 weeks ago
Alternatives and similar repositories for notes
Users that are interested in notes are comparing it to the libraries listed below
Sorting:
- amateur translation project of Grothendieck's EGA.☆377Updated 3 months ago
- Computational algebraic number theory☆287Updated last week
- LaTeX code for some of my lecture notes☆381Updated 3 years ago
- Olympiad problem database☆54Updated 3 weeks ago
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆406Updated last week
- Master Thesis☆211Updated 4 years ago
- A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.☆460Updated last week
- Lecture notes from Cambridge maths☆72Updated 2 years ago
- Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for t…☆393Updated last month
- My bespoke, multipurpose class; designed for general use in LaTeX documents.☆250Updated 3 years ago
- Julia bindings for the FLINT number theory C library☆214Updated this week
- A Julia package for solving systems of polynomials via homotopy continuation.☆209Updated last week
- Scientific computing in Lean 4☆458Updated 7 months ago
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆192Updated this week
- Lecture Notes on General Relativity, based on lectures by Dr. Frederic P. Schuller in 2015☆11Updated 9 years ago
- Convert julia objects to LaTeX equations, arrays or other environments.☆590Updated 5 months ago
- General purpose mathematical software system, compatible fork of https://github.com/sagemath/sage supporting modularized installation wit…☆57Updated this week
- Instant Pdf Referencing☆70Updated 3 years ago
- 💧 Liquid Tensor Experiment☆220Updated 2 years ago
- Library for validated numerics using interval arithmetic☆321Updated 3 weeks ago
- CoDi: Commutative Diagrams for TeX☆31Updated 6 months ago
- A framework for applied category theory in the Julia language☆690Updated last week
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆247Updated 10 months ago
- Tufte-style beamer template with Julia integration☆140Updated 2 years ago
- All the math/tex files for the Automorphic Project☆19Updated last year
- A project to digitalise results from physics into Lean.☆466Updated this week
- A latex package for displaying Julia code using the listings package. The package supports pdftex, luatex and xetex for compilation.☆244Updated 2 years ago
- LaTeX package for typesetting pseudocode.☆52Updated 9 months ago
- Tag-based webview of LaTeX documents☆32Updated 2 years ago
- Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)☆17Updated 3 years ago