Finding new mathematical identities via numerical computations
ACM SIGNUM Newsletter
Computing in Science and Engineering
Formal Verification of Floating Point Trigonometric Functions
FMCAD '00 Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design
High performance computing meets experimental mathematics
Proceedings of the 2002 ACM/IEEE conference on Supercomputing
High-Precision Floating-Point Arithmetic in Scientific Computation
Computing in Science and Engineering
Real roots of univariate polynomials and straight line programs
Journal of Discrete Algorithms
Computers & Mathematics with Applications
A Brief Critique of Pure Hypercomputation
Minds and Machines
Algebraic and numerical algorithms
Algorithms and theory of computation handbook
Building and designing a distributed computing platform
Proceedings of the Workshop on Open Source and Design of Communication
Performance study of Conillon: a platform for distributed computing
Proceedings of the 2011 Workshop on Open Source and Design of Communication
Geometry of synthesis iv: compiling affine recursion into static hardware
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
On Buffon machines and numbers
Proceedings of the twenty-second annual ACM-SIAM symposium on Discrete Algorithms
Computation of high-precision mathematical constants in a combined cluster and grid environment
LSSC'05 Proceedings of the 5th international conference on Large-Scale Scientific Computing
| Hi-index | 0.00 |