Cited in
(47)- Groebner.jl
- Landau.jl
- IntersectionNumbers.m
- ParameterEstimation.jl
- SaferIntegers.jl
- Intersection bodies of polytopes
- ChevLie: constructing Lie algebras and Chevalley groups
- Logical Data Analysis for Egyptian Objects
- Brill-Noether-general limit root bundles: absence of vector-like exotics in F-theory standard models
- alcove
- ChevLie
- polymake
- CHEVIE
- JAS
- ApCoCoA
- Computing free non-commutative Gröbner bases over \(\mathbb{Z}\) with \textsc{Singular:Letterplace}
- GBNP
- BPAS
- AutPGrp
- CTblLib
- Mesquite
- OscaR
- resolve.lib
- tropical.lib
- SDeval
- NCGB
- Hecke
- Nemo
- Library of Triangulations
- ellipticcovers.lib
- HomotopyContinuation
- olga.lib
- polyDB
- Ferret
- openf4
- SmallGrp
- F5C
- DecomposableSparseSystems
- Letterplace
- Ncpoly
- msolve
- gb
- RealBitangents
- Formally verifying proofs for algebraic identities of matrices
- Letterplace
- Polymake.jl
- Towards tropically counting binodal surfaces
This page was built for software: OSCAR