nvquanghuy / texpasteLinks
The pastebin for mathematicians
☆35Updated 11 years ago
Alternatives and similar repositories for texpaste
Users that are interested in texpaste are comparing it to the libraries listed below
Sorting:
- Coordinate-free hypersurfaces as Haskell types☆41Updated 2 months ago
- Convert/mirror darcs repos into git repos☆98Updated 7 months ago
- ☆23Updated 3 years ago
- Haskell bindings to SymEngine☆25Updated last year
- Notes on how to use the internal language of toposes in algebraic geometry☆58Updated last week
- Algebra Number Theory book☆48Updated 3 years ago
- An Experiment in Haskell Symbolic Algebra☆73Updated 13 years ago
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 8 years ago
- Symbolic logic expressions☆14Updated 4 years ago
- Interactive-diagrams☆39Updated 10 years ago
- Haskell interface to the pcg random number generator☆41Updated last year
- Some numerical optimization methods implemented in Haskell☆47Updated 5 years ago
- DeepAlgebra☆25Updated 7 years ago
- A Computer Algebra System written in and for Haskell☆26Updated 8 years ago
- Riemann Hypothesis book☆75Updated 7 years ago
- A Lean formal proof of the Combinatorial Nullstellensatz☆11Updated 2 years ago
- Lambda calculus with Church encoding in C☆31Updated 6 years ago
- Commutative diagrams with TikZ☆53Updated 2 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 6 years ago
- Tag-based webview of LaTeX documents☆30Updated last year
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- Hash-based Diffing for AST's☆76Updated 5 years ago
- Some benchmarks of SymPy☆15Updated 6 months ago
- tests☆10Updated 6 years ago
- Repo for the paper "SymPy: symbolic computing in python"☆47Updated 4 years ago
- ☆58Updated 11 years ago
- Deposited packages of the homalg project☆15Updated last month
- GNU APL port to Android☆16Updated 10 years ago
- Fungrim: the Mathematical Functions Grimoire☆123Updated 3 years ago
- Theorem proving in Lean☆49Updated 8 months ago