
RealBitangents
 Referenced in 3 articles
[sw38940]
 arbitrary fields. Their approach using A1 enumerative geometry suggests that other classical enumerative problems should ... counts of bitangents that depend on their geometry relative to the quartic and this distinguished...

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 327 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

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

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

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

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

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

MapReduce
 Referenced in 253 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 223 articles
[sw00705]
 Algorithm 795: PHCpack: A generalpurpose solver for...

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

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

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

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

SCIP
 Referenced in 486 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 1232 articles
[sw03258]
 The NVIDIA® CUDA® Toolkit provides a comprehensive development...

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

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