swMATH36845MaRDI QIDQ52547FDOQ52547
Author name not available (Why is that?)
Official website: https://www.oscar-system.org/
Source code repository: https://github.com/oscar-system/Oscar.jl
Cited In (46)
- Groebner.jl
- Landau.jl
- IntersectionNumbers.m
- ParameterEstimation.jl
- SaferIntegers.jl
- Formally verifying proofs for algebraic identities of matrices
- Logical Data Analysis for Egyptian Objects
- Computing free non-commutative Gröbner bases over \(\mathbb{Z}\) with \textsc{Singular:Letterplace}
- alcove
- Intersection bodies of polytopes
- ChevLie: constructing Lie algebras and Chevalley groups
- ChevLie
- CHEVIE
- JAS
- ApCoCoA
- 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
- Letterplace
- DecomposableSparseSystems
- Letterplace
- Ncpoly
- msolve
- gb
- RealBitangents
- Polymake.jl
- Brill-Noether-general limit root bundles: absence of vector-like exotics in F-theory standard models
- Towards tropically counting binodal surfaces
This page was built for software: OSCAR
