The differential Hilbert function of a differential rational mapping can be computed in polynomial time
Author(s) -
Guillermo Matera,
Alexandre Sedoglavic
Publication year - 2002
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
ISBN - 1-58113-484-3
DOI - 10.1145/780506.780530
Subject(s) - differential (mechanical device) , mathematics , polynomial , function (biology) , rational function , set (abstract data type) , algorithm , discrete mathematics , computer science , mathematical analysis , evolutionary biology , engineering , biology , programming language , aerospace engineering
We present a probabilistic seminumerical algorithm that computes the differential Hilbert function associated to a differential rational mapping. This algorithm explicitly determines the set of variables and derivatives which can be arbitrarily fixed in order to locally invert the differential mapping under consideration. The arithmetic complexity of this algorithm is polynomial in the input size.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom