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

qpHPSC
 Referenced in 8 articles
[sw12001]
 relaxation techniques and a realtime iteration scheme. A proof of local contractivity under reasonable ... several applications, especially on a realtime 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 largescale 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 highlevel 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 generalpurpose 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...