2 citations · 3 across the 6 of their papers we have counts for
11 papers
Trinomial containment in polynomial ideals is undecidable
Tobias Boege, Anna Hofer, Thomas Kahle
We prove that deciding whether an ideal in a polynomial ring contains a trinomial is impossible on a Turing machine. More precisely, from an integer polynomial we compute gener…
Recognition of algebraic matroids is undecidable
Tobias Boege, Geva Yashfe
We prove that the recognition problem for algebraic matroids is undecidable. Explicitly, this means that there is no algorithm that takes as input a finite set and a function $…
Sharp Inequalities for Products of Principal Minors of Positive Definite Matrices
Tobias Boege, Ludovick Bouthat
We study sharp inequalities for ratios of products of principal minors of real positive definite matrices. Our main result gives a closed-form solution to a family of nonconvex opt…
Algebraic Statistics in OSCAR
Tobias Boege, Antony Della Vecchia, Marina Garrote-López +1
We introduce the AlgebraicStatistics section of the OSCAR computer algebra system. We give an overview of its extensible design and highlight its features including serialization o…
Structural Identifiability of Graphical Continuous Lyapunov Models
Carlos Améndola, Tobias Boege, Benjamin Hollering +1
We prove two characterizations of model equivalence of acyclic graphical continuous Lyapunov models (GCLMs) with uncorrelated noise. The first result shows that two graphs are mode…
Polyhedral Aspects of Maxoids
Tobias Boege, Kamillo Ferry, Benjamin Hollering +1
The conditional independence (CI) relation of a distribution in a max-linear Bayesian network depends on its weight matrix through the -separation criterion. These CI~model…