The involvement of Pisa in polynomial system solving began in 1982, with the first studies on the shape of curves. Since then the interest has evolved towards the system side: Gianni, in a longstanding cooperation with IBM at Yorktown, has contributed to the development of Scratchpad and AXIOM, while Traverso has developed the system AlPi for the study of the variants of Buchberger algorithm. Recently Traverso and Attardi, a professor with considerable experience in LISP systems and artificial intelligence, have studied the parallelisation of Buchberger's algorithm. In the last three years Pisa has been the coordinating partner of the PoSSo Project (Esprit BRA 6846) and its team of programmers has designed the library architecture and developed the core of the C++ libraries delivered by that project, while Bini, a professor with a background in numerical analysis and complexity, has developed and implemented in Fortran a new seminumerical algorithm to find the zeros of polynomials.
Pisa will give both a research and technical contribution to FRISCO. On the research side Pisa will contribute to the development of new algorithms in the area of Polynomial Solving. On the technical side Pisa will take care of the interfacing of the C++ Library developed in PoSSo to Aldor.