Login / Signup
Circuit Simulation Code Generation by Computer Algebra.
Kia-Fock Loe
Noritaka Ohsawa
Eiichi Goto
Published in:
RIMS Symposia on Software Science and Engineering (1984)
Keyphrases
</>
code generation
computer algebra
application development
code generator
software development
theorem prover
modeling language
software reuse
rapid prototyping
model driven
data processing
formal specification
machine learning
probability distribution
automated theorem provers