Computer Algebra in Scientific Computing

DOI10.1007/11555964zbMath1169.68668OpenAlexW4300628649MaRDI QIDQ5479262

Volker Weispfenning

Publication date: 7 July 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11555964

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Numerical methods for initial value problems involving ordinary differential equations (65L05) Quantifier elimination, model completeness, and related topics (03C10)

This page was built for publication: Computer Algebra in Scientific Computing