103 search results - page 3 / 21 » An Arithmetic Library and Its Application to the N-body Prob... |
ACL2
2006
ACM
14 years 3 months ago
2006
ACM
Support for congruence-based rewriting is built into ACL2. This capability allows ACL2 to treat certain predicate relations ”just like equality” under appropriate conditions a...
IPPS
2010
IEEE
13 years 7 months ago
2010
IEEE
The advent of general purpose graphics processing units (GPGPU's) brings about a whole new platform for running numerically intensive applications at high speeds. Their multi-...
ICFP
2006
ACM
14 years 9 months ago
2006
ACM
Software libraries rely increasingly on iterators to provide generic traversal of data structures. These iterators can be represented either as objects that maintain state or as p...
ICDCSW
2005
IEEE
14 years 3 months ago
2005
IEEE
Alerting for Digital Libraries (DL) is an important and useful feature for the library users. To date, two independent services and a few publisher-hosted proprietary services hav...
WEA
2009
Springer
14 years 4 months ago
2009
Springer
We present a cgal-based univariate algebraic kernel, which provides certi ed real-root isolation of univariate polynomials with integer coe cients and standard functionalities such...