• Bertini

  • Referenced in 204 articles [sw06683]
  • Treats positive-dimensional solutions by computing witness sets. Has automatic differentiation which preserves the straightline ... roots Allows for subfunctions. Allows for witness set manipulation via both sampling and membership testing...
  • Bertini_real

  • Referenced in 8 articles [sw09933]
  • dimensional complex irreducible algebraic set in any reasonable number of variables. Using numerical homotopy continuation ... polynomial systems via regeneration from a witness set, a set of real vertices is computed...
  • ELAN

  • Referenced in 2 articles [sw21160]
  • analysis has witnessed a strong trend towards multidimensional analysis of large data sets, for example...
  • CausalFX

  • Referenced in 2 articles [sw15417]
  • set using a variation of the PC algorithm, and an effect bounding method (the Witness...
  • SWIFT

  • Referenced in 3 articles [sw26872]
  • proposed algorithm provides a flexible strategy in setting the border between the accepted and rejected ... surface proteins in Gram-positive bacteria witnesses its efficacy, in terms of both sensitivity ... usual (and somewhat arbitrary) choice of setting a fixed value for the threshold length...
  • SYMBA

  • Referenced in 11 articles [sw08528]
  • used for generating satisfying assignments (e.g., a witness for a bug) or proving unsatisfiability/validity ... solvers. Moreover, SYMBA can optimize a set of objective functions, reusing information between them...
  • Tree Automata

  • Referenced in 3 articles [sw28835]
  • emptiness check with computation of a witness for non-emptiness. The executable algorithms are derived ... regular languages and its closure properties under set operations...
  • APINetworks

  • Referenced in 1 article [sw22341]
  • Arbitrary Computational Environments. The last decade witnessed a great development of the structural and dynamic ... Therefore, systems can be described as a set of, possibly, heterogeneous entities or agents...
  • CoCoA

  • Referenced in 605 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • HOM4PS

  • Referenced in 70 articles [sw00410]
  • HOM4PS-2.0: a software package for solving polynomial...
  • Kronecker

  • Referenced in 105 articles [sw00495]
  • Kronecker is a package for Magma computer algebra...
  • Macaulay2

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

  • Referenced in 4919 articles [sw00545]
  • The result of over 30 years of cutting...
  • Matlab

  • Referenced in 11496 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • PHCpack

  • Referenced in 203 articles [sw00705]
  • Algorithm 795: PHCpack: A general-purpose solver for...
  • RAGlib

  • Referenced in 60 articles [sw00774]
  • A library for real solving polynomial systems of...
  • SINGULAR

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

  • Referenced in 143 articles [sw00961]
  • The software system Theorema provides a uniform logic...
  • iB4e

  • Referenced in 7 articles [sw01421]
  • iB4e: A software framework for parametrizing specialized LP...