• 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 resultant-based solver. The authors...
  • PHCpack

  • Referenced in 203 articles [sw00705]
  • Algorithm 795: PHCpack: A general-purpose 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, open-source 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...
  • CSPLib

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