A fast and accurate delay estimation method for buffered interconnects
Proceedings of the 2001 Asia and South Pacific Design Automation Conference
Mathematical Graphical Object Representation1
Programming and Computing Software
VSDITLU: a verifiable symbolic definite integral table look-up
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
Energy conservative algorithm for numerical solution of ODES initial value problems
ICCMSE '03 Proceedings of the international conference on Computational methods in sciences and engineering
Application of Wu's method to symbolic model checking
Proceedings of the 2005 international symposium on Symbolic and algebraic computation
Energy conservative algorithm for numerical solution of ODEs initial value problems
Journal of Computational Methods in Sciences and Engineering
Connecting the 3D DGS Calques3D with the CAS Maple
Mathematics and Computers in Simulation
A bridge between dynamic geometry and computer algebra
Mathematical and Computer Modelling: An International Journal
| Hi-index | 0.00 |