Objective
The project aims to produce a portable software solver using the latest in polynomial system solving algorithms and capable of being incorporated into applications programs. Research will be carried out to advance the state of the art and our understanding of polynomial systems, and various application areas will be studied, such as control theory, geometric modelling, and biochemistry in which problems reducible to polynomial system solving arise. These aims are not independent: the software will incorporate as much of the newly-discovered material as possible, and the applications will benefit from the facilities in the solver. Conversely, the solver will benefit from the experience of having been used on real problems. This project aims to produce a portable software solver using the latest in polynomial system solving algorithms and capable of being incorporated into applications programs. Research will be carried out to advance the state-of-the-art and our understanding of polynomial systems, and various application areas will be studied, such as control theory, geometric modelling and biochemistry, in all of which problems reducible to polynomial system solving arise.
These aims are not independent: the software will incorporate as much of the newly discovered material as possible, and the applications will benefit from the facilities in the solver. Conversely, the solver will benefit from the experience of having been used on real problems.
Some relevant results have been obtained in the 3 domains of the research: solver, algorithms, applications. In the solver construction, a customizable memory management (CMM) in C++ has been produced; the solver C++ library will be built in top of it. The CMM will be suitable of use outside of the project. It is currently in alpha test.
Protocols for data related to polynomial systems and symbolic computing have been proposed, and will be experimented.
Software for computing Groebner bases (GB) has been provided (beta test). It includes a preliminary version of CMM, big and modular integers, ability to split the work on a net of computer and a full interface with Axiom. It is a tool for experimenting during the construction of the solver, and some parts of GB are under adaption for being included in the solver.
A collection of tests for polynomial system solving has been prepared and continuously updated, and is currently distributed.
Algorithmic advances have been obtained, that allow in several examples of polynomial systems relevant for applications a speed up of a factor larger than 10. This has been included in some experimental software, and the inclusion in the future distribution of the C++ library is planned.
The complexity theory of problems related to polynomial system solving has been considerably improved, with better estimates in a sparse complexity model. For working with real algebraic numbers 2 different experimental implementations have been produced. Moreover new theoretical advances have been attained concerning real root counting and isolation in the multivariate case.
Applications have been studied, obtaining interesting results linking polynomial system solving with robot kinematics (Stewart Platform, path lifting), motion planning, curve and surface tracing, geometric modelling and singularity theory.
APPROACH AND METHODS
Purely numerical solving of polynomial systems leads to many problems: numerical inaccuracy; not finding all solutions, and not recognising under-determined systems; not understanding the structure of the solutions; and inability to handle over-determined systems. These problems are not purely theoretical: they have caused major practical problems in areas ranging from aerospace engineering to pharmacology. The solution to these problems is to perform symbolic computation on the set of polynomial equations (and inequalities) instead of, or as well as, numeric computation. Such computations require the careful use of advanced mathematical ideas.
The structure of the solver that we propose to produce will be radically different from what is customary in symbolic computation systems with built-in solvers that can be used only inside the system itself. POSSO will develop a solver in ``package'' form, so that to build an application only those parts that are necessary need to be obtained.
The advanced research issues developed inside the projects are aimed at algorithmic advances related to the solver. Whilst the current methods are satisfactory for zero dimensional systems, they are not completely suitable for higher dimensional systems, for which many qualitative aspects of solving still need to be clarified.
POSSO will investigate the problems connected to polynomial system solving, and for some application areas we will probably develop application-specific extensions to, or front-ends for, the solver.
POTENTIAL
The solver will be linked to several existing or future computer algebra systems, enhancing their performances. It is likely that the algorithmic research developed will allow considerable progress in the area of polynomial system solving, especially in higher dimension, and that several application areas will benefit from our application-specific versions.
The customisable memory management might be used as a basis for the construction of symbolic software including a default memory management and the possibility of customised memory management in some time-critical parts; in particular, an implementation of COMMON-LISP with these features might be easily produced, and could be the basis of many efficient computer algebra systems.
Fields of science (EuroSciVoc)
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
- natural sciences biological sciences biochemistry
- natural sciences computer and information sciences software
- engineering and technology mechanical engineering vehicle engineering aerospace engineering
- natural sciences mathematics pure mathematics algebra
- medical and health sciences basic medicine pharmacology and pharmacy
You need to log in or register to use this function
We are sorry... an unexpected error occurred during execution.
You need to be authenticated. Your session might have expired.
Thank you for your feedback. You will soon receive an email to confirm the submission. If you have selected to be notified about the reporting status, you will also be contacted when the reporting status will change.
Programme(s)
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Topic(s)
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Data not available
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Call for proposal
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Data not available
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Funding Scheme
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Data not available
Coordinator
56100 Pisa
Italy
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.