//-->
Non-Linear Real Arithmetic Benchmarks Derived from Automated Reasoning in Economics
Mulligan, Casey B., (2018)
Synopsis of biological data on the lumpsucker : Cyclopterus lumpus (Linnaeus, 1758)
Davenport, J., (1985)
Non-linear real arithmetic benchmarks derived from automated reasoning in economics