• SEL

  • Referenced in 2 articles [sw19664]
  • implements a novel method for fitting a bounded probability distribution to quantiles (for example stated ... penalized least squares based on a Brier entropy penalty. The package provides methods for fitting ... methods for plotting the distribution, drawing random numbers and calculating quantiles of the obtained distribution...
  • TRIOPT

  • Referenced in 6 articles [sw02486]
  • partitioning algorithm, TRIOPT, for solving low-dimensional bound-constrained black box global optimization problems ... function and their aggregate entropy is calculated. Based on this entropy, partitions that hold ... strategies are efficient in terms of the number of new function evaluations required...
  • ANSYS

  • Referenced in 704 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • Coq

  • Referenced in 1898 articles [sw00161]
  • Coq is a formal proof management system. It...
  • C-XSC

  • Referenced in 110 articles [sw00181]
  • C-XSC. A programming environment for verified scientific...
  • Expokit

  • Referenced in 200 articles [sw00258]
  • Expokit provides a set of routines aimed at...
  • GAP

  • Referenced in 3190 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • gfun

  • Referenced in 144 articles [sw00344]
  • The gfun package provides tools for determining and...
  • gmp

  • Referenced in 282 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • Gmsh

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

  • Referenced in 310 articles [sw00457]
  • A tutorial 2D MATLAB code for solving elliptic...
  • LAPACK

  • Referenced in 1702 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Macaulay2

  • Referenced in 1924 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Magma

  • Referenced in 3344 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

  • Referenced in 5375 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6360 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13559 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • Maxima

  • Referenced in 171 articles [sw00560]
  • Maxima is a system for the manipulation of...
  • mclust

  • Referenced in 312 articles [sw00563]
  • R package mclust: Normal Mixture Modeling for Model...