• TDDS

  • Referenced in 7 articles [sw31513]
  • into a finite set of differentially triangular and algebraically simple subsystems whose subsets of equations ... distinctive property of a Thomas decomposition is disjointness of the solution sets of the output...
  • RealComprehensiveTriangularize

  • Referenced in 1 article [sw32920]
  • concept of comprehensive triangular decomposition of parametric semi-algebraic systems (RCTD for short) was introduced ... RCTD partitions the parametric space into disjoint semi-algebraic sets, above each of which ... finite family of triangular systems. Such a decomposition permits to easily count the number...
  • GAP

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

  • Referenced in 8 articles [sw00350]
  • Specialized computer algebra system GINV. The computer algebra...
  • LAPACK

  • Referenced in 1702 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Magma

  • Referenced in 3344 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

  • Referenced in 5375 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6360 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • nauty

  • Referenced in 609 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • REDUCE

  • Referenced in 746 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...
  • ScaLAPACK

  • Referenced in 418 articles [sw00830]
  • ScaLAPACK is an acronym for scalable linear algebra...
  • BLAS

  • Referenced in 500 articles [sw03216]
  • Low-level utilities common to many mathematical software...
  • CPLEX

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

  • Referenced in 557 articles [sw04448]
  • LINDO Systems - Optimization Software: Integer Programming, Linear Programming...
  • mctoolbox

  • Referenced in 1521 articles [sw04827]
  • The Matrix Computation Toolbox is a collection of...
  • MINOS

  • Referenced in 459 articles [sw05095]
  • MINOS is a large-scale optimization system, for...
  • OEIS

  • Referenced in 4258 articles [sw07248]
  • The On-Line Encyclopedia of Integer Sequence. The...
  • Janet

  • Referenced in 37 articles [sw07776]
  • The Maple package Janet implements the involutive basis...