- 1 DINNEN, G. P. Programming pattern recognition. Proc. Western Joint Comp. Conf., 1955, 94-100.Google Scholar
- 2 GELERNTER, H., HANSEN, J. R., AND LOVLAND, D. W. Empirical explorations of the geometry theorem machine. Proc. Western Joint Comp. Conf., 1960, 143-147.Google Scholar
- 3 HANDY, G.H. The Integration of Functions of a Single Variable. Cambridge Tracts in Mathematics and Mathematical Physics, Cambridge Univ. Press, 2d ed., 1958.Google Scholar
- 4 McCnTHY, J. Programs with common sense. In Proc. Syrup. Mechanisation of Thought Processes. D. V. BLAin AND A. M. UTTLY, Eds., 2 vols., Her Majesty's Stationery Office, London, 1959, 75-84.Google Scholar
- 5 ----. Recursive functions of symbolic expressions. Comm. ACM 3 (Apr. 1960), 184-195; Preprints, Conference on Symbol Manipulation Programs. Google Scholar
- 6 MiNsxY, M.L. Steps toward artificial intelligence. Proc. IRE (Jan. 1961), 8-30.Google Scholar
- 7 MINSKY, M.L. A selected descriptor-indexed bibliography to the literature oil artificial intelligence. IRE Trans. Human Factors in Electr. (Mar. 1961), 39-55.Google Scholar
- 8 NnWELL, A., SHAW, J. C., AND SIMON, H.A. Empirical explorations of the logic theory machine. Proc. Western Joint Comp. Conf. 1957, 218-239.Google Scholar
- 9 RITT, J. Integration in Finite Terms, Liouville's Theory of Elementary Methods. Colmnbia Univ. Press, New York, 1948.Google Scholar
- 10 SAMUEL, A.L. Some studies in machine learning using the game of checkers. IBM J. Res. Dev. 3, 3 (July 1959), 210-229.Google Scholar
- 11 SELFRICE, O. G. Pattern recognitioa and modern computers. Proe. Western Joint Comp. Conf. 1955, 91 93.Google Scholar
- 12 SHANNON, C. E. Programming a digital computer for playing chess. Phil. Mag. 41 (Mar. 1950), 356-375.Google Scholar
- 13 SLAGLE, J. R. A heuristic program that solves symbolic integratiorl problems in freshman calculus: symbolic automatic integrator (SAINT). Report 5 G-0001, MIT Lincoln Laboratory, May 10, 1961; available from MIT Mieroreproduetion Service, Cambridge, Mass., Ref. No. H-295.Google Scholar
Index Terms
- A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus
Recommendations
Curriculum integration in the freshman year at the University of Alabama-foundation coalition program
FIE '95: Proceedings of the Frontiers in Education Conference, on 1995. Proceedings., 1995 - Volume 02The University of Alabama presented its first set of freshman year courses as part of the NSF sponsored Foundation Coalition during the 1994-1995 academic year. The three major thrust areas of this coalition are: curriculum integration; technology ...
Completing Herbelin's programme
TLCA'07: Proceedings of the 8th international conference on Typed lambda calculi and applicationsIn 1994 Herbelin started and partially achieved the programme of showing that, for intuitionistic implicational logic, there is a Curry-Howard interpretation of sequent calculus into a variant of the λ-calculus, specifically a variant which manipulates ...
Comments