Skip to content

A Symbolic Framework for Operations on Linear Boundary Problems.

Markus Rosenkranz, Georg Regensburger, Loredana Tec, Bruno Buchberger

VenueBCASC
Year2009
ProceedingsCASC

Browse the full CASC paper archive.