A new zero-test for formal power series

Joris Van der Hoeven

doi:10.1145/780506.780521

A new zero-test for formal power series

Joris Van der Hoeven

Université Paris-Saclay

Résultats de recherche: Contribution à une conférence › Papier › Revue par des pairs

Résumé

In this paper, we present a new zero-test for expressions which are constructed from formal power solutions to algebraic differential equations using the ring operations and differentiation. We also provide a survey of all existing methods that we know of and a detailed comparison of these methods with our approach.

langue originale	Anglais
Pages	117-122
Nombre de pages	6
Les DOIs	https://doi.org/10.1145/780506.780521
état	Publié - 1 janv. 2002
Modification externe	Oui
Evénement	Proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation - Lille, France Durée: 7 juil. 2002 → 10 juil. 2002

Une conférence

Une conférence	Proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation
Pays/Territoire	France
La ville	Lille
période	7/07/02 → 10/07/02

Accès au document

10.1145/780506.780521

Contient cette citation

@conference{2b6b64ffa8144ae0a2aa863eeaeac2e9,

title = "A new zero-test for formal power series",

abstract = "In this paper, we present a new zero-test for expressions which are constructed from formal power solutions to algebraic differential equations using the ring operations and differentiation. We also provide a survey of all existing methods that we know of and a detailed comparison of these methods with our approach.",

author = "\{Van der Hoeven\}, Joris",

year = "2002",

month = jan,

day = "1",

doi = "10.1145/780506.780521",

language = "English",

pages = "117--122",

note = "Proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation ; Conference date: 07-07-2002 Through 10-07-2002",

}

TY - CONF

T1 - A new zero-test for formal power series

AU - Van der Hoeven, Joris

PY - 2002/1/1

Y1 - 2002/1/1

N2 - In this paper, we present a new zero-test for expressions which are constructed from formal power solutions to algebraic differential equations using the ring operations and differentiation. We also provide a survey of all existing methods that we know of and a detailed comparison of these methods with our approach.

AB - In this paper, we present a new zero-test for expressions which are constructed from formal power solutions to algebraic differential equations using the ring operations and differentiation. We also provide a survey of all existing methods that we know of and a detailed comparison of these methods with our approach.

U2 - 10.1145/780506.780521

DO - 10.1145/780506.780521

M3 - Paper

AN - SCOPUS:0036042387

SP - 117

EP - 122

T2 - Proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation

Y2 - 7 July 2002 through 10 July 2002

ER -

A new zero-test for formal power series

Résumé

Une conférence

Accès au document

Empreinte digitale

Contient cette citation