"Determining over- and under-constrained systems of equations using ..."

David Broman, Kaj Nyström, Peter Fritzson (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics