3454 search results - page 305 / 691 » Modern computer algebra |
190
click to vote
ISSAC
2007
Springer
16 years 25 days ago
2007
Springer
We report on a high-level categorical parallel framework, written in the Aldor language, to support high-performance computer algebra on symmetric multi-processors and multicore p...
164
click to vote
COMPGEOM
2006
ACM
16 years 20 days ago
2006
ACM
We give the first complete subdivision algorithm for the intersection of two Bezier curves F, G, possibly with tangential intersections. Our approach to robust subdivision algori...
180
click to vote
FSTTCS
2004
Springer
16 years 2 days ago
2004
Springer
We introduce ctm, a process calculus which embodies a notion of trust for global computing systems. In ctm each principal (location) is equipped with a policy, which determines its...
171
click to vote
ISSAC
2004
Springer
16 years 2 days ago
2004
Springer
There exist sound literature and algorithms for computing Liouvillian solutions for the important problem of linear ODEs with rational coefficients. Taking as sample the 363 secon...
293
click to vote
PARA
2004
Springer
16 years 1 days ago
2004
Springer
We describe some extensions to Parallel Sparse BLAS (PSBLAS), a library of routines providing basic Linear Algebra operations needed to build iterative sparse linear system solvers...