Search
Selected: All

TeXmacs-maxima interface

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

The $z$-Transform and Automata-Recognizable Systems of Nonhomogeneous Linear Recurrence Equations over Semirings

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

The acoustic wave equation in the expanding universe. Sachs-Wolfe theorem

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

The complexity of computing the Hilbert polynomial of smooth equidimensional complex projective varieties

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

The DMM bound: multivariate (aggregate) separation bounds

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

The F5 Algorithm in Buchberger's Style

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

The Hilbert scheme of points and its link with border basis

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

The integration of systems of linear PDEs using conservation laws of syzygies

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

The Invar Tensor Package

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

The Invar tensor package: Differential invariants of Riemann

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

The Parametric Solution of Underdetermined linear ODEs

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

The Piranha algebraic manipulator

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

The Power of Vocabulary: The Case of Cyclotomic Polynomials

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

The weighted difference substitutions and Nonnegativity Decision of Forms

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Théorie de Galois effective : aide mémoire

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Time- and Space-Efficient Evaluation of Some Hypergeometric Constants

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Topology of 2D and 3D Rational Curves

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Towards a diagrammatic modeling of the LinBox C++ linear algebra library

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Towards a New ODE Solver Based on Cartan's Equivalence Method

Computer Science – Symbolic Computation
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Towards a Symbolic-Numeric Method to Compute Puiseux Series: The Modular Part

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.