• RealBitangents

  • Referenced in 5 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 354 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • Cinderella

  • Referenced in 153 articles [sw00127]
  • An Interactive Geometry Software. Besides support for dynamic...
  • FGb

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

  • Referenced in 3189 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Macaulay2

  • Referenced in 1923 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Maple

  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

  • Referenced in 263 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 236 articles [sw00705]
  • Algorithm 795: PHCpack: A general-purpose solver for...
  • polymake

  • Referenced in 316 articles [sw00724]
  • polymake is open source software for research in...
  • R

  • Referenced in 9969 articles [sw00771]
  • R is a language and environment for statistical...
  • SageMath

  • Referenced in 1994 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • SINGULAR

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

  • Referenced in 542 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 1325 articles [sw03258]
  • The NVIDIA® CUDA® Toolkit provides a comprehensive development...
  • MIPLIB

  • Referenced in 328 articles [sw04067]
  • A mixed integer (linear) program (mip) is an...
  • CPLEX

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