Constraint solving for interpolation.
J. Symb. Comput. Bd. 45. H. 11. 2010 S. 1212 - 1233
Erscheinungsjahr: 2010
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1016/j.jsc.2010.06.005
Geprüft | Bibliothek |
J. Symb. Comput. Bd. 45. H. 11. 2010 S. 1212 - 1233
Erscheinungsjahr: 2010
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1016/j.jsc.2010.06.005
Geprüft | Bibliothek |