A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus

Full text

Pdf (741 KB)

Source

Journal of the ACM (JACM) archive
Volume 10 , Issue 4 (October 1963) table of contents

Pages: 507 - 520

Year of Publication: 1963

ISSN:0004-5411

Author

James R. Slagle

Lincoln Laboratory, Massachusetts Institute of Technology, Lexington, Massachusetts

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 5, Downloads (12 Months): 67, Citation Count: 18

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/321186.321193 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	DINNEN, G. P. Programming pattern recognition. Proc. Western Joint Comp. Conf., 1955, 94-100.
	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.
	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.
	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.
	5	John McCarthy, Recursive functions of symbolic expressions and their computation by machine, Part I, Communications of the ACM, v.3 n.4, p.184-195, April 1960 [doi>10.1145/367177.367199]
	6	MiNsxY, M.L. Steps toward artificial intelligence. Proc. IRE (Jan. 1961), 8-30.
	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.
	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.
	9	RITT, J. Integration in Finite Terms, Liouville's Theory of Elementary Methods. Colmnbia Univ. Press, New York, 1948.
	10	SAMUEL, A.L. Some studies in machine learning using the game of checkers. IBM J. Res. Dev. 3, 3 (July 1959), 210-229.
	11	SELFRICE, O. G. Pattern recognitioa and modern computers. Proe. Western Joint Comp. Conf. 1955, 91 93.
	12	SHANNON, C. E. Programming a digital computer for playing chess. Phil. Mag. 41 (Mar. 1950), 356-375.
	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.

CITED BY 18

	Ming Rao , Tsung-Shann Jiang , Jeffrey J.-P. Tsai, Integrated environment for intelligent control, Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems, p.466-474, June 1988, Tullahoma, Tennessee, United States
	James R. Slagle, Experiments with a deductive question-answering program, Communications of the ACM, v.8 n.12, p.792-798, Dec. 1965
	Jean E. Sammet, Survey of formula manipulation, Communications of the ACM, v.9 n.8, p.555-569, Aug. 1966
	James R. Slagle , John K. Dixon, Experiments with the M & N tree-searching program, Communications of the ACM, v.13 n.3, p.147-154, March 1970
	Bernice Bender, A computer system for algebra and analytic differentiation, Proceedings of the first ACM symposium on Symbolic and algebraic manipulation, p.0201-0227, January 1966
	Jean E. Sammet, The beginning and development of FORMAC (FORmula MAnipulation Compiler), ACM SIGPLAN Notices, v.28 n.3, p.209-230, March 1993
	Bertram Raphael, The structure of programming languages, Communications of the ACM, v.9 n.2, p.67-71, Feb. 1966
	James R. Slagle , John E. Dixon, Experiments With Some Programs That Search Game Trees, Journal of the ACM (JACM), v.16 n.2, p.189-207, April 1969
	James R. Slagle , Philip Bursky, Experiments With a Multipurpose, Theorem-Proving Heuristic Program, Journal of the ACM (JACM), v.15 n.1, p.85-99, Jan. 1968
	Peter Schmidt, Automatic symbolic solution of differential equations of first order and first degree, Proceedings of the third ACM symposium on Symbolic and algebraic computation, p.114-125, August 10-12, 1976, Yorktown Heights, New York, United States
	Malcolm M. Jones, On—line simulation, Proceedings of the 1967 22nd national conference, p.591-599, January 1967, Washington, D.C., United States
	Susan Esptein, Challenges, ACM SIGART Bulletin
	Jean E. Sammet, The beginning and development of FORMAC: FORmula MAnipulation Compiler, History of programming languages---II, ACM Press, New York, NY, 1996
	Larry E. Travis, Experiments with a theorem-utilizing program, Proceedings of the April 21-23, 1964, spring joint computer conference, April 21-23, 1964, Washington, D.C.
	George W. Ernst , Allen Newell, Some issues of representation in a general problem solver, Proceedings of the April 18-20, 1967, spring joint computer conference, April 18-20, 1967, Atlantic City, New Jersey
	Stuart C. Shapiro, Artificial intelligence (AI), Encyclopedia of Computer Science, 4th edition, John Wiley and Sons Ltd., Chichester, 2003
	J. E. Sammet, Challenge to artificial intelligence: programming problems to be solved, Proceedings of the 2nd international joint conference on Artificial intelligence, p.59-65, September 01-03, 1971, London, England
	Erik J. Sandewall, Concepts and methods for heuristic search, Proceedings of the 1st international joint conference on Artificial intelligence, p.199-218, May 07-09, 1969, Washington, DC