jeffgerickson / 1dctLinks
One-dimensional computational topology
☆12Updated 6 months ago
Alternatives and similar repositories for 1dct
Users that are interested in 1dct are comparing it to the libraries listed below
Sorting:
- Notes on Diffy Qs, a textbook for differential equations☆76Updated last month
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆404Updated this week
- Tag-based webview of LaTeX documents☆31Updated last year
- SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the Snap…☆113Updated this week
- The main source code for Regina☆39Updated this week
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆63Updated 3 months ago
- Textbook on Gödel's incompleteness theorems and computability theory☆22Updated 6 months ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆49Updated this week
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆76Updated 2 years ago
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆63Updated 4 months ago
- The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.☆70Updated this week
- Library for Polynomial System Solving through Algebraic Methods☆168Updated 3 weeks ago
- Rigorous computation of the endomorphism ring of a Jacobian☆11Updated 5 months ago
- Successor to PolyBoRi☆22Updated 3 months ago
- Basic Analysis, undergraduate real analysis textbook☆86Updated this week
- Command line interface for quickly creating, authoring, and building PreTeXt documents.☆21Updated this week
- Source files for https://web.evanchen.cc☆62Updated last week
- Solutions to math olympiad problems in Isabelle/HOL☆11Updated 4 years ago
- A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…☆84Updated 2 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆62Updated 2 years ago
- IBEX is a C++ library for constraint processing over real numbers.☆85Updated 2 months ago
- LinBox - C++ library for exact, high-performance linear algebra☆97Updated 2 months ago
- sources for the Singular computer algebra system☆297Updated 3 weeks ago
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆20Updated 4 years ago
- The Open Problems Project☆40Updated 6 months ago
- A research platform and active library for generalised SAT solving☆33Updated 6 months ago
- ☆22Updated 2 years ago
- ☆37Updated last month
- A survey of known lower bounds in arithmetic circuits.☆33Updated 3 years ago
- Source for https://www.sagemath.org/library-publications.html; submit Issues/PRs here to add/update citations of documents citing Sage☆25Updated 3 months ago