Objective
Completion to involution is a fundamental technology for dealing with general systems of partial differential equations. This can already be seen from their close relationship to Gröbner bases for polynomial ideals. Completion alone does not directly answer many questions about a given system; but without a suitable basis many questions cannot be answered at all. It is not difficult to forecast that very soon involution will play in the theory of differential equations a similar role as Gröbner bases already do now in commutative algebra and algebraic geometry.
The project is divided into three equally important tasks: fundamental theory, completion algorithms, applications. The main objective of the first task is to obtain a deeper understanding of the meaning of involution. Involution will be compared to classical concepts in differential algebra like Gröbner bases or characteristic sets; in addition the Spencer cohomology will be studied in detail. As a result the foundation of involution will become much clearer which is not only of considerable scientific interest but also very important for the design of algorithms.
The objective of the second task is to provide efficient implementations of completion algorithms for linear and non-linear differential systems (algebraic equations are considered as a special case of linear differential systems) on several platforms. This includes a geometric version of the algorithms which allows for the computation of intrinsic results independent of the used co-ordinate system.
As in the purely algebraic case, the complexity of the completion represents a major obstacle. For this reason so much emphasis is put on algorithmic aspects. Without fast computer algebra programs no progress can be achieved in this field. Consequently, the teams deliberately did not choose to select just one specific computer algebra system for implementing the algorithms. Instead, efficient implementations for a number of systems will result from the project which is crucial for spreading the use of involutive techniques in applied mathematics.
The objective of the third task is to demonstrate the power of involution in applications. Both group analysis of differential equations (with special emphasis on viscous heat conducting gas dynamics) and the symbolic and numerical analysis of constrained mechanical systems will be studied. In the first case, the results will not only be new exact solutions of an important physical model but also new techniques to handle extremely large differential systems. In the latter case, the main theoretical result will be the unification of some physical and numerical theories in a single framework. In addition, the prototype of a combined symbolic-numerical environment for treating constrained systems will be developed.
The project unites some of the leading teams in the field of involution. All participating teams have already made important contributions in this field. Their collaboration within the project will lead to further significant progress.
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.
This project has not yet been classified with EuroSciVoc.
Be the first one to suggest relevant scientific fields and help us improve our classification service
You need to log in or register to use this function
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.
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
SY23 3DA Aberystwyth
United Kingdom
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.