Title | Effective Methods in Algebraic Geometry [electronic resource] / edited by Teo Mora, Carlo Traverso |
---|---|
Imprint | Boston, MA : Birkhรคuser Boston : Imprint: Birkhรคuser, 1991 |
Connect to | http://dx.doi.org/10.1007/978-1-4612-0441-1 |
Descript | XIV, 502 p. online resource |
On Lack of Effectiveness in Semi-algebraic Geometry -- A simple constructive proof of Canonical Resolution of Singularities -- Local Membership Problems for Polynomial Ideals -- Un Algorithme pour le Calcul des Rรฉsultants -- On algorithms for real algebraic plane curves -- Duality methods for the membership problem -- Exemples dโensembles de Points en Position Uniforme -- Efficient Algorithms and Bounds for Wu-Ritt Characteristic Sets -- Noetherian Properties and Growth of some Associative Algebras -- Codes and Elliptic Curves -- Algorithmes โ disons rapides โ pour la dรฉcomposition dโune variรฉtรฉ algรฉbrique en composantes irrรฉductibles et รฉquidimensionnelles -- Complexity of Solving Systems of Linear Equations over the Rings of Differential Operators -- Membership problem, Representation problem and the Computation of the Radical for one-dimensional Ideals -- On the Complexity of Zero-dimensional Algebraic Systems -- A Single Exponential Bound on the Complexity of Computing Grรถbner Bases of Zero Dimensional Ideals -- Algorithms for a Multiple Algebraic Extension -- Elementary constructive theory of ordered fields -- Effective real Nullstellensatz and variants -- Algorithms for the Solution of Systems of Linear Equations in Commutative Rings -- Une conjecture sur les anneaux de Chow A(G, ?) renforcรฉe par un calcul formel -- Construction de courbes de genre 2 ร partir de leurs modules -- Computing Syzygies ร la Gau?-Jordan -- The non-scalar Model of Complexity in Computational Geometry -- Gรฉomรฉtrie et Interpretations Gรฉnรฉriques, un Algorithme -- Canonical Bases: Relations with Standard Bases, Finiteness Conditions and Application to Tame Automorphisms -- The tangent cone algorithm and some applications to local algebraic geometry -- Effective Methods for Systems of Algebraic Partial Differential Equations -- Finding roots of equations involving functions defined by first order algebraic differential equations -- Some Effective Methods in the Openness of Loci for Cohen-Macaulay and Gorenstein Properties -- Sign determination on zero dimensional sets -- A Classification of Finite-dimensional Monomial Algebras -- An algorithm related to compactifications of adjoint groups -- Deciding Consistency of Systems of Polynomial in Exponent Inequalities in Subexponential Time