4ti2
mathematical tool suite for problems on linear spaces -- tools
Science
1
Additional information
- Category
- Science
- Homepage
- https://4ti2.github.io/
- Available via
- Debian, Ubuntu, Fedora, Arch Linux, Nixpkgs, openSUSE, Gentoo
- Catalog data as of
- 8/31/2026 (dataset snapshot date — per-app update dates aren't tracked yet)