Results 1  10
of
115
On The Complexity Of Computing Determinants
 COMPUTATIONAL COMPLEXITY
, 2001
"... We present new baby steps/giant steps algorithms of asymptotically fast running time for dense matrix problems. Our algorithms compute the determinant, characteristic polynomial, Frobenius normal form and Smith normal form of a dense n n matrix A with integer entries in (n and (n bi ..."
Abstract

Cited by 47 (17 self)
 Add to MetaCart
We present new baby steps/giant steps algorithms of asymptotically fast running time for dense matrix problems. Our algorithms compute the determinant, characteristic polynomial, Frobenius normal form and Smith normal form of a dense n n matrix A with integer entries in (n and (n bit operations; here denotes the largest entry in absolute value and the exponent adjustment by "+o(1)" captures additional factors for positive real constants C 1 , C 2 , C 3 . The bit complexity (n results from using the classical cubic matrix multiplication algorithm. Our algorithms are randomized, and we can certify that the output is the determinant of A in a Las Vegas fashion. The second category of problems deals with the setting where the matrix A has elements from an abstract commutative ring, that is, when no divisions in the domain of entries are possible. We present algorithms that deterministically compute the determinant, characteristic polynomial and adjoint of A with n and O(n ) ring additions, subtractions and multiplications.
On efficient sparse integer matrix Smith normal form computations
, 2001
"... We present a new algorithm to compute the Integer Smith normal form of large sparse matrices. We reduce the computation of the Smith form to independent, and therefore parallel, computations modulo powers of wordsize primes. Consequently, the algorithm does not suffer from coefficient growth. W ..."
Abstract

Cited by 37 (15 self)
 Add to MetaCart
We present a new algorithm to compute the Integer Smith normal form of large sparse matrices. We reduce the computation of the Smith form to independent, and therefore parallel, computations modulo powers of wordsize primes. Consequently, the algorithm does not suffer from coefficient growth. We have implemented several variants of this algorithm (Elimination and/or BlackBox techniques) since practical performance depends strongly on the memory available. Our method has proven useful in algebraic topology for the computation of the homology of some large simplicial complexes.
On the complexity of the D5 principle
 In Proc. of Transgressive Computing 2006
, 2006
"... The D5 Principle was introduced in 1985 by Jean Della Dora, Claire Dicrescenzo and Dominique Duval in their celebrated note “About a new method for computing in algebraic number fields”. This innovative approach automatizes reasoning based on case discussion and is also known as “Dynamic Evaluation” ..."
Abstract

Cited by 33 (22 self)
 Add to MetaCart
The D5 Principle was introduced in 1985 by Jean Della Dora, Claire Dicrescenzo and Dominique Duval in their celebrated note “About a new method for computing in algebraic number fields”. This innovative approach automatizes reasoning based on case discussion and is also known as “Dynamic Evaluation”. Applications of the D5 Principle have been made in Algebra, Computer Algebra, Geometry and Logic. Many algorithms for solving polynomial systems symbolically need to perform standard operations, such as GCD computations, over coefficient rings that are direct products of fields rather than fields. We show in this paper how asymptotically fast algorithms for polynomials over fields can be adapted to this more general context, thanks to the D5 Principle. 1
Distribution results for lowweight binary representations for pairs of integers, Theoret
 Comput. Sci
, 2004
"... Abstract. We discuss an optimal method for the computation of linear combinations of elements of Abelian groups, which uses signed digit expansions. This has applications in elliptic curve cryptography. We compute the expected number of operations asymptotically (including a periodically oscillating ..."
Abstract

Cited by 22 (17 self)
 Add to MetaCart
Abstract. We discuss an optimal method for the computation of linear combinations of elements of Abelian groups, which uses signed digit expansions. This has applications in elliptic curve cryptography. We compute the expected number of operations asymptotically (including a periodically oscillating second order term) and prove a central limit theorem. Apart from the usual righttoleft (i.e., least significant digit first) approach we also discuss a lefttoright computation of the expansions. This exhibits fractal structures that are studied in some detail. 1.
User interface design with matrix algebra
 ACM Transactions on CHI
, 2004
"... It is usually very hard, both for designers and users, to reason reliably about user interfaces. This article shows that ‘push button ’ and ‘point and click ’ user interfaces are algebraic structures. Users effectively do algebra when they interact, and therefore we can be precise about some importa ..."
Abstract

Cited by 22 (11 self)
 Add to MetaCart
It is usually very hard, both for designers and users, to reason reliably about user interfaces. This article shows that ‘push button ’ and ‘point and click ’ user interfaces are algebraic structures. Users effectively do algebra when they interact, and therefore we can be precise about some important design issues and issues of usability. Matrix algebra, in particular, is useful for explicit calculation and for proof of various user interface properties. With matrix algebra, we are able to undertake with ease unusally thorough reviews of real user interfaces: this article examines a mobile phone, a handheld calculator and a digital multimeter as case studies, and draws general conclusions about the approach and its relevance to design.
Computing Parametric Geometric Resolutions
, 2001
"... Given a polynomial system of n equations in n unknowns that depends on some parameters, we de ne the notion of parametric geometric resolution as a means to represent some generic solutions in terms of the parameters. The coefficients of this resolution are rational functions of the parameters; we f ..."
Abstract

Cited by 20 (7 self)
 Add to MetaCart
Given a polynomial system of n equations in n unknowns that depends on some parameters, we de ne the notion of parametric geometric resolution as a means to represent some generic solutions in terms of the parameters. The coefficients of this resolution are rational functions of the parameters; we first show that their degree is bounded by the Bézout number d n , where d is a bound on the degrees of the input system. We then present a probabilistic algorithm to compute such a resolution; in short, its complexity is polynomial in the size of the output and the probability of success is controlled by a quantity polynomial in the Bézout number. We present several applications of this process, to computations in the Jacobian of hyperelliptic curves and to questions of real geometry.
Fast Computation of Special Resultants
, 2006
"... We propose fast algorithms for computing composed products and composed sums, as well as diamond products of univariate polynomials. These operations correspond to special multivariate resultants, that we compute using power sums of roots of polynomials, by means of their generating series. ..."
Abstract

Cited by 20 (8 self)
 Add to MetaCart
We propose fast algorithms for computing composed products and composed sums, as well as diamond products of univariate polynomials. These operations correspond to special multivariate resultants, that we compute using power sums of roots of polynomials, by means of their generating series.
Change of ordering for regular chains in positive dimension
 IN ILIAS S. KOTSIREAS, EDITOR, MAPLE CONFERENCE 2006
, 2006
"... We discuss changing the variable ordering for a regular chain in positive dimension. This quite general question has applications going from implicitization problems to the symbolic resolution of some systems of differential algebraic equations. We propose a modular method, reducing the problem to d ..."
Abstract

Cited by 16 (7 self)
 Add to MetaCart
We discuss changing the variable ordering for a regular chain in positive dimension. This quite general question has applications going from implicitization problems to the symbolic resolution of some systems of differential algebraic equations. We propose a modular method, reducing the problem to dimension zero and using NewtonHensel lifting techniques. The problems raised by the choice of the specialization points, the lack of the (crucial) information of what are the free and algebraic variables for the new ordering, and the efficiency regarding the other methods are discussed. Strong hypotheses (but not unusual) for the initial regular chain are required. Change of ordering in dimension zero is taken as a subroutine.
Computing the sign or the value of the determinant of an integer matrix, a complexity survey
 JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS
, 2004
"... Computation of the sign of the determ9vSof amWDz[ and the determBvSitself is a challenge for both numhvB5q and exact mactv;W We survey the comWzqDvS of existingmistin to solve these problem when the input is an nnm;9q; A with integer entries. We study the bitcomvSW5[5Wv of the algorithm asymithmW5[ ..."
Abstract

Cited by 16 (3 self)
 Add to MetaCart
Computation of the sign of the determ9vSof amWDz[ and the determBvSitself is a challenge for both numhvB5q and exact mactv;W We survey the comWzqDvS of existingmistin to solve these problem when the input is an nnm;9q; A with integer entries. We study the bitcomvSW5[5Wv of the algorithm asymithmW5[5 n and thenorm of A. Existing approaches rely onnumBDWzv approximW[ comoximW[z5 on exactcomvB[;5vSW or on both types of arithmvSW incom9zqvSWqD c 2003 Elsevier B.V. All rights reserved. Keywords: Determ9v9vm Bitcom9vmv Integer mteger Approxim59 comoxim599 Exact comv55DvS Random5D algorithm 1. I517251716 Com;vm9 the sign or the value of thedetermDvS; nmBqq A is a classicalproblem Numblem mmble are usually focused oncomBW9v the sign via an accurateapproxim;B99 of the determvS;;5 Amer the applications areimvWD;qW problem ofcom9qWvS;;5[ geom9qW that can be reduced to the determ5vS; question; the readerma refer to [11,12,9,10,46,45] and to the bibliography therein. InsymDW;B comW;BvS55 theproblem ofcomDzWv the exact value of the ThismisvqB; is based on work supported in part by the National Science Foundation under grants Nrs. DMS9977392, CCR9988177, and CCR0113121 (Kaltofen) and by the Centre National de la Recherche Scienti#que, Actions Incitatives No. 5929 et STIC LINBOX 2001 (Villard).