Thumbnail
Access Restriction
Open

Source CiteSeerX
Content type Text
File Format PDF
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Maple Function ♦ Mathematical System ♦ Automated Theorem Provers ♦ Theorem Provers ♦ Increased Sophistication ♦ Short Term
Abstract Ideally, automated theorem provers would be called from within a CAS whenever the user made a conjecture about the functions they were defining. However, this will take increased sophistication in the automated theorem provers and is unlikely to happen in the short term. If the aim of the integration of mathematical systems is to generate conjectures, rather than theorems about the functions
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study