Complexity of the inversion algorithm of polynomial mappings
pl
dc.type
JournalArticle
pl
dc.description.physical
209-225
pl
dc.abstract.en
In this paper we will recall the inversion algorithm described in [1]. The algorithm classifies polynomial automorphisms into two sets: Pascal finite and Pascal infinite. In this article the complexity of the inversion algorithm will be estimated. To do so, we will present two popular ways how Computer Algebra Systems (CASes) keep the information about multivariate polynomials. We will define the complexity as the amount of simple operations performed by the algorithm as a function of the size of the input. We will define simple operations of the algorithm. Then we will estimate complexity of checking that the polynomial map is not a polynomial automorphism. To do so we will use theorem 3.1 from [1].
pl
dc.subject.en
polynomial automorphism
pl
dc.subject.en
computational complexity
pl
dc.subject.en
differential Galois theory
pl
dc.subject.en
computer algebra system
pl
dc.description.volume
25
pl
dc.identifier.doi
10.4467/20838476SI.16.016.6197
pl
dc.identifier.eissn
2083-8476
pl
dc.title.journal
Schedae Informaticae
pl
dc.language.container
eng
pl
dc.affiliation
Wydział Matematyki i Informatyki : Instytut Informatyki i Matematyki Komputerowej
pl
dc.subtype
Article
pl
dc.rights.original
OTHER; otwarte czasopismo; ostateczna wersja wydawcy; w momencie opublikowania; 0