@inproceedings{6d8216f8706c4d35ba3c68345b49cfe8,
title = "Symbolic Domain Decomposition",
author = "J Carette and Alan Sexton and Volker Sorge and S Watt",
year = "2010",
month = jan,
day = "1",
doi = "10.1007/978-3-642-14128-7_16",
language = "English",
isbn = "978-3-642-14127-0",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "172--188",
editor = "S Autexier and J Calmet and D Delahaye and PDF Ion and L Rideau and R Rioboo and AP Sexton",
booktitle = "Intelligent Computer Mathematics",
}