FRISCO is a three-year project funded by the European Commission under the Esprit Reactive LTR Scheme (project No. 21.024).
The need to "solve" (i.e. simplify or find solutions to) systems of polynomials arises in many areas
of science and engineering: for example geometric modelling, robotics, chemical engineering,
scheduling and electronics. There are various generic algorithms implemented in commercial
algebra systems such as AXIOM, Maple, Mathematica etc. for solving these problems, but in
many cases their very generality makes them too inefficient for use on the size of problems
encountered in industry. The aim of the FRISCO project is to investigate and develop technologies
which can be used to deliver highly efficient, versatile polynomial solvers to industrial users.
The Computer Algebra Information Network, a server providing all kinds of information about Symbolic and Algebraic Computation.