Search
Selected: All

Computing generalized inverses using LU factorization of matrix product

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Computing Igusa's Local Zeta Functions of Univariate Polynomials, and Linear Feedback Shift Registers

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Computing modular correspondences for abelian varieties

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Computing Puiseux Series for Algebraic Surfaces

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Computing rational points in convex semi-algebraic sets and SOS decompositions

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Computing Semi-algebraic Invariants for Polynomial Dynamical Systems

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Computing sparse multiples of polynomials

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Computing spectral sequences

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Computing the fixing group of a rational function

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Computing the Hermite Form of a Matrix of Ore Polynomials

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Computing the Kalman form

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Computing the Rank and a Small Nullspace Basis of a Polynomial Matrix

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Connecting Gröbner Bases Programs with Coq to do Proofs in Algebra, Geometry and Arithmetics

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Continued Fraction Expansion of Real Roots of Polynomial Systems

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Deciding Regularity of the Set of Instances of a Set of Terms with Regular Constraints is EXPTIME-Complete

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Deflation and Certified Isolation of Singular Zeros of Polynomial Systems

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Dense Linear Algebra over Finite Fields: the FFLAS and FFPACK packages

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Detecting lacunary perfect powers and computing their roots

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Detecting Simultaneous Integer Relations for Several Real Vectors

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Differential Equations for Algebraic Functions

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0
  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.