The following pages link to OSCAR (Q52547):
Displaying 6 items.
- ChevLie: constructing Lie algebras and Chevalley groups (Q2040892) (← links)
- Intersection bodies of polytopes (Q2143391) (← links)
- Formally verifying proofs for algebraic identities of matrices (Q2219403) (← links)
- Computing free non-commutative Gröbner bases over \(\mathbb{Z}\) with \textsc{Singular:Letterplace} (Q2674006) (← links)
- Brill-Noether-general limit root bundles: absence of vector-like exotics in F-theory standard models (Q2686319) (← links)
- Towards tropically counting binodal surfaces (Q2691626) (← links)
