Effective Set Membership in Computer Algebra and Beyond

Research output: Chapter or section in a book/report/conference proceedingChapter or section


In previous work, we showed the importance of distinguishing “I know that X ≠ Y" from “I don’t know that X = Y”. In this paper we look at effective set membership, starting with Gröbner bases, where the issues are well-expressed in algebra systems, and going on to integration and other questions of ‘computer calculus’. In particular, we claim that a better recognition of the role of set membership would clarify some features of computer algebra systems, such as ‘what does an integral mean as output’.
Original languageEnglish
Title of host publicationIntelligent Computer Mathematics: Proc. AISC/Calculemus/MKM 2008
EditorsS Autexier, J Campbell, J Rubio, V Sorge, M Suzuki, F Wiedijk
Place of PublicationBerlin, Heidelberg
Number of pages15
ISBN (Print)978-3-540-85109-7
Publication statusPublished - 2008

Publication series

NameLecture Notes in Computer Science

Bibliographical note

Proceedings of the 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008.
ID number: 5144


Dive into the research topics of 'Effective Set Membership in Computer Algebra and Beyond'. Together they form a unique fingerprint.

Cite this