Effective Set Membership in Computer Algebra and Beyond


Davenport, J. H., 2008. Effective Set Membership in Computer Algebra and Beyond. Berlin, Heidelberg: Springer, pp. 266-280. (Lecture Notes in Computer Science)

Related documents:

This repository does not currently have the full-text of this item.
You may be able to access a copy if URLs are provided below. (Contact Author)


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’.


Item Type Conference or Workshop Items (UNSPECIFIED)
CreatorsDavenport, J. H.
EditorsAutexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M. and Wiedijk, F.
DepartmentsFaculty of Science > Computer Science
ID Code12356
Additional InformationProceedings 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


Actions (login required)

View Item