Computational Science - ICCS 2004

DOI10.1007/b98005zbMath1102.68749OpenAlexW1792251604WikidataQ123847152 ScholiaQ123847152MaRDI QIDQ5712773

Hitoshi Yanami, Hirokazu Anai

Publication date: 23 December 2005

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

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

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Related Items

Fast simplifications for Tarski formulas based on monomial inequalities, Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination

Uses Software

• Maple
• QEPCAD
• SYNRAC