Skip to main content
Log in

Challenge problems in elementary calculus

  • Problem Corner
  • Published:
Journal of Automated Reasoning Aims and scope Submit manuscript

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Bledsoe, W. W. and Hines, L., ‘Variable elimination and chaining in a resolution-based prover for inequalities’, Proc 5th Conf. on Automated Deduction, Les Arcs, France (Bibel, W. and Kowalski, R. R., Eds), Springer-Verlag, pp. 281–292 (1980).

  2. Bledsoe, W. W., Kunen, K. and Shostak, R., ‘Completeness results for inequality provers’, A.I.J. 27, 255–288 (1985).

    Google Scholar 

  3. Hines, Larry, ‘Completeness for a prover for dense linear orders’, University of Texas CS Dept Report ATP 86, March 1989. Accepted for publication in J. Automated Reasoning.

  4. Hines, Larry and Bledsoe, W. W., ‘The STR+VE prover’, University of Texas CS Dept Report ATP 94, August 1989.

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Bledsoe, W.W. Challenge problems in elementary calculus. J Autom Reasoning 6, 341–359 (1990). https://doi.org/10.1007/BF00244493

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00244493

Key words

Navigation