3 papers
cs.LO2023
Verified reductions for optimization
Alexander Bentkamp, Ramon Fernández Mir, Jeremy Avigad
Numerical and symbolic methods for optimization are used extensively in engineering, industry, and finance. Various methods are used to reduce problems of interest to ones that are…
math.LO2021
An Impossible Asylum
Jeremy Avigad, Seulkee Baek, Alexander Bentkamp +2
In 1982, Raymond Smullyan published an article, "The Asylum of Doctor Tarr and Professor Fether," that consists of a series of puzzles. These were later reprinted in the anthology,…
math.OC2021
Verified Optimization
Alexander Bentkamp, Jeremy Avigad
Optimization is used extensively in engineering, industry, and finance, and various methods are used to transform problems to the point where they are amenable to solution by numer…