Computing an equidimensional decomposition of an algebraic variety by means of geometric resolutions

Gregoire Lecerf

doi:10.1145/345542.345633

Computing an equidimensional decomposition of an algebraic variety by means of geometric resolutions

Gregoire Lecerf

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

28 Citations (Scopus)

Résumé

Let f₁, ..., f_s be polynomials in n variables over a field of characteristic zero and d be the maximum of their total degree. We propose a new probabilistic algorithm for computing a geometric resolution of each equidimensional part of the variety defined by the system f₁ = ··· = f_s = 0. The returned resolutions are encoded by means of Straight-Line Programs and the complexity of the algorithm is polynomial in a geometric degree of the system. In the worst case this complexity is asymptotically polynomial in sdⁿ.

langue originale	Anglais
Pages	209-216
Nombre de pages	8
Les DOIs	https://doi.org/10.1145/345542.345633
état	Publié - 1 janv. 2000
Evénement	Proceedings of the 2000 International Symposium on Symbolic and Algebraic Computation (ISSAC 2000) - St Andrews, UK Durée: 7 août 2000 → 9 août 2000

Une conférence

Une conférence	Proceedings of the 2000 International Symposium on Symbolic and Algebraic Computation (ISSAC 2000)
La ville	St Andrews, UK
période	7/08/00 → 9/08/00

Accès au document

10.1145/345542.345633

Contient cette citation

@conference{d6a1d5ba334a4a9090e039a351a8253c,

title = "Computing an equidimensional decomposition of an algebraic variety by means of geometric resolutions",

abstract = "Let f1, ..., fs be polynomials in n variables over a field of characteristic zero and d be the maximum of their total degree. We propose a new probabilistic algorithm for computing a geometric resolution of each equidimensional part of the variety defined by the system f1 = ··· = fs = 0. The returned resolutions are encoded by means of Straight-Line Programs and the complexity of the algorithm is polynomial in a geometric degree of the system. In the worst case this complexity is asymptotically polynomial in sdn.",

author = "Gregoire Lecerf",

year = "2000",

month = jan,

day = "1",

doi = "10.1145/345542.345633",

language = "English",

pages = "209--216",

note = "Proceedings of the 2000 International Symposium on Symbolic and Algebraic Computation (ISSAC 2000) ; Conference date: 07-08-2000 Through 09-08-2000",

}

TY - CONF

T1 - Computing an equidimensional decomposition of an algebraic variety by means of geometric resolutions

AU - Lecerf, Gregoire

PY - 2000/1/1

Y1 - 2000/1/1

N2 - Let f1, ..., fs be polynomials in n variables over a field of characteristic zero and d be the maximum of their total degree. We propose a new probabilistic algorithm for computing a geometric resolution of each equidimensional part of the variety defined by the system f1 = ··· = fs = 0. The returned resolutions are encoded by means of Straight-Line Programs and the complexity of the algorithm is polynomial in a geometric degree of the system. In the worst case this complexity is asymptotically polynomial in sdn.

AB - Let f1, ..., fs be polynomials in n variables over a field of characteristic zero and d be the maximum of their total degree. We propose a new probabilistic algorithm for computing a geometric resolution of each equidimensional part of the variety defined by the system f1 = ··· = fs = 0. The returned resolutions are encoded by means of Straight-Line Programs and the complexity of the algorithm is polynomial in a geometric degree of the system. In the worst case this complexity is asymptotically polynomial in sdn.

U2 - 10.1145/345542.345633

DO - 10.1145/345542.345633

M3 - Paper

AN - SCOPUS:0033658326

SP - 209

EP - 216

T2 - Proceedings of the 2000 International Symposium on Symbolic and Algebraic Computation (ISSAC 2000)

Y2 - 7 August 2000 through 9 August 2000

ER -

Computing an equidimensional decomposition of an algebraic variety by means of geometric resolutions

Résumé

Une conférence

Accès au document

Empreinte digitale

Contient cette citation