Operating computer algebra systems by handprinted input
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
Implementing progress indicators for recursive algorithms
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
Computing Optimal Attribute Weight Settings for Nearest NeighborAlgorithms
Artificial Intelligence Review - Special issue on lazy learning
Learning to set up numerical optimizations of engineering designs
Data mining for design and manufacturing
Local model checking of Java bytecode
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Integrating Computer Algebra into Proof Planning
Journal of Automated Reasoning
Proof Development with Omega-MEGA: sqrt(2) Is Irrational
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Homogenization method in Stochastic Finite Element analysis of some 1D composite structures
ICAAISE '01 Proceedings of the eighth international conference on The application of artificial intelligence to civil and structural engineering computing
Computer algebra handbook
Learning to set up numerical optimizations of engineering designs
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Mathematics and Computers in Simulation - Special issue: Applications of computer algebra in science, engineering, simulation and special software
Asymptotic series of generalized Lambert W function
ACM Communications in Computer Algebra
| Hi-index | 0.00 |