Details:
Title  Effective set membership in computer algebra and beyond.  Author(s)  James H. Davenport  Type  Book, Chapter in Book, Conference Proceeding  Abstract  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 wellexpressed 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’.  ISBN  9783540851097/pbk 
URL 
http://link.springer.com/chapter/10.1007%2F9783540851103_22 
Language  English  Pages  266269  Publisher  Berlin: Springer  Year  2008  Edition  0  Translation 
No  Refereed 
No 
