OSCAR
From MaRDI portal
Software:52547
No author found.
Source code repository: https://github.com/oscar-system/Oscar.jl
Related Items (8)
Intersection bodies of polytopes ⋮ Computing free non-commutative Gröbner bases over \(\mathbb{Z}\) with \textsc{Singular:Letterplace} ⋮ Brill-Noether-general limit root bundles: absence of vector-like exotics in F-theory standard models ⋮ Towards tropically counting binodal surfaces ⋮ Logical Data Analysis for Egyptian Objects ⋮ Formally verifying proofs for algebraic identities of matrices ⋮ ChevLie: constructing Lie algebras and Chevalley groups ⋮ Letterplace
This page was built for software: OSCAR
