• ODEPACK

  • Referenced in 200 articles [sw08341]
  • also solvers for systems given in linearly implicit form, A(t,y) dy/dt ... general sparse matrix solvers for the linear systems that arise. Two others use iterative (preconditioned ... these linear systems. The most recent addition is LSODIS, which solves implicit problems with general...
  • nlmdl

  • Referenced in 119 articles [sw27811]
  • serial correlation. For simultaneous nonlinear systems, possibly in implicit form, it computes three-stage least ... option, and for nonlinear dynamic systems, possibly in implicit form, generalized method-of-moments estimates...
  • RICPAC

  • Referenced in 65 articles [sw15253]
  • control and filtering problems for systems in generalized (or implicit or descriptor) state space form ... correlated noise is handled directly. Both system-theoretic balancing and Ward’s balancing...
  • MOOSE

  • Referenced in 39 articles [sw18084]
  • simulation tools. In addition, systems are solved implicitly and fully coupled, employing physics-based preconditioning...
  • Fortress

  • Referenced in 16 articles [sw13026]
  • static checking of an expressive type system, implicit, abundant parallelism managing with work-stealing, extensible...
  • VODE

  • Referenced in 207 articles [sw01005]
  • numerical solution of (stiff and non-stiff) systems of ordinary differential equations. The new package ... used in the solution of the implicit equations by quasi Newton methods. In this paper ... backward differentiation formula methods for stiff systems. They find that the first ones performs better...
  • S-ROCK

  • Referenced in 42 articles [sw11792]
  • handle large systems without linear algebra problems usually encountered with implicit methods. Numerical results...
  • CHEMSODE

  • Referenced in 11 articles [sw00124]
  • systems both accurately and efficiently. These problems are commonly treated with an implicit numerical method ... stiffness that is usually present. The implicit solution technique introduces a large amount of computational ... solve the nonlinear algebraic system derived from the implicit time-stepping method. In this paper...
  • VTK

  • Referenced in 120 articles [sw10593]
  • open-source, freely available software system for 3D computer graphics, image processing and visualization ... methods; and advanced modeling techniques such as: implicit modeling, polygon reduction, mesh smoothing, cutting, contouring...
  • LiquidHaskell

  • Referenced in 4 articles [sw27633]
  • evaluation. When checking an expression, such systems implicitly assume that all the free variables ... sound and precise, a refinement type system for Haskell and the corresponding verification conditions must...
  • VFC package

  • Referenced in 20 articles [sw16729]
  • implicit atlas on a moduli space, which is (roughly) a convenient system of local finite ... general intrinsic strategy for constructing a canonical implicit atlas on any moduli space of pseudo...
  • MANPAK

  • Referenced in 12 articles [sw02154]
  • numerical tasks on general implicitly defined (by a system of underdetermined equations) submanifolds...
  • OPTYap

  • Referenced in 13 articles [sw13883]
  • offers great potential for implicit parallelism, thus allowing parallel systems to often reduce a program ... redundant subcomputations. Our research demonstrates that implicit or-parallelism is a natural fit for logic ... parallel tabling engine for logic programming systems. OPTYap builds on Yap’s efficient sequential Prolog...
  • PMIRKDC

  • Referenced in 32 articles [sw06409]
  • package, MIRKDC, which employs mono-implicit Runge-Kutta schemes within a defect control algorithm ... large, almost block diagonal (ABD) linear systems. The most significant feature of PMIRKDC...
  • GLIMPSE

  • Referenced in 9 articles [sw23326]
  • search through entire file systems. GLIMPSE, which stands for GLobal IMPlicit SEarch, provides indexing...
  • YapOr

  • Referenced in 7 articles [sw13882]
  • that extends the Yap Prolog system to exploit implicit or-parallelism in Prolog programs ... compares favorably with a mature parallel Prolog system such as Muse, both in terms...
  • ABDPACK

  • Referenced in 14 articles [sw01221]
  • almost block bidiagonal systems arising in multiple shooting techniques and implicit Runge-Kutta methods...
  • PROSE

  • Referenced in 4 articles [sw34023]
  • blending of simultaneous-variable mathematical systems such as: implicit non-linear equations systems, ordinary differential...
  • IRKC

  • Referenced in 20 articles [sw00452]
  • intended for the time integration of systems of partial differential equations (PDEs) of diffusion-reaction ... based on a family of implicit-explicit Runge-Kutta-Chebyshev methods which are unconditionally stable ... achieved by exploiting the fact that the implicit terms, originating from the stiff reactions ... over the spatial grid points. Hence, the systems to be solved have a small dimension...
  • CCSTM

  • Referenced in 34 articles [sw33312]
  • sole synchroniza-tion primitive in a system. CCSTM expresses transactional reads and writes as explicit ... reference type. Scala’s flexible method names, implicit parameters, and closures keep the syntax concise...