From honest to intelligent plotting
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
The minimised geometric Buchberger algorithm: an optimal algebraic algorithm for integer programming
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
Automatic Differentiation and Interval Arithmetic for Estimation of Disequilibrium Models
Computational Economics - Special issue on computational economics in Geneva: volume 1: computational econometrics, statistics, and optimization
Compound program packages and a nonlinear random fluctuations analysis
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Stability and persistence in a compartment model of pulmonary tuberculosis
Nonlinear Analysis: Theory, Methods & Applications
Providing a formal linkage between MDG and HOL
Formal Methods in System Design
Automatica (Journal of IFAC)
| Hi-index | 0.00 |