Keywords: computer algebra, computational algebraic geometry

Start Date: 1 October 94 / Duration: 36 months

[ participants / contact]

Objectivies and Approach

This collaboration, concerning problems in computer algebra, focuses on two topics: the construction of algebraic identities expressing the incompatibility of a system of sign conditions on a family of polynomials, and the study of local algebra using methods such as Mora's tangent-cone algorithm. In the first topic, the collaboration intends to proceed by improving the efficiency of Lombardi's algorithm. The second topic is to be approached from the point of view of comparing tangent-cone based methods for computing idempotents to some of the more recently developed algorithms.


IRMAR, Université de Rennes
Campus de Beaulieu
35042 Rennes Cédex, F

EU Partners

IRMAR, Université de Rennes, F
Universita de Genova, I
Universidad de Cantabria Santander, E

Non-EU Partners

Université de Niamey, NIG


Prof. F. Roy
Tel: +33 99 28 60 20
Fax: +33 99 28 67 90

INCO synopses home page INCO cooperation index INCO keyword index
INCO acronym index INCO number index INCO Working Groups index
synopses home page all keywords index all acronyms index all numbers index

ALGIDENT - KIT129, May 1997

please address enquiries to the ESPRIT Information Desk

html version of synopsis by Nick Cook