• ETPS

  • Referenced in 157 articles [sw06302]
  • various mathematical activities, promoting development of formal theories in a wide variety of disciplines, deductive ... order logic interactively, automatically, or in a mixture of these modes, though in automatic mode ... Introduction to Mathematical Logic and Type Theory: To Truth Through Proof, Second Edition, Kluwer Academic...
  • TPS

  • Referenced in 71 articles [sw00973]
  • various mathematical activities, promoting development of formal theories in a wide variety of disciplines, deductive ... order logic interactively, automatically, or in a mixture of these modes, though in automatic mode...
  • GQRAT

  • Referenced in 35 articles [sw00373]
  • quadrature rules that are exact for a mixture of polynomials and rational functions, the latter ... present in the integrand. The underlying theory is presented as well as methods for constructing...
  • Refprop

  • Referenced in 36 articles [sw24947]
  • rules to the Helmholtz energy of the mixture components; it uses a departure function ... method, or in some cases the friction theory method...
  • GMMBAYES

  • Referenced in 1 article [sw14964]
  • class conditional probability densities constructed by Gaussian mixture models and their usage in classification ... classification) based on statistical theory (e.g., Bayesian inference) and Gaussian mixture model probability densities...
  • BinClass

  • Referenced in 1 article [sw14471]
  • mathematical foundations and theory of clustering, cumulative classification and mixture classification. We also introduce methods...
  • CAVA

  • Referenced in 2 articles [sw28570]
  • verifying important algorithmic parts of automata theory as well as its applications in model checking ... checking have to be verified. Otherwise a mixture of verified and unverified components would undermine...
  • skewtools

  • Referenced in 1 article [sw30335]
  • functions related to following topics: 1. Information Theory: Shannon Entropy and Kullback-Leibler divergence ... Heteroscedastic Nonlinear Regression Growth model with scale mixture of Skew-Normal distributions (Normal, T-Student...
  • MCBC

  • Referenced in 1 article [sw12507]
  • these polynomials. The transport properties of gaseous mixtures of atoms and/or ions are generally determined ... omega integrals of transport theory and defined by the differential cross section. Thus the matrix...
  • ANSYS

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

  • Referenced in 197 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • BARON

  • Referenced in 330 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • Cinderella

  • Referenced in 152 articles [sw00127]
  • An Interactive Geometry Software. Besides support for dynamic...
  • CoCoA

  • Referenced in 639 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • EVIM

  • Referenced in 10 articles [sw00255]
  • EVIM: a software package for extremel value analysis...
  • FGb

  • Referenced in 244 articles [sw00286]
  • FGb/Gb libraryGb is a program (191 420 lines...
  • GAUSS

  • Referenced in 119 articles [sw00322]
  • The GAUSS Mathematical and Statistical System is a...
  • GLOB

  • Referenced in 36 articles [sw00357]
  • GLOB -- a new VNS-based software for global...
  • Gmsh

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