• CoCoA

  • Referenced in 649 articles [sw00143]
  • perform simple and sophisticated operations on multivaraiate polynomials and on various data related to them ... readily compute Grobner bases, syzygies and minimal free resolution, intersection, division, the radical ... Poincare’ series and Hilbert functions, factorization of polynomials, toric ideals. The capabilities of CoCoA...
  • Tensorlab

  • Referenced in 63 articles [sw14255]
  • including numerical complex differentiation, global minimization of bivariate polynomials and rational functions: both real...
  • xorgens

  • Referenced in 7 articles [sw18736]
  • chosen so that their minimal polynomials have a large number of non-zero terms...
  • SLRA

  • Referenced in 24 articles [sw11262]
  • multiple univariate polynomials in the weighted 2-norm. Backward error minimization and Sylvester low-rank...
  • LANGAGE

  • Referenced in 38 articles [sw00501]
  • language given by its minimal automaton is piecewise testable, locally testable, strictly locally testable ... strongly locally testable. New polynomial algorithms are implemented for the two last properties. This package...
  • COPRIN

  • Referenced in 14 articles [sw04826]
  • Minimal and maximal real roots of parametric polynomials using interval analysis In this paper...
  • BBCPOP

  • Referenced in 5 articles [sw31757]
  • relaxations of a class of polynomial optimization (minimization) problems (POPs) with binary, box and complementarity...
  • Algorithm 829

  • Referenced in 58 articles [sw04467]
  • convex quadratic function systematically distorted by polynomials in order to introduce local minima. To determine ... attraction region of the global minimizer, (v) distance from the global minimizer to the vertex...
  • ADS

  • Referenced in 4 articles [sw13387]
  • BFGS variable metric unconstrained minimization together with polynomial interpolation for the one-dimensional search. Scaling...
  • UALGEBRA

  • Referenced in 1 article [sw32186]
  • values of functions are evaluated using minimal polynomials, and a related computer package for MATHEMATICA...
  • Padua2D

  • Referenced in 20 articles [sw04414]
  • stable and efficient Fortran implementation of polynomial interpolation at the Padua points on the square ... unisolvent and their Lebesgue constant has minimal order of growth (log square of the degree...
  • TESTAS

  • Referenced in 19 articles [sw00957]
  • language given by its minimal automaton or by its syntactic semigroup is locally testable, right ... transition graph is verified. Some new effective polynomial time algorithms are used. These algorithms have...
  • NUMATH

  • Referenced in 5 articles [sw00639]
  • trigonometric polynomials; numerical integration, including multiple integrals, solving nonlinear equations; minimization of functions...
  • MDS

  • Referenced in 3 articles [sw16408]
  • Bernstein Bézier Form and Minimal Determining Sets. The applet on this page lets you explore ... bivariate polynomial. In particular it allows you to construct minimal determining sets for bivariate spline...
  • parametric GCD

  • Referenced in 4 articles [sw35034]
  • second polynomial. And, further, this generator can be obtained by computing a minimal Gröbner basis ... ideal. It is proved that in a minimal comprehensive Gröbner system of a parametric quotient ... does not need to consider whether parametric polynomials are primitive w.r.t. the main variable. This...
  • GPGCD

  • Referenced in 9 articles [sw06224]
  • degree, our algorithm finds a pair of polynomials which has a GCD of the given ... approximate GCD is transferred to a constrained minimization problem, then solved with the so-called ... method to accept more than two polynomials with the real coefficients as an input...
  • PieriMaps

  • Referenced in 9 articles [sw12137]
  • describe a software package for constructing minimal free resolutions of graded GL n (ℚ)-equivariant ... describing some algorithms for manipulating polynomial representations of GL n (ℚ) following ideas of Olver...
  • EL2MCS

  • Referenced in 6 articles [sw28624]
  • pinpointing consists in computing a set-wise minimal set of axioms that explains the reason ... classification of an EL+ ontology to a polynomial-size Horn propositional formula has been devised ... EL2MCS, that exploits an important relationship between minimal axiom sets and minimal unsatisfiable subformulas...
  • QPsimplex

  • Referenced in 5 articles [sw31751]
  • problems arise in parametric value-at-risk minimization, portfolio optimization, and robust optimization with ellipsoidal ... uncertainty; and they can be solved by polynomial interior point algorithms for conic quadratic optimization...
  • ELIMINO

  • Referenced in 8 articles [sw11267]
  • method for computing characteristic sets of polynomials and other related operations. By implementing OMEI ... scientific editors and word processing systems, with minimal efforts...