jakobmoosbauer / flips
☆11Updated last year
Alternatives and similar repositories for flips:
Users that are interested in flips are comparing it to the libraries listed below
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆11Updated last year
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- Python implementation of the monster group☆42Updated last week
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- ☆30Updated 2 weeks ago
- Basic Polynomial Algebra Subprograms☆15Updated 3 years ago
- Sorting with Singeli☆11Updated 3 months ago
- FreeTikZ☆38Updated 7 years ago
- LinBox - C++ library for exact, high-performance linear algebra☆85Updated last month
- TikZ/PGF package for drawing tilings, such as penrose and polykite tilings☆16Updated last year
- A computer algebra system for research in combinatorial game theory☆38Updated last year
- GAP package guava - computations relative to error-correcting codes☆15Updated last week
- J Language Source Code. Livestream links ⬇️☆38Updated 2 years ago
- Library for Polynomial System Solving through Algebraic Methods☆121Updated this week
- reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…☆38Updated this week
- ☆30Updated 7 years ago
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆57Updated last month
- ☆21Updated 2 years ago
- Metamath program - source code for the Metamath executable☆83Updated 7 months ago
- Lean 4 Metamath verifier☆17Updated last year
- A program for drawing knots and links, with support for importing images☆29Updated last year
- Metamath verifier in Python☆38Updated 11 months ago
- This repository contains the Core and Extended source files of the Standard Library of the SaC programming language☆14Updated 2 weeks ago
- multilingual dictionary of mathematical terminology☆19Updated 4 months ago
- metamath proof enumerators and other things☆93Updated 7 months ago
- A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…☆37Updated last year
- Exponent pair database☆42Updated this week
- Classification of combinatorial objects☆16Updated last week
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆58Updated 2 weeks ago
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆30Updated 2 months ago