Analysis of a simple learning algorithm: learning foraging thresholds for lizards
COLT '96 Proceedings of the ninth annual conference on Computational learning theory
Lightweight formal methods for computer algebra systems
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Interfacing Program Construction and Verification
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Making Conjectures about Maple Functions
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
P-stable high-order super-implicit and Obrechkoff methods for periodic initial value problems
Computers & Mathematics with Applications
High-order nonlinear solver for multiple roots
Computers & Mathematics with Applications
Journal of Computational Methods in Sciences and Engineering
P-stable symmetric super-implicitmethods for periodic initial value problems
Computers & Mathematics with Applications
| Hi-index | 0.01 |