janverschelde / PHCpack
The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.
☆58Updated this week
Related projects: ⓘ
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆76Updated 4 months ago
- Learning Algebraic Varieties from Samples☆24Updated 8 months ago
- Python code for computation and experimentation with cut-generating functions, in particular the Gomory-Johnson infinite group problem. B…☆12Updated 2 months ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆42Updated 2 weeks ago
- Bertini 2.0: The redevelopment of Bertini in C++.☆90Updated 3 weeks ago
- Global optimization test set☆14Updated 8 years ago
- Automatically exported from code.google.com/p/atlasofliegroups☆31Updated this week
- Python code for the post "Computing Homology"☆29Updated last year
- LattE integrale, software for counting lattice points and integration over convex polytopes☆39Updated 11 months ago
- Latex source for geometric algebra and physics notes.☆33Updated 3 weeks ago
- Library for chordal matrix computations☆23Updated 6 years ago
- Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.☆65Updated 2 years ago
- A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.☆25Updated this week
- Sage source code for the computation of graphs and proofs from "Adventures in Graph Theory" by David Joyner and Caroline Grant Melles☆13Updated 6 years ago
- CHomP -- Computation Homology Project software☆45Updated 6 months ago
- 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…☆84Updated 2 weeks ago
- C++ library for semigroups and monoids☆44Updated this week
- A package for various computations with simplicial complexes, combinatorial codes, directed complexes and their filtrations.☆27Updated last year
- ☆42Updated 4 years ago
- ☆9Updated 7 years ago
- Probabilistic programming system for fast and exact symbolic inference☆76Updated 2 months ago
- A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…☆32Updated 6 months ago
- Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/☆12Updated 2 weeks ago
- Some notes on the relationship between the Legendre and Fourier transforms☆11Updated 3 years ago
- Persistent Homology Algorithm Toolbox (PHAT).☆35Updated 5 years ago
- Solve global polynomial optimization problems of either commutative variables or noncommutative operators through a semidefinite programm…☆50Updated 6 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆48Updated 10 months ago
- Source code for lecture notes☆135Updated last month
- MATLAB codes for matrix exponential times a vector.☆31Updated 4 years ago
- Reachability and Safety of Nondeterministic Dynamical Systems☆50Updated 3 years ago