Logo
  • Terms of Use
  • By Year
    • 2025
    • 2024
    • 2023
    • 2022
    • 2021
    • 2020
    • 2019
    • 2018
    • 2017
  • By Software
    • Bertini
    • CaDiCaL
    • CInet::Base
    • CInet::ManySAT
    • DifferentialEquations.jl
    • GANAK
    • GAP
    • HomotopyContinuation.jl
    • Julia
    • Macaulay2
    • MAGMA
    • Maple
    • Mathematica
    • MATLAB
    • nbc_minisat_all
    • OSCAR
    • Parallel
    • Pari/GP
    • Perl
    • Polymake
    • Python
    • PyTorch
    • Rust
    • SageMath
    • SCIP
    • sharpSAT-TD
    • Singular
    • SoPlex
  • By Author
  • By Events
    • Macaulay2 bootcamp
      • Exercises
        • Macaulay2 general
        • Types and packages
        • Git and Github
      • Code transcripts
        • Session 1
        • Session 2
        • BestPackage
        • Session 4
    • Meet and greet with OSCAR
      • Groups in OSCAR
        • Rosa’s group
        • (Symmetric and) Permutation groups
        • Types and methods
      • Number Theory in OSCAR
        • Creating number fields
        • Invariants and elements
        • Automorphisms and Galois groups
      • Polytopes in OSCAR
        • Documentation
        • Note
        • Visualization note
        • Polytopes are the convex hull of finitely many points (V-representation). The minimal set of points = “vertices”
        • Polytopes are also the intersection of finitely many half-spaces (H-representation). Minimal set of halfspaces = “facets”
        • Note that we have more properties (fieldnames) on this list than before. Let’s check some of them out!
      • Rings and ideals in OSCAR
        • First let’s try things like with Taylor’s presentation: working directly with Singular
        • Using Oscar: So how is this implemented in Oscar?
        • Let’s take one such primary component
        • What else has been written for Oscar ideals?
    • Computation Day
      • Problem 1
        • Solution
      • Problem 2
        • Solution
      • Problem 3
        • Solution
      • Problem 4
        • Solution
      • Problem 5
        • Solution
      • Problem 6
      • Problem 7
        • Solution
      • Problem 8
        • Solution
      • Problem 9
        • Solution
      • Problem 10
      • Problem 11
        • Solution
      • Problem 12
        • Solution
      • Problem 13
        • Solution
      • Problem 14
      • Problem 15
      • Problem 16
        • Solution
      • Problem 17
        • Solution
      • Problem 18
        • Solution
      • Problem 19
        • Solution
      • Problem 20
        • Solution
      • Open Problems
        • Explicitly Stated Open Problems in Articles by Bernd Sturmfels
      • Comments
        • Comments by Michael Joswig:
  • A - Z
MATHREPO
  • Macaulay2

Macaulay2

  • An algorithm for the identifiability of rank-3 tensors

  • Combinatorics of Correlated Equilibria

  • Cox Homotopies

  • D-Algebraic Functions

  • Differential Equations for Gaussian Statistical Models with Rational Maximum Likelihood Estimator

  • Four-Dimensional Lie Algebras Revisited

  • The Gaussian Moduli

  • Hirota Varieties and Rational Nodal Curves

  • The Hessian Discriminant

  • Identifiability in Continuous Lyapunov Models

  • Invitation to Nonlinear Algebra

  • Landau Discriminants

  • Lines on p-adic and real cubic surfaces

  • Macaulay2 bootcamp

  • Marginal Independence Models

  • Making waves with Macaulay 2

  • Multiplicity structure of the arc space of a fat point

  • No eleventh conditional Ingleton inequality

  • Primary Decomposition with Differential Operators

  • Primary Ideals and Their Differential Equations

  • Self-dual matroids from canonical curves

  • Staged tree models with toric structure

  • Third-Order Moment Varieties of Linear Non-Gaussian Graphical Models

  • Toric Degenerations of Cubic Surfaces

  • Vector Spaces of Generalized Euler Integrals


© Copyright 2025, Max Planck Institute for Mathematics in the Sciences.

Built with Sphinx using a theme provided by Read the Docs.

Imprint / Privacy Policy