2 citations · 2 across the 1 of their papers we have counts for
2 papers
cs.AI2023★ 2 cited
Algorithm-assisted discovery of an intrinsic order among mathematical constants
Rotem Elimelech, Ofir David, Carlos De la Cruz Mengual +6
In recent decades, a growing number of discoveries in fields of mathematics have been assisted by computer algorithms, primarily for exploring large parameter spaces that humans wo…
math.FA2014
Hlawka-Popoviciu inequalities on positive definite tensors
Wolfgang Berndt, Suvrit Sra
We prove inequalities on symmetric tensor sums of positive definite operators. In particular, we prove multivariable operator inequalities inspired by generalizations to the well-k…