A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus

Keywords

Heuristic, Calculus (dental), Computer science, Artificial intelligence, Medicine

References

• Steps toward Artificial IntelligenceMarvin Minsky — 1995
• Integration in finite terms : Liouville's theory of elementary methodsJ. F. Ritt — 1948
• The Integration of Functions of a Single VariableGodfrey Harold Hardy — 1906
• XXII. Programming a Computer for Playing Chess 1Claude E. Shannon — 1950
• Pattern recognition and modern computersOliver G. Selfridge — 1899
• A Selected Descriptor-Indexed Bibliography to the Literature on Artificial IntelligenceMarvin Minsky — 1961
• Recursive functions of symbolic expressions and their computation by machine, Part IJohn McCarthy — 1960
• Programs with common senseJohn McCarthy — 1960
• Empirical Expiorations of the Geometry Theorem MachineH. Geiernter, Josie Hansen, Donald Loveland — 1899
• Some Studies in Machine Learning Using the Game of CheckersArthur L. Samuel — 1995
• Programming a computer for playing chessShannon — 1950
• Programming Pattern Recognition *G. P. DINNEENt
• Empirical Explorations of the Logic Theory Machine : A Case Study in HeuristicJ. A. NEWELLt, SHAwt

Cited by

• Challenge to Artificial Intelligence: Programming Problems to be SolvedJean Ε. Sammet — 1971
• Back of the envelope reasoning for robust quantitative problem solvingKenneth D. Forbus, Praveen Paritosh — 2007
• A logic-based approach to conflict resolutionRobert Kowalski — 2003
• A Tree Representation for Parallel Problem SolvingLaxmikant V. Kalé — 1988
• GENERALITY AND GPSGeorge W. Ernst, Allen Newell — 1967
• Developing an authoring environment for procedural task tutoring systems : a dissertation presented in partial fulfilment of the requirements for the degree of Doctor of Philosophy in Computer Science at Massey University, Palmerston North, New ZealandShamus P. Smith — 1997
• Intuition in formal proof : a novel framework for combining mathematical toolsLaura I. Meikle — 2014
• Parallel Algorithms for Machine Intelligence and VisionVipin Kumar, P. Gopalakrishnan, L. Kanal — 2011
• Quantum noise and informationHans J. Bremermann — 1967
• Artificial Intelligence and Symbolic Mathematical ComputationJacques Calmet, J. A. Campbell, Jochen Pfalzgraf — 1992
• The heuristic of George Polya and its relation to artificial intelligenceAllen Newell — 1981
• Development of a Java Package for Matrix ProgrammingNgee-Peng Lim, Maurice HT Ling, Shawn Y. C. Lim — 2003
• Intellectual issues in the history of artificial intelligenceAllen Newell — 1983
• A perspective on symbolic mathematical computing and artificial intelligenceJacques Calmet, J. A. Campbell — 1997
• Graphic Simulation: Beyond Numeric Computation And Symbolic ReasoningKing Rao, Xiaomei Zheng, Tsung-Shann Jiang — 1988
• Paradigms of Artificial Intelligence Programming: Case Studies in Common LispPeter Norvig — 1991
• The Use of Dependency Relationships in the Control of ReasoningJon Doyle — 1976
• Concepts and Methods for Heuristic SearchErik Sandewall — 1969
• Computer Techniques for Analyzing the Microstructure of Serial-Action Work in IndustryJoseph W. Rigney, Douglas M. Towne — 1969
• Computer Algebra: Past and FutureB. F. Caviness — 1985

Related papers

• Significant problems in symbolic mathematicsR. G. Tobey — 1969
• Programming based on the symbolic math toolbox of MatlabTan Weigu — 2004
• A General Approach to Constrained Optimal Design Based on Symbolic MathematicsC. R. Hammond, G. E. Johnson — 1987
• STRATEGIES FOR MODELING AND SOLVING A PROBLEM USING CALCULATORSMary Grace O'Donnell — 1993
• In memory of Austin BlaquièreG. Leitmann — 1994
• Dedication to BensonGuangya Chen, Shengjie Li, Jiuping Xu — 2018
• Foreword to the differential games issueG. Leitmann, Y. C. Ho — 1974
• Problems in sequential programmingИ. И. Еремин — 1973
• An introduction to programming and problem solving with PASCALMichael G Schneider, Steven W. Weingart, D. Perlman — 1978