• 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 time-dependent 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 run-time 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 top-level routine, TAF determines all active routines...
  • UMAT

  • Referenced in 78 articles [sw08803]
  • that includes mechanical behavior; can use solution-dependent state variables; must update the stresses ... solution-dependent 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...
  • CMA-ES

  • 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 time-dependent 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...