• 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 B-spline basis. We present a practical framework ... extraction operator that maps local Tchebycheffian Bernstein functions to the MDTB-spline 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 object-oriented 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 high-level 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...