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

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