• MuShROOM

  • Referenced in 8 articles [sw12000]
  • relaxation techniques and a real-time iteration scheme. A proof of local contractivity under reasonable ... several applications, especially on a real-time predictive cruise control problem...
  • qpHPSC

  • Referenced in 8 articles [sw12001]
  • relaxation techniques and a real-time iteration scheme. A proof of local contractivity under reasonable ... several applications, especially on a real-time predictive cruise control problem...
  • ANSYS

  • Referenced in 654 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • ACL2

  • Referenced in 277 articles [sw00060]
  • ACL2 is both a programming language in which...
  • CGAL

  • Referenced in 350 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Coq

  • Referenced in 1776 articles [sw00161]
  • Coq is a formal proof management system. It...
  • LANCELOT

  • Referenced in 295 articles [sw00500]
  • LANCELOT. A Fortran package for large-scale nonlinear...
  • LGO

  • Referenced in 90 articles [sw00516]
  • The program system LGO serves to solve global...
  • MA57

  • Referenced in 86 articles [sw00536]
  • MA57 - a code for the solution of sparse...
  • Maple

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

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

  • Referenced in 11969 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • R

  • Referenced in 8180 articles [sw00771]
  • R is a language and environment for statistical...
  • SUNDIALS

  • Referenced in 209 articles [sw00927]
  • SUNDIALS was implemented with the goal of providing...
  • SuperLU

  • Referenced in 170 articles [sw00930]
  • SuperLU is a general purpose library for the...
  • TSPLIB

  • Referenced in 660 articles [sw00983]
  • TSPLIB is a library of sample instances for...
  • UMFPACK

  • Referenced in 347 articles [sw00989]
  • An ANSI C code for sparse LU factorization...
  • ML

  • Referenced in 512 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • Modula

  • Referenced in 55 articles [sw01224]
  • The Modula programming language is a descendant of...
  • DUNE

  • Referenced in 140 articles [sw01466]
  • DUNE, the Distributed and Unified Numerics Environment is...