Towards Industrial Application of Approximate Computer Algebra.

Tateaki Sasaki Daiju Inaba Fujio Kako

Published in: CASC (2013)

Keyphrases

industrial applications
computer algebra
theorem prover
industrial systems
computer algebra systems
systems engineering
piecewise linear
database
artificial intelligence
multi agent systems
decision support system