5510 search results - page 211 / 1102 » Mathematics |
122
click to vote
ISSAC
1999
Springer
15 years 8 months ago
1999
Springer
In this paper we study the generic setting of the modular GCD algorithm. We develop the algorithm for multivariate polynomials over Euclidean domains which have a special kind of ...
ISSAC
1999
Springer
15 years 8 months ago
1999
Springer
In this paper we consider the problem of fast computation of n-ary products, for large n, over arbitrary precision integer or rational number domains. The combination of loop unro...
146
click to vote
ADG
1998
Springer
15 years 8 months ago
1998
Springer
This paper reviews and evaluates three main techniques for automated geometry diagram construction: synthetic methods, numerical computation methods, and symbolic computation metho...
128
click to vote
ADG
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. This paper describes a complete implementation of Ritt-Wu's characteristic sets method in the Maple system. The implemented algorithms include those with variants fo...
157
click to vote
ICFEM
1998
Springer
15 years 8 months ago
1998
Springer
We show how familiar mathematical concepts from differential and integral calculus can be represented in the Z specification language. Digital computer systems involve hardware de...