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

LiteRed
 Referenced in 67 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 31 articles
[sw01934]
 framework, that can symbolically execute multithreaded programs, detect safety violations searching through an unbounded state...

OFMC
 Referenced in 27 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 57 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...

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

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...

SFA
 Referenced in 4 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...

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

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...

SAFARI
 Referenced in 9 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...

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

Wolfram Functions Site
 Referenced in 29 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...

iSAX
 Referenced in 8 articles
[sw37681]
 show how a novel multiresolution symbolic representation can be used to index datasets which ... literature. Our approach allows both fast exact search and ultra fast approximate search. We show...

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...

fREDUCE
 Referenced in 2 articles
[sw35521]
 efficient exhaustive searches of oligonucleotides with a specified number of degenerate IUPAC symbols. On yeast...

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...