Some simple ways to construct and to use formulas mechanically
ACM SIGSAM Bulletin
Inheritance of rewrite rule structures applied to symbolic computation
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Computer algebra handbook
A lisp-language Mathematica-to-lisp translator
ACM SIGSAM Bulletin
Eliminating redundant range checks in GNAT using symbolic evaluation
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
Automated fast symbolic modeling of robotic manipulators with compliant links
Mathematical and Computer Modelling: An International Journal
Hi-index | 0.00 |