@article{vanderHoeven:FCM:2019,
    Abstract = {Let K be an effective field of characteristic zero. An effective tribe is a subset of {\$}{\$}K {$[$}{$[$}z{\\_}1, z{\\_}2, {$\backslash$}ldots {$]$}{$]$} = K {$\backslash$}cup K {\{}{$[$}{\}}{$[$}z{\\_}1{$]$}{$]$} {$\backslash$}cup K {$[$}{$[$}z{\\_}1, z{\\_}2{$]$}{$]$} {$\backslash$}cup {$\backslash$}cdots {\$}{\$}that is effectively stable under the K-algebra operations, restricted division, composition, the implicit function theorem, as well as restricted monomial transformations with arbitrary rational exponents. Given an effective tribe with an effective zero test, we will prove that an effective version of the Weierstrass division theorem holds inside the tribe and that this can be used for the computation of standard bases.},
    Author = {van der Hoeven, Joris},
    Date = {2019/06/01},
    File = {Effective Power Series Computations - vanderhoeven2018 - a.pdf},
    ISBN = {1615-3383},
    Journal = {Foundations of Computational Mathematics},
    Number = {3},
    Pages = {623--651},
    Title = {Effective Power Series Computations},
    URL = {https://doi.org/10.1007/s10208-018-9391-2},
    Volume = {19},
    Year = {2019},
    bdsk-url-1 = {https://doi.org/10.1007/s10208-018-9391-2},
    date-added = {2023-02-02 08:14:42 +0100},
    date-modified = {2023-02-02 08:22:26 +0100},
    id = {van der Hoeven2019},
    doi = {10.1007/s10208-018-9391-2}
}

@article{vanderHoeven:FCM:2019, Abstract = {Let K be an effective field of characteristic zero. An effective tribe is a subset of {\$}{\$}K {$[$}{$[$}z{\}1, z{\}2, {$\backslash$}ldots {$]$}{$]$} = K {$\backslash$}cup K {{}{$[$}{}}{$[$}z{\}1{$]$}{$]$} {$\backslash$}cup K {$[$}{$[$}z{\}1, z{\_}2{$]$}{$]$} {$\backslash$}cup {$\backslash$}cdots {\$}{\$}that is effectively stable under the K-algebra operations, restricted division, composition, the implicit function theorem, as well as restricted monomial transformations with arbitrary rational exponents. Given an effective tribe with an effective zero test, we will prove that an effective version of the Weierstrass division theorem holds inside the tribe and that this can be used for the computation of standard bases.}, Author = {van der Hoeven, Joris}, Date = {2019/06/01}, File = {Effective Power Series Computations - vanderhoeven2018 - a.pdf}, ISBN = {1615-3383}, Journal = {Foundations of Computational Mathematics}, Number = {3}, Pages = {623--651}, Title = {Effective Power Series Computations}, URL = {https://doi.org/10.1007/s10208-018-9391-2}, Volume = {19}, Year = {2019}, bdsk-url-1 = {https://doi.org/10.1007/s10208-018-9391-2}, date-added = {2023-02-02 08:14:42 +0100}, date-modified = {2023-02-02 08:22:26 +0100}, id = {van der Hoeven2019}, doi = {10.1007/s10208-018-9391-2} }