Effective Set Membership in Computer Algebra and Beyond

J H Davenport

doi:10.1007/978-3-540-85110-3_22

Effective Set Membership in Computer Algebra and Beyond

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

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 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 language	English
Title of host publication	Intelligent Computer Mathematics: Proc. AISC/Calculemus/MKM 2008
Editors	S Autexier, J Campbell, J Rubio, V Sorge, M Suzuki, F Wiedijk
Place of Publication	Berlin, Heidelberg
Publisher	Springer
Pages	266-280
Number of pages	15
Volume	5144
ISBN (Print)	978-3-540-85109-7
DOIs	https://doi.org/10.1007/978-3-540-85110-3_22
Publication status	Published - 2008

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer

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

Access to Document

10.1007/978-3-540-85110-3_22

Cite this

Effective Set Membership in Computer Algebra and Beyond. / Davenport, J H.
Intelligent Computer Mathematics: Proc. AISC/Calculemus/MKM 2008. ed. / S Autexier; J Campbell; J Rubio; V Sorge; M Suzuki; F Wiedijk. Vol. 5144 Berlin, Heidelberg: Springer, 2008. p. 266-280 (Lecture Notes in Computer Science).

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

@inbook{6030218a7ade42eb9bd7a628195a63b4,

title = "Effective Set Membership in Computer Algebra and Beyond",

abstract = "In previous work, we showed the importance of distinguishing “I know that X ≠ Y{"} from “I don{\textquoteright}t know that X = Y”. In this paper we look at effective set membership, starting with Gr{\"o}bner bases, where the issues are well-expressed in algebra systems, and going on to integration and other questions of {\textquoteleft}computer calculus{\textquoteright}. In particular, we claim that a better recognition of the role of set membership would clarify some features of computer algebra systems, such as {\textquoteleft}what does an integral mean as output{\textquoteright}.",

author = "Davenport, {J H}",

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",

year = "2008",

doi = "10.1007/978-3-540-85110-3_22",

language = "English",

isbn = "978-3-540-85109-7",

volume = "5144",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "266--280",

editor = "S Autexier and J Campbell and J Rubio and V Sorge and M Suzuki and F Wiedijk",

booktitle = "Intelligent Computer Mathematics: Proc. AISC/Calculemus/MKM 2008",

}

TY - CHAP

T1 - Effective Set Membership in Computer Algebra and Beyond

AU - Davenport, J H

N1 - 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

PY - 2008

Y1 - 2008

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

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

UR - http://dx.doi.org/10.1007/978-3-540-85110-3_22

U2 - 10.1007/978-3-540-85110-3_22

DO - 10.1007/978-3-540-85110-3_22

M3 - Chapter or section

SN - 978-3-540-85109-7

VL - 5144

T3 - Lecture Notes in Computer Science

SP - 266

EP - 280

BT - Intelligent Computer Mathematics: Proc. AISC/Calculemus/MKM 2008

A2 - Autexier, S

A2 - Campbell, J

A2 - Rubio, J

A2 - Sorge, V

A2 - Suzuki, M

A2 - Wiedijk, F

PB - Springer

CY - Berlin, Heidelberg

ER -

Effective Set Membership in Computer Algebra and Beyond

Abstract

Publication series

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this