• ABAQUS

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

  • Referenced in 11496 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 292 articles [sw04067]
  • instances from various academic and industrial applications suited for benchmarking and testing of mip solution...
  • FEATFLOW

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

  • Referenced in 1751 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 495 articles [sw02300]
  • important application is to trajectory optimization in the aerospace industry. Numerical results are given...
  • CRONE

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

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

  • Referenced in 42 articles [sw12886]
  • enhanced oil and gas recovery in industrial applications...
  • MBSPACK

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

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

  • Referenced in 561 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...
  • TOUGH

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

  • Referenced in 357 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...
  • Mosek

  • Referenced in 349 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...
  • Scheme

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

  • Referenced in 12 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...
  • rbminer

  • Referenced in 11 articles [sw00783]
  • last two decades, widening the scope of application to more general scenarios. In contrast ... theory of regions and its industrial application...
  • VPM

  • Referenced in 11 articles [sw07364]
  • formal specification techniques in industrial applications. In the paper, we propose a multilevel metamodeling technique...
  • Mathcad

  • Referenced in 130 articles [sw04210]
  • Mathcad is the Industry Standard Software for Engineering Calculations. PTC Mathcad combines the ease ... powerful features of dedicated engineering calculations application. Its document-centric, WYSIWYG interface gives...