planetmath / fem2016
2016 Edition of the Free Encyclopedia of Mathematics (top-level repo)
☆16Updated 8 years ago
Related projects: ⓘ
- A Symbolic Code Algebra+Calculus system for VS Code☆29Updated 2 years ago
- Tasty Bits of Several Complex Variables, graduate textbook☆14Updated last month
- ☆10Updated this week
- Tea Time Numerical Analysis☆26Updated 2 years ago
- Using parsec☆9Updated 4 years ago
- Javascript interpreters featuring web workers☆38Updated 7 years ago
- Type signature parser for typify☆9Updated 4 years ago
- Lean ported to Javascript with Emscripten☆26Updated 7 years ago
- formalization of theorems of higher algebraic K-theory☆8Updated 10 years ago
- knot theory and computational algebra software☆33Updated 10 years ago
- Awesome Geometric Algebra☆23Updated 4 years ago
- High performance implementation of Immutable Sequence in JavaScript, based on Finger Tree.☆16Updated 9 years ago
- Source code for some notes for the mathematical tripos.☆21Updated 5 years ago
- ☆14Updated 2 months ago
- Homebrew tap for GAP☆14Updated 3 months ago
- ☆32Updated 6 years ago
- Julia interface to GAlgebra via PyCall☆14Updated this week
- A place to put our 2018 Xena project UROP thoughts and programs.☆23Updated 4 years ago
- Julia wrapper for The Z3 Theorem Prover (SMT Solver)☆24Updated 7 years ago
- Source code for the example presented in my article for Code Words Issue Six.☆12Updated 8 years ago
- Tips on how to avoid making common errors in LaTeX.☆17Updated 8 years ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆27Updated 4 months ago
- Functional hybrid modelling (FHM) language for modelling and simulation of physical systems using implicitly formulated (undirected) Diff…☆30Updated 12 years ago
- Modifications of Niles Johnson's Hopf Fibration drawing code☆32Updated 9 years ago
- A Python implementation of a polynomial library and Buchberger's Algorithm☆22Updated 4 years ago
- Profilers for Julia☆18Updated 2 years ago
- Javascript Interpreter in Functional-Style Javascript☆19Updated 6 years ago
- View and tail files of any size in the Atom editor. Great for logs.☆11Updated 9 years ago
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆32Updated 11 months ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆44Updated 6 years ago