
Bertini
 Referenced in 204 articles
[sw06683]
 Treats positivedimensional 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 Grampositive 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 nonemptiness. 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]
 HOM4PS2.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 highlevel language and interactive...

PHCpack
 Referenced in 203 articles
[sw00705]
 Algorithm 795: PHCpack: A generalpurpose 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...