Displaying 361 – 380 of 639

Showing per page

Computation of the distance to semi-algebraic sets

Christophe Ferrier (2010)

ESAIM: Control, Optimisation and Calculus of Variations

This paper is devoted to the computation of distance to set, called S, defined by polynomial equations. First we consider the case of quadratic systems. Then, application of results stated for quadratic systems to the quadratic equivalent of polynomial systems (see [5]), allows us to compute distance to semi-algebraic sets. Problem of computing distance can be viewed as non convex minimization problem: d ( u , S ) = inf x S x - u 2 , where u is in n . To have, at least, lower approximation of distance, we consider the dual...

Computing limit linear series with infinitesimal methods

Laurent Evain (2007)

Annales de l’institut Fourier

Alexander and Hirschowitz determined the Hilbert function of a generic union of fat points in a projective space when the number of fat points is much bigger than the greatest multiplicity of the fat points. Their method is based on a lemma which determines the limit of a linear system depending on fat points approaching a divisor.Other Hilbert functions were computed previously by Nagata. In connection with his counter-example to Hilbert’s fourteenth problem, Nagata determined the Hilbert function...

Computing the cardinality of CM elliptic curves using torsion points

François Morain (2007)

Journal de Théorie des Nombres de Bordeaux

Let / ¯ be an elliptic curve having complex multiplication by a given quadratic order of an imaginary quadratic field 𝕂 . The field of definition of is the ring class field Ω of the order. If the prime p splits completely in Ω , then we can reduce modulo one the factors of p and get a curve E defined over 𝔽 p . The trace of the Frobenius of E is known up to sign and we need a fast way to find this sign, in the context of the Elliptic Curve Primality Proving algorithm (ECPP). For this purpose, we propose...

Computing the determinantal representations of hyperbolic forms

Mao-Ting Chien, Hiroshi Nakazato (2016)

Czechoslovak Mathematical Journal

The numerical range of an n × n matrix is determined by an n degree hyperbolic ternary form. Helton-Vinnikov confirmed conversely that an n degree hyperbolic ternary form admits a symmetric determinantal representation. We determine the types of Riemann theta functions appearing in the Helton-Vinnikov formula for the real symmetric determinantal representation of hyperbolic forms for the genus g = 1 . We reformulate the Fiedler-Helton-Vinnikov formulae for the genus g = 0 , 1 , and present an elementary computation...

Currently displaying 361 – 380 of 639