Challenge problems in elementary calculus
暂无分享，去创建一个
A list of challenge problems for automatic provers is presented, based on the theorem in calculus that the sum of two continuous functions is itself continuous.
[1] W. W. Bledsoe,et al. Variable Elimination and Chaining in a Resolution-based Prover for Inequalities , 1980, CADE.
[2] Kenneth Kunen,et al. Completeness Results for Inequality Provers , 1985, Artif. Intell..
[3] Larry M. Hines. Completeness of a prover for dense linear orders , 1992, Journal of Automated Reasoning.