
TDDS
 Referenced in 7 articles
[sw31513]
 into a finite set of differentially triangular and algebraically simple subsystems whose subsets of equations ... distinctive property of a Thomas decomposition is disjointness of the solution sets of the output...

RealComprehensiveTriangularize
 Referenced in 1 article
[sw32920]
 concept of comprehensive triangular decomposition of parametric semialgebraic systems (RCTD for short) was introduced ... RCTD partitions the parametric space into disjoint semialgebraic sets, above each of which ... finite family of triangular systems. Such a decomposition permits to easily count the number...

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

Ginv
 Referenced in 8 articles
[sw00350]
 Specialized computer algebra system GINV. The computer algebra...

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

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

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

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

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

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

ScaLAPACK
 Referenced in 418 articles
[sw00830]
 ScaLAPACK is an acronym for scalable linear algebra...

BLAS
 Referenced in 500 articles
[sw03216]
 Lowlevel utilities common to many mathematical software...

CPLEX
 Referenced in 2790 articles
[sw04082]
 IBM® ILOG® CPLEX® offers C, C++, Java, .NET...

LINDO
 Referenced in 557 articles
[sw04448]
 LINDO Systems  Optimization Software: Integer Programming, Linear Programming...

mctoolbox
 Referenced in 1521 articles
[sw04827]
 The Matrix Computation Toolbox is a collection of...

MINOS
 Referenced in 459 articles
[sw05095]
 MINOS is a largescale optimization system, for...

OEIS
 Referenced in 4258 articles
[sw07248]
 The OnLine Encyclopedia of Integer Sequence. The...

Janet
 Referenced in 37 articles
[sw07776]
 The Maple package Janet implements the involutive basis...