3 papers
cs.SC2019
On Fast Matrix Inversion via Fast Matrix Multiplication
Zak Tonks
Volker Strassen first suggested an algorithm to multiply matrices with worst case running time less than the conventional operations in 1969. He also presented a…
cs.SC2018
Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics
C. Mulligan, R. Bradford, J. H. Davenport +2
We consider problems originating in economics that may be solved automatically using mathematical software. We present and make freely available a new benchmark set of such problem…
cs.SC2018
Quantifier Elimination for Reasoning in Economics
Casey B. Mulligan, Russell Bradford, James H. Davenport +2
We consider the use of Quantifier Elimination (QE) technology for automated reasoning in economics. QE dates back to Tarski's work in the 1940s with software to perform it dating t…