
HEE1GODF
 Referenced in 752 articles
[sw06606]
 Riemann solver to solve the timedependent one dimensional Euler equations for an ideal...

SciPy
 Referenced in 492 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...

BLAS
 Referenced in 483 articles
[sw03216]
 includes specialized BLAS implementations, the PORT machinedependent constant routines, and the MACHAR software ... dynamically determining machinedependent arithmetic properties...

COMSOL
 Referenced in 367 articles
[sw04091]
 arbitrary functions of the dependent variables.Predefined multiphysicsapplication templates solve many common problem types...

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

ADIFOR
 Referenced in 243 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...

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

DDEBIFTOOL
 Referenced in 304 articles
[sw02396]
 equations with several fixed discrete and/or statedependent delays. It allows the computation, continuation...

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

NewtonLib
 Referenced in 265 articles
[sw04796]
 licensecharge that depends on the referenced software package and the intended usage. Please read...

Kronos
 Referenced in 261 articles
[sw01270]
 communication protocols are examples of such timedependent systems. These systems are often part...

Gerris
 Referenced in 259 articles
[sw00341]
 main features: Solves the timedependent incompressible variabledensity Euler, Stokes or NavierStokes equations...

Agda
 Referenced in 182 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...

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

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

spatstat
 Referenced in 129 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 146 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...

copula
 Referenced in 132 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...

ASSAT
 Referenced in 168 articles
[sw02524]
 ground logic program P, ASSAT(X), depending on the SAT solver X used, works...

redbKIT
 Referenced in 162 articles
[sw12977]
 engineering and applied sciences, such as PDEs depending on several parameters and PDEconstrained optimization...