• PRMLT

  • Referenced in 1190 articles [sw42125]
  • self-contained. There is no external dependency...
  • SciPy

  • Referenced in 775 articles [sw06293]
  • scientific programming with Python. The SciPy library depends on NumPy, which provides convenient and fast ... powerful enough to be depended upon by some of the world’s leading scientists...
  • HE-E1GODF

  • Referenced in 866 articles [sw06606]
  • Riemann solver to solve the time-dependent one dimensional Euler equations for an ideal...
  • BLAS

  • Referenced in 497 articles [sw03216]
  • includes specialized BLAS implementations, the PORT machine-dependent constant routines, and the MACHAR software ... dynamically determining machine-dependent arithmetic properties...
  • Scikit

  • Referenced in 611 articles [sw08058]
  • documentation, and API consistency. It has minimal dependencies and is distributed under the simplified...
  • COMSOL

  • Referenced in 458 articles [sw04091]
  • arbitrary functions of the dependent variables.Predefined multiphysics-application templates solve many common problem types...
  • spBayes

  • Referenced in 389 articles [sw10160]
  • chain Monte Carlo (MCMC) methods whose efficiency depends upon the specific problem at hand. This...
  • ADIFOR

  • Referenced in 254 articles [sw02185]
  • code and a user’s specification of dependent and independent variables, ADIFOR will generate ... partial derivatives of all of the specified dependent variables with respect...
  • Gerris

  • Referenced in 344 articles [sw00341]
  • main features: Solves the time-dependent incompressible variable-density Euler, Stokes or Navier-Stokes equations...
  • DDE-BIFTOOL

  • Referenced in 333 articles [sw02396]
  • equations with several fixed discrete and/or state-dependent delays. It allows the computation, continuation...
  • NewtonLib

  • Referenced in 298 articles [sw04796]
  • license-charge that depends on the referenced software package and the intended usage. Please read...
  • Agda

  • Referenced in 207 articles [sw09689]
  • Agda is a dependently typed functional programming language: It has inductive families, which are similar ... similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL...
  • alr3

  • Referenced in 283 articles [sw04474]
  • book. As of version 2.0.0, this package depends on the car package. Many functions formerly...
  • Kronos

  • Referenced in 273 articles [sw01270]
  • communication protocols are examples of such time-dependent systems. These systems are often part...
  • PSPLIB

  • Referenced in 269 articles [sw00740]
  • Additionally, they can make available new results. Depending on the progress made in the field...
  • redbKIT

  • Referenced in 255 articles [sw12977]
  • engineering and applied sciences, such as PDEs depending on several parameters and PDE-constrained optimization...
  • copula

  • Referenced in 172 articles [sw14499]
  • package copula: Multivariate Dependence with Copulas. Classes (S4) of commonly used elliptical, Archimedean, extreme value ... density, distribution, random number generation, bivariate dependence measures, perspective and contour plots. Fitting copula models...
  • spatstat

  • Referenced in 142 articles [sw04429]
  • selection, mark correlation functions, segregation indices, mark dependence diagnostics etc. Point process models ... slrm similar to glm. Models may include dependence on covariates, interpoint interaction, cluster formation ... dependence on marks. Fitted models can be simulated automatically. Also provides facilities for formal inference...
  • AProVE

  • Referenced in 160 articles [sw07831]
  • AProVE 1.2: Automatic Termination Proofs in the Dependency Pair Framework. AProVE ... first tool which automates the new dependency pair framework [8] and therefore permits a completely...
  • PLTMG

  • Referenced in 215 articles [sw00717]
  • continuation options to handle PDEs with parameter dependencies. It also provides options for solving several...