Thomas Cluzeau, Victorita Dolean, Frédéric Nataf, Alban Quadrat. Symbolic Techniques for Domain Decomposition Methods. In Randolph E. Bank, Michael J. Holst, Olof B. Widlund, Jinchao Xu, editors, Domain Decomposition Methods in Science and Engineering XX. Volume 91 of Lecture Notes in Computational Science and Engineering, pages 27-38, Springer, 2013. [doi]