Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

   
TitleEffective set membership in computer algebra and beyond.
Author(s) James H. Davenport
TypeBook, Chapter in Book, Conference Proceeding
AbstractIn 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’.
ISBN978-3-540-85109-7/pbk
URL http://link.springer.com/chapter/10.1007%2F978-3-540-85110-3_22
LanguageEnglish
Pages266--269
PublisherBerlin: Springer
Year2008
Edition0
Translation No
Refereed No
Webmaster