• ABAQUS

  • Referenced in 1616 articles [sw04215]
  • problems covering a vast spectrum of industrial applications. In the automotive industry engineering work groups...
  • Matlab

  • Referenced in 13702 articles [sw00558]
  • MATLAB for a range of applications, including signal processing and communications, image and video processing ... than a million engineers and scientists in industry and academia use MATLAB, the language...
  • MIPLIB

  • Referenced in 334 articles [sw04067]
  • instances from various academic and industrial applications suited for benchmarking and testing of mip solution...
  • FEATFLOW

  • Referenced in 209 articles [sw04254]
  • Education of students, scientific research and industrial application...
  • Coq

  • Referenced in 1906 articles [sw00161]
  • interactive development of machine-checked proofs. Typical applications include the formalization of programming languages semantics ... project or Java Card EAL7 certification in industrial context), the formalization of mathematics...
  • SNOPT

  • Referenced in 556 articles [sw02300]
  • important application is to trajectory optimization in the aerospace industry. Numerical results are given...
  • CRONE

  • Referenced in 185 articles [sw07382]
  • Toolbox has been used by industrial partners in many applications. The last two decades have...
  • IPARS

  • Referenced in 63 articles [sw12886]
  • enhanced oil and gas recovery in industrial applications...
  • DYNAMO

  • Referenced in 264 articles [sw01227]
  • originally for industrial dynamics but was soon extended to other applications, including population and resource...
  • MBSPACK

  • Referenced in 41 articles [sw02146]
  • versatile and competitive simulation tool. Several industrial applications illustrate the performance of the algorithms. Using...
  • TOUGH

  • Referenced in 61 articles [sw20313]
  • universities, government organizations, and private industry for applications to nuclear waste disposal, environmental remediation problems...
  • GOLOG

  • Referenced in 173 articles [sw02159]
  • well suited for applications in high level control of robots and industrial processes, intelligent software...
  • Mosek

  • Referenced in 509 articles [sw04618]
  • problems. Such problems occurs frequently in Financial applications e.g. portfolio management, Supply chain management, Analog ... currently employed widely in the financial industry. MOSEK has also been employed extensively in energy...
  • Chaff

  • Referenced in 591 articles [sw06916]
  • problem instances encountered in a range of applications in Electronic Design Automation (EDA), as well ... find significant use in both research and industry. Most existing complete solvers are variants...
  • XFEM

  • Referenced in 391 articles [sw01026]
  • kinematic hardening. To illustrate the possible applications of our paradigm, we present 2D linear elastic ... dimensions as well as complex 3D industrial problems...
  • LIGGGHTS

  • Referenced in 20 articles [sw18119]
  • goal to apply it to industrial applications. See http://www.liggghts.com/ for documentation...
  • DFL

  • Referenced in 35 articles [sw05163]
  • problems arises frequently in many industrial and scientific applications and this motivates the increasing interest...
  • FUN3D

  • Referenced in 52 articles [sw13801]
  • groups at NASA Langley, industry, and academia. (See the Applications section of this manual.) Internally...
  • FLICA-OVAP

  • Referenced in 16 articles [sw18356]
  • different core concepts and multiple industrial applications, several models coexist in FLICA-OVAP platform ... numerical and physical models and overview of applications. In: Proceedings of NURETH-11, Avignon, France ... code CATHARE). Some preliminary computations related to industrial needs will be presented in this paper...
  • Scheme

  • Referenced in 16 articles [sw13072]
  • research and a broad range of industrial applications. This thoroughly updated edition of “The Scheme...