
CORSAR
 Referenced in 2 articles
[sw11695]
 fragments so that one can use sliding scheduling methods and optimize parallelizing processes when processing...

GAP
 Referenced in 2735 articles
[sw00320]
 GAP is a system for computational discrete algebra...

Maple
 Referenced in 4956 articles
[sw00545]
 The result of over 30 years of cutting...

Matlab
 Referenced in 11649 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MiniSat
 Referenced in 524 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

SageMath
 Referenced in 1538 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

Sostools
 Referenced in 264 articles
[sw00891]
 We are pleased to introduce SOSTOOLS, a free...

SuperLU
 Referenced in 166 articles
[sw00930]
 SuperLU is a general purpose library for the...

SNOPT
 Referenced in 495 articles
[sw02300]
 SNOPT: An SQP algorithm for largescale constrained...

SPIN
 Referenced in 699 articles
[sw03455]
 Spin is a popular opensource software tool...

PVS
 Referenced in 603 articles
[sw03484]
 PVS is a verification system: that is, a...

SeDuMi
 Referenced in 1156 articles
[sw04002]
 SeDuMi is a Matlab toolbox for solving optimization...

SDPT3
 Referenced in 597 articles
[sw04009]
 This software is designed to solve conic programming...

MUMPS
 Referenced in 398 articles
[sw04013]
 Solution of large linear systems with symmetric positive...

UCIml
 Referenced in 2945 articles
[sw04074]
 UC Irvine Machine Learning Repository. We currently maintain...

FFTW
 Referenced in 457 articles
[sw04126]
 FFTW is a C subroutine library for computing...

LINPACK
 Referenced in 512 articles
[sw04209]
 LINPACK is a collection of Fortran subroutines that...

FLUENT
 Referenced in 413 articles
[sw04263]
 FLUENT is a Computational Fluid Dynamics (CFD) code...

Simulink
 Referenced in 702 articles
[sw04348]
 Simulink® is an environment for multidomain simulation and...