Welcome to OSCAR
General
Groups
Rings
- Introduction
- Ring functionality
- Integers
- Univariate Polynomials
  - Univariate polynomial functionality
- Multivariate Polynomials
  - Sparse distributed multivariate polynomials
- Series Rings
Fields
Linear Algebra
Number Theory
- Introduction
- Number Fields
- Orders
- Elliptic Curves
- Abelian closure of the rationals
- Galois Theory
Polyhedral Geometry
Commutative Algebra
- Introduction
- Creating Multivariate Rings
- Ideals in Multivariate Rings
- Affine Algebras and Their Ideals
- Localized Rings and Their Ideals
- Modules
- Homological Algebra
- Gröbner/Standard Bases
- Miscellaneous
  - Binomial Primary Decomposition
- Frameworks for Developers
  - A Framework for Localizing Rings
  - Localizations of modules over computable rings
Invariant Theory
Algebraic Geometry
Tropical Geometry
Noncommutative Algebra
Lie Theory
Combinatorics
- Graphs
- Matroids
- Simplicial Complexes
- Phylogenetic Trees
- Enumerative combinatorics
Straight Line Programs
References
Index
Developer Documentation
Experimental
- Adding new projects to experimental
- Algebraic Statistics
- Double complexes
  - Double complexes – the user's interface
  - Advice for the programmer
- Gröbner walk
  - Usage
  - Special ideals used for benchmarking
- Linear Quotients
- Matroid Realization Spaces
  - Matroid Realization Spaces
- Orthogonal discriminants
- Quadratic forms and isometries
- Standard Finite Fields
  - -
- Lie Algebras
- Bases for highest weight modules
  - Introduction
  - Functions for a monomial basis of highest weight modules
- Algebraic Shifting
- Partitioned Permutations
  - Partitioned Permutations
- F-Theory Tools
- Intersection Theory

Version

Experimental
Intersection Theory
Bott Formulas

Bott Formulas

GitHub 

Bott Formulas

« Schubert Calculus Illustrating Examples From Enumerative Geometry »

Powered by Documenter.jl and the Julia Programming Language.

Settings

Theme

This document was generated with Documenter.jl version 1.8.0 on Monday 20 January 2025. Using Julia version 1.10.7.