
OTTER
 Referenced in 310 articles
[sw02904]
 restricting searches for proofs. Otter can also be used as a symbolic calculator...

LiteRed
 Referenced in 64 articles
[sw16341]
 described. It performs the heuristic search of the symbolic IBP reduction rules for loop integrals ... implements also several convenient tools for the search of the symmetry relations, construction...

JavaFAN
 Referenced in 30 articles
[sw01934]
 framework, that can symbolically execute multithreaded programs, detect safety violations searching through an unbounded state...

OFMC
 Referenced in 26 articles
[sw09466]
 symbolic representation of the intruder, and constraint differentiation, which is a general searchreduction technique...

PySRURGS
 Referenced in 2 articles
[sw32436]
 symbolic regression by uniform random global search. Symbolic regression is a type of data analysis ... Free Lunch Theorem argues that random search should be equivalent to other approaches like Genetic ... data analysts and researchers working on symbolic regression problems...

mexFunction
 Referenced in 6 articles
[sw10069]
 same name. MATLAB then searches for a symbol named mexFunction within the MEXfile...

VeriFast
 Referenced in 54 articles
[sw07705]
 recursive functions for specification. Verification proceeds by symbolic execution using an abstract representation of memory ... ground term. Since no significant search is performed by either the verifier...

FloPSy
 Referenced in 3 articles
[sw12793]
 FloPSy  searchbased floating point constraint solving for symbolic execution. Recently there has been ... interest in both, Search–Based Software Testing (SBST), and Dynamic Symbolic Execution (DSE). Each...

Eleven82
 Referenced in 1 article
[sw17445]
 crash states into a symbolic search for a proof that recovery terminates and every recovered...

PEORL
 Referenced in 2 articles
[sw29437]
 method leads to rapid policy search and robust symbolic plans in complex domains. The framework...

SFA
 Referenced in 3 articles
[sw32513]
 symbolic fourier approximation and index for similarity search in high dimensional datasets. Time series analysis ... leads to an exponential growth of the search space. Therefore, index ing an approximation with ... high quality, is desirable. We introduce Symbolic Fourier Approximation (SFA) and the SFA trie which ... respect ively 2–11 for exact similarity search using real world and synthetic data...

SQCS
 Referenced in 1 article
[sw10188]
 this symbolic approach is here illustrated with Grover’s quantum algorithm for database search...

PaReDuX
 Referenced in 1 article
[sw21562]
 approach to parallelizing software for symbolic computation uses search parallelism (ORparallelism). The goal...

Wolf
 Referenced in 2 articles
[sw01299]
 Wolf uses BDDbased symbolic methods integrated with a guided search framework. According...

SAFARI
 Referenced in 8 articles
[sw28669]
 capable of handling existentially quantified formulæ for symbolically representing states. A heuristics, called term abstraction ... quantified variables of invariants to prune the search space efficiently...

Wolfram Functions Site
 Referenced in 27 articles
[sw13597]
 features of Mathematica. Its builtin functions, symbolic capabilities, highprecision numerics, programmatic file manipulation ... addition to the current ability to search for functions and formulas by name, an enhanced...

AHFinderDirect
 Referenced in 25 articles
[sw04972]
 assume that an AH to be searched for is a Strahlkörper (`starshaped region’) with ... points) by Newton’s method, using a `symbolic differentiation’ technique to compute the Jacobian matrix...

Euclide
 Referenced in 3 articles
[sw07261]
 programs. By using a mixture of symbolic and numerical analyses (namely static single assignment form ... constraint propagation, integer linear relaxation and searchbased test data generation), it addresses three distinct...

RTEHunter
 Referenced in 0 articles
[sw25376]
 states, maximum depth of the symbolic execution tree and search strategy in order to find...

PANOW
 Referenced in 5 articles
[sw10156]
 PANOW is a software dedicated to the search of rare words in biological sequences (over ... occurrence times of a string of symbols in a stochastic process with mixing properties (such...