Journal article
Symbolic Domain Decomposition
Abstract
Decomposing the domain of a function into parts has many uses in mathematics. A domain may naturally be a union of pieces, a function may be defined by cases, or different boundary conditions may hold on different regions. For any particular problem the domain can be given explicitly, but when dealing with a family of problems given in terms of symbolic parameters, matters become more difficult. This article shows how hybrid sets, that is …
Authors
Carette J; Sexton AP; Sorge V; Watt SM
Journal
Lecture Notes in Computer Science, Vol. 6167, , pp. 172–188
Publisher
Springer Nature
Publication Date
2010
DOI
10.1007/978-3-642-14128-7_16
ISSN
0302-9743