
Archive Formal Proofs
 Referenced in 156 articles
[sw28613]
 properties of the proof developments, including size, dependencies, and proof style. This gives some insights...

PROST
 Referenced in 149 articles
[sw12822]
 direct numerical simulation of timedependent viscous incompressible flow of multiple liquids...

ve08
 Referenced in 143 articles
[sw05141]
 always implied by sparsity of G, and depends only on the way in which...

Pegasos
 Referenced in 94 articles
[sw08752]
 example. Since the runtime does not depend directly on the size of the training ... though in this case the runtime does depend linearly on the training set size...

MIM
 Referenced in 128 articles
[sw26139]
 models. These graphs display the structure of dependencies, both associational and causal, between the variables...

Tyrolean
 Referenced in 89 articles
[sw07830]
 Current (non)termination techniques include: approximated dependency graph, argument filtering, bounds, dependency pair method, Knuth...

NESTA
 Referenced in 122 articles
[sw06576]
 wide range of problems does not depend on the fine tuning of several parameters. Comprehensive...

simannf90
 Referenced in 118 articles
[sw05059]
 cost can be predicted in advance, depending only slightly on the starting point...

Vador
 Referenced in 114 articles
[sw06987]
 fields. The unknown f(t,x,v), depending on the time t, the position...

ADIC
 Referenced in 81 articles
[sw03392]
 code and a user’s specification of dependent and independent variables, ADIC generates an augmented ... partial derivatives of all of the specified dependent variables with respect...

TAF
 Referenced in 79 articles
[sw07492]
 flow analysis. TAF applies an intraprocedural data dependence and an interprocedural data flow analysis. Given ... independent and dependent variables of the specified toplevel routine, TAF determines all active routines...

UMAT
 Referenced in 78 articles
[sw08803]
 that includes mechanical behavior; can use solutiondependent state variables; must update the stresses ... solutiondependent state variables to their values at the end of the increment for which...

FeynArts
 Referenced in 107 articles
[sw06474]
 graphical capabilities. It is also no longer dependent on the X platform for topology editing...

LEGO
 Referenced in 107 articles
[sw09685]
 Constructions (GCC) and the Unified Theory of Dependent Types (UTT). LEGO is a powerful tool...

LIMDEP
 Referenced in 76 articles
[sw04925]
 estimation and manipulation of discrete and limited dependent variable models, LIMDEP 10 is now unsurpassed ... stochastic frontier, discrete choice and limited dependent variable models, including models for binary, censored, truncated...

CMAES
 Referenced in 105 articles
[sw05063]
 distribution in the mathbb{R}^n. Pairwise dependencies between the variables in this distribution...

DYNA3D
 Referenced in 105 articles
[sw17036]
 elasticity, plasticity, composites, thermal effects, and rate dependence. In addition, DYNA3D has a sophisticated contact...

CMPGRD
 Referenced in 96 articles
[sw24156]
 Some techniques for solving elliptic and timedependent partial differential equations on composite meshes...

LOF
 Referenced in 86 articles
[sw19311]
 local in that the degree depends on how isolated the object is with respect...

MEBDF
 Referenced in 77 articles
[sw00567]
 numerical solution of time dependent partial differential equations, particularly in two or more space dimensions...