
Schubert3
 Referenced in 1 article
[sw27181]
 computations in intersection theory and enumerative geometry. The first package for computations in intersection theory ... enumerative geometry is Schubert in Maple which written by Sheldon Katz and Stein A. Stromme ... computations in intersection theory and enumerative geometry. It deals with abstract varieties, vector bundles...

BARON
 Referenced in 305 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

Cinderella
 Referenced in 141 articles
[sw00127]
 An Interactive Geometry Software. Besides support for dynamic...

FGb
 Referenced in 234 articles
[sw00286]
 FGb/Gb libraryGb is a program (191 420 lines...

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

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

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

MapReduce
 Referenced in 234 articles
[sw00546]
 MapReduce is a new parallel programming model initially...

MARS
 Referenced in 5 articles
[sw00549]
 MARS: A MAPLE/MATLAB/C resultantbased solver. The authors...

PHCpack
 Referenced in 203 articles
[sw00705]
 Algorithm 795: PHCpack: A generalpurpose solver for...

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

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

SINGULAR
 Referenced in 1317 articles
[sw00866]
 SINGULAR is a Computer Algebra system (CAS) for...

SCIP
 Referenced in 426 articles
[sw01091]
 SCIP is currently one of the fastest non...

POLSYS_PLP
 Referenced in 18 articles
[sw01238]
 Algorithm 801: POLSYS_PLP. A partitioned linear product...

CUDA
 Referenced in 1138 articles
[sw03258]
 The NVIDIA® CUDA® Toolkit provides a comprehensive development...

MIPLIB
 Referenced in 292 articles
[sw04067]
 A mixed integer (linear) program (mip) is an...

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

Edgebreaker
 Referenced in 53 articles
[sw04117]
 Edgebreaker is a simple technique for compressing three...

CSPLib
 Referenced in 91 articles
[sw04150]
 CSPLib is a library of test problems for...