• 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 search-reduction 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 MEX-file...
  • 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 - search-based 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 (OR-parallelism). 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 BDD-based symbolic methods integrated with a guided search framework. According...
  • Wolfram Functions Site

  • Referenced in 29 articles [sw13597]
  • features of Mathematica. Its built-in functions, symbolic capabilities, high-precision 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 multi-resolution 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 (`star-shaped 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 search-based test data generation), it addresses three distinct...