Challenge problems in elementary calculus

@article{Bledsoe1990ChallengePI,
  title={Challenge problems in elementary calculus},
  author={W. W. Bledsoe},
  journal={Journal of Automated Reasoning},
  year={1990},
  volume={6},
  pages={341-359}
}
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. 
21 Citations
4 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-4 of 4 references

Completeness for a prover for dense linear orders

  • Hines, Larry
  • Umversity of Texas CS Dept Report ATP
  • 1989
1 Excerpt

The STR+VE prover

  • Hines, Larry, W. W. Bledsoe
  • University of Texas CS Dept Report ATP 94,
  • 1989
1 Excerpt

Similar Papers

Loading similar papers…