The “Seven Dwarfs” of Symbolic Computation

DOI10.1007/978-3-7091-0794-2_5zbMath1257.65013OpenAlexW161084795WikidataQ57433939 ScholiaQ57433939MaRDI QIDQ2912116

Erich L. Kaltofen

Publication date: 14 September 2012

Published in: Texts & Monographs in Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://kar.kent.ac.uk/26236/1/sfbbook_final.pdf

zbMATH Keywords

interpolationGröbner basessymbolic computationclosed form solutionsparameterizationlinear algebrainteger latticescomputational group theoryhybrid symbolic-numeric computationinverse symbolic problemsparallel algorithmic methodspolynomial and differential algebraTarskio's algebraic theory of real geometry

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Parallel numerical computation (65Y05) Numerical linear algebra (65F99) Numerical approximation and computational geometry (primarily algorithms) (65D99)

Uses Software

• RAGlib
• SPIRAL

This page was built for publication: The “Seven Dwarfs” of Symbolic Computation