Complexity bounds in elimination theory - A survey
This paper is devoted to some last algorithmic progress in classical elimination theory from the complexity point of view. These results will be presented as a short survey (without proofs) treating essentially upper and lower bounds problems. The first aim of this paper is to show that the upper bo...
Guardado en:
Publicado: |
1996
|
---|---|
Materias: | |
Acceso en línea: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03784754_v42_n4-6_p429_Solerno http://hdl.handle.net/20.500.12110/paper_03784754_v42_n4-6_p429_Solerno |
Aporte de: |
id |
paper:paper_03784754_v42_n4-6_p429_Solerno |
---|---|
record_format |
dspace |
spelling |
paper:paper_03784754_v42_n4-6_p429_Solerno2023-06-08T15:40:20Z Complexity bounds in elimination theory - A survey Algebraic variety Complexity Straight line program Algebra Algorithms Mathematical models Polynomials Problem solving Topology Algebraic variety Arithmetic intersection theory Complexity bounds Duality theory Elimination theory Straight line program Computational complexity This paper is devoted to some last algorithmic progress in classical elimination theory from the complexity point of view. These results will be presented as a short survey (without proofs) treating essentially upper and lower bounds problems. The first aim of this paper is to show that the upper bounds results - as much progress as they may represent - seem not to solve satisfactorily the basic problems we are considering. On the other hand we shall also show how both the improvement of general algorithms and the research of lower bounds are related to certain mathematical tools as duality theory or arithmetic intersection theory. 1996 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03784754_v42_n4-6_p429_Solerno http://hdl.handle.net/20.500.12110/paper_03784754_v42_n4-6_p429_Solerno |
institution |
Universidad de Buenos Aires |
institution_str |
I-28 |
repository_str |
R-134 |
collection |
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) |
topic |
Algebraic variety Complexity Straight line program Algebra Algorithms Mathematical models Polynomials Problem solving Topology Algebraic variety Arithmetic intersection theory Complexity bounds Duality theory Elimination theory Straight line program Computational complexity |
spellingShingle |
Algebraic variety Complexity Straight line program Algebra Algorithms Mathematical models Polynomials Problem solving Topology Algebraic variety Arithmetic intersection theory Complexity bounds Duality theory Elimination theory Straight line program Computational complexity Complexity bounds in elimination theory - A survey |
topic_facet |
Algebraic variety Complexity Straight line program Algebra Algorithms Mathematical models Polynomials Problem solving Topology Algebraic variety Arithmetic intersection theory Complexity bounds Duality theory Elimination theory Straight line program Computational complexity |
description |
This paper is devoted to some last algorithmic progress in classical elimination theory from the complexity point of view. These results will be presented as a short survey (without proofs) treating essentially upper and lower bounds problems. The first aim of this paper is to show that the upper bounds results - as much progress as they may represent - seem not to solve satisfactorily the basic problems we are considering. On the other hand we shall also show how both the improvement of general algorithms and the research of lower bounds are related to certain mathematical tools as duality theory or arithmetic intersection theory. |
title |
Complexity bounds in elimination theory - A survey |
title_short |
Complexity bounds in elimination theory - A survey |
title_full |
Complexity bounds in elimination theory - A survey |
title_fullStr |
Complexity bounds in elimination theory - A survey |
title_full_unstemmed |
Complexity bounds in elimination theory - A survey |
title_sort |
complexity bounds in elimination theory - a survey |
publishDate |
1996 |
url |
https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03784754_v42_n4-6_p429_Solerno http://hdl.handle.net/20.500.12110/paper_03784754_v42_n4-6_p429_Solerno |
_version_ |
1768546213362139136 |