• 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 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 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 - 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...
  • 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 (OR-parallelism). The goal...
  • Wolf

  • Referenced in 2 articles [sw01299]
  • Wolf uses BDD-based 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 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...
  • 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...
  • 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...
  • 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...