Login / Signup
Application of computer algebra systems (CAS) to formal expansion of exact Callen equations into the systems of algebraic equations.
Adam Krzemieniewski
Grzegorz Wiatrowski
Published in:
Ann. UMCS Informatica (2006)
Keyphrases
</>
algebraic equations
computer algebra systems
linear systems
computer algebra
complex systems
theorem prover
formal methods
hidden markov models
management system
information retrieval systems
distributed systems
computer systems