• avalanche.f

  • Referenced in 18 articles [sw13859]
  • avalanche dynamics. Existence, uniqueness and smoothness properties of the analytical solution are shown ... also prove the existence of a unique root of the solution. Moreover, we present...
  • Guess

  • Referenced in 6 articles [sw09215]
  • general formula? Of course, no unique solution exists, owever, by Occam’s razor, we will...
  • INTOPT_90

  • Referenced in 304 articles [sw04705]
  • addition the solutions ought to be unique in these boxes. -- The book contains standard results ... equations into ones which might have tighter solution intervals. The chapter about solving nonlinear systems ... equality constraints (within a box frame). The solution procedures are based on branch and bound ... conditions and computationally executed proofs of the existence of feasible points generalizing Hansen and Walster...
  • gNCA

  • Referenced in 4 articles [sw08821]
  • restrict the decomposition to a unique solution. However, the existing version of NCA cannot incorporate ... theoretical bases including criteria for uniqueness of solution and distinguishability between networks are derived...
  • MIBPB

  • Referenced in 51 articles [sw08106]
  • electrostatic analysis. The MIBPB has a unique feature that it is the first interface technique ... based PBE solver that rigorously enforces the solution and flux continuity conditions at the dielectric ... makes the MIBPB by far the only existing PBE solver that is able to deliver...
  • Woflan

  • Referenced in 36 articles [sw07028]
  • analyzer. Workflow management technology promises a flexible solution for business-process support facilitating the easy ... business processes and modification of existing processes. Unfortunately, todays workflow products have no support ... production. Woflan is a remarkable product with unique features. State-of-the-art Petri...
  • SPNET

  • Referenced in 1 article [sw24380]
  • network. Relying on the definition of viscosity solution for Hamilton-Jacobi equations on networks, recently ... they prove the existence and uniqueness of the solution of the system under consideration...
  • rifsimp

  • Referenced in 2 articles [sw25281]
  • existence and uniqueness information, and can be used as a first step to their solution ... simplified PDE system along with any existence conditions required for the simplified system to hold...
  • GSNCA

  • Referenced in 3 articles [sw25309]
  • Methods for identifying differentially coexpressed pathways also exist but are mostly based on aggregated pairwise ... eigenvector problem with a unique solution. GSNCA tests the null hypothesis that for a gene...
  • SFE Concept

  • Referenced in 1 article [sw25302]
  • CATIA | SFE CONCEPT is a leading solution for early phase simulation-driven conceptual design ... parametric surface models fast and efficiently. The unique paradigm of the attributive single-layer geometry ... entire automotive body structure or even bigger. Existing model components can re-connected to make...
  • ULySS

  • Referenced in 0 articles [sw38474]
  • there is often a unique minimum, or when local minima exist they can unambiguously ... required to assess the validity of the solution. Conclusions. The ULySS package is public, simple...
  • CasCADe

  • Referenced in 1 article [sw27247]
  • datasets for virtual construction planning. However, existing solutions lack adequate visual mechanisms to inspect ... spatio-temporal simultaneity are immediately apparent. This unique framework enables the combination of diverse analytical...
  • Coq

  • Referenced in 1818 articles [sw00161]
  • Coq is a formal proof management system. It...
  • C-XSC 2.0

  • Referenced in 125 articles [sw00182]
  • A C++ class library for extended scientific computing...
  • GAP

  • Referenced in 2948 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • LAPACK

  • Referenced in 1647 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Magma

  • Referenced in 2986 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

  • Referenced in 5168 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6041 articles [sw00554]
  • Almost any workflow involves computing results, and that...