
SYNAPS
 Referenced in 24 articles
[sw00941]
 univariate and multivariate polynomial (in the monomial, Horner or Bernstein basis), parameterised by their coefficients ... contains solvers for univariate and multivariate polynomials, tools for manipulating algebraic numbers, for computing univariate...

Algorithm 1020
 Referenced in 1 article
[sw41905]
 characterizing properties of the classical polynomial Bspline basis. We present a practical framework ... extraction operator that maps local Tchebycheffian Bernstein functions to the MDTBspline basis of interest...

BARON
 Referenced in 361 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

BPOLY
 Referenced in 13 articles
[sw00089]
 Algorithm 812: BPOLY: An objectoriented library of...

Coq
 Referenced in 1906 articles
[sw00161]
 Coq is a formal proof management system. It...

Gmsh
 Referenced in 783 articles
[sw00366]
 Gmsh is a 3D finite element grid generator...

Isabelle
 Referenced in 719 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

ISOGAT
 Referenced in 318 articles
[sw00457]
 A tutorial 2D MATLAB code for solving elliptic...

LAPACK
 Referenced in 1713 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

LSQR
 Referenced in 410 articles
[sw00530]
 Algorithm 583: LSQR: Sparse Linear Equations and Least...

Macaulay2
 Referenced in 1958 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Maple
 Referenced in 5403 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 6445 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 13702 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MetiTarski
 Referenced in 54 articles
[sw00573]
 Many inequalities involving the functions ln, exp, sin...

MultRoot
 Referenced in 100 articles
[sw00604]
 Algorithm 835: MultRoot  a Matlab package for computing...

NAG
 Referenced in 425 articles
[sw00610]
 Produced by experts for use in a variety...

ORTHPOL
 Referenced in 82 articles
[sw00659]
 Algorithm 726: ORTHPOL  A package of routines for...

Padua2DM
 Referenced in 17 articles
[sw00668]
 Padua2DM: Fast interpolation and cubature at the Padua...

PARI/GP
 Referenced in 655 articles
[sw00680]
 PARI/GP is a widely used Computer Algebra System...