Computer Algebra in Scientific Computing

DOI10.1007/11555964zbMath1169.68357OpenAlexW4300628649MaRDI QIDQ5479258

Thomas Sturm

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) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17) Quantifier elimination, model completeness, and related topics (03C10)

Uses Software

• QEPCAD

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