*The current implementations (AXIOM, ALDOR, MAPLE)
of the TRIADE algorithm are all sequential and
the goal of this project is to improve the existing strategies for avoiding
superfluous tasks.
The work will be on two fronts: algorithmic and experimental.
On the algorithmic front, a better understanding of the task generation
will be needed.
From there, one hopes to refine the existing strategies.
On the experimental front, one will have to measure the concrete
effect of the various strategies.
The experimentations will be conducted with the MAPLE version of TRIADE.
*

- Does the Gap Structure Theorem of M. El Kahoui lead to a practical subresultant algorithm over non-integral domains? products of fields?
- When two polynomials have a quasi-monic gcd over a product of fields can we effectively compute such gcd without splitting?

2005-02-04