OSCAR

swMATH36845MaRDI QIDQ52547FDOQ52547

Author name not available (Why is that?)

Source code repository: https://github.com/oscar-system/Oscar.jl

Cited In (8)

• 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}
• Intersection bodies of polytopes
• ChevLie: constructing Lie algebras and Chevalley groups
• Letterplace
• 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