Computational Science – ICCS 2005
From MaRDI portal
Publication:5709735
DOI10.1007/b136575zbMath1120.68467MaRDI QIDQ5709735
Publication date: 30 November 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b136575
68W30: Symbolic computation and algebraic computation
Related Items
Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination, Quantifier elimination supported proofs in the numerical treatment of fluid flows
Uses Software