Search
Selected: All

Differential invariants of a Lie group action: syzygies on a generating set

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Differentiation of Kaltofen's division-free determinant algorithm

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Digital Version of Green`s Theorem and its Application to The Coverage Problem in Formal Verification

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Diversification improves interpolation

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Effective Bounds for P-Recursive Sequences

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Effective partitioning method for computing weighted Moore-Penrose inverse

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Efficient algorithm for computing the Euler-Poincaré characteristic of a semi-algebraic set defined by few quadratic inequalities

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Efficient Characteristic Set Algorithms for Equation Solving in Finite Fields and Applications in Cryptanalysis

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Efficient Computation of the Characteristic Polynomial

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Efficient dot product over word-size finite fields

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Efficient polynomial time algorithms computing industrial-strength primitive roots

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Eliminating Human Insight: An Algorithmic Proof of Stembridge's TSPP Theorem

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Explicit factors of some iterated resultants and discriminants

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Explicit formula for the generating series of diagonal 3D rook paths

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Extension of the functionality of the symbolic program FORM by external software

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Factorization in categories of systems of linear partial differential equations

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Factorization of linear partial differential operators and Darboux integrability of nonlinear PDEs

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Fast (Multi-)Evaluation of Linearly Recurrent Sequences: Improvements and Applications

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Fast algorithms for differential equations in positive characteristic

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Fast Arithmetics in Artin-Schreier Towers over Finite Fields

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.