
LSSVMlab
 Referenced in 26 articles
[sw07367]
 risk minimization. In the methods one solves convex optimization problems, typically quadratic programs. Least Squares ... solving linear KKT systems. LSSVMs are closely related to regularization networks and Gaussian processes ... such as kernel Fisher discriminant analysis and extensions to unsupervised learning, recurrent networks and control...

SReachTools
 Referenced in 6 articles
[sw30627]
 SReachTools implements several new algorithms based on convex optimization, computational geometry, and Fourier transforms ... used to perform probabilistic verification of closedloop systems and can also perform controller synthesis ... /unmhscl/SReachTools, and it is designed to be extensible and user friendly...

sccf
 Referenced in 2 articles
[sw37297]
 CVXPY extension for (approximately) minimizing a sum of clipped convex functions. The algorithms used ... clipped convex functions. We consider the problem of minimizing a sum of clipped convex functions ... problem of minimizing the sum of clipped convex functions is NPhard, we present some ... makes the problem amenable to mixedinteger convex programming and yields computationally tractable lower bounds...

ANSYS
 Referenced in 713 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

CoCoA
 Referenced in 659 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Coq
 Referenced in 1906 articles
[sw00161]
 Coq is a formal proof management system. It...

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

LAPACK
 Referenced in 1713 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

Macaulay2
 Referenced in 1958 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Magma
 Referenced in 3363 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

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

Mathematica
 Referenced in 6445 articles
[sw00554]
 Almost any workflow involves computing results, and that...

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

NAG
 Referenced in 425 articles
[sw00610]
 Produced by experts for use in a variety...

nauty
 Referenced in 625 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...

polymake
 Referenced in 328 articles
[sw00724]
 polymake is open source software for research in...

QEPCAD
 Referenced in 285 articles
[sw00752]
 QEPCAD B: A program for computing with semi...

R
 Referenced in 10196 articles
[sw00771]
 R is a language and environment for statistical...

RAGlib
 Referenced in 66 articles
[sw00774]
 A library for real solving polynomial systems of...

REDUCE
 Referenced in 746 articles
[sw00789]
 REDUCE is an interactive system for general algebraic...