• RRL

  • Referenced in 55 articles [sw28904]
  • developed as an environment for experimenting with automated reasoning algorithms for equational logic based ... been used to solve hard and challenging mathematical problems in automated reasoning literature as well...
  • CalcHEP

  • Referenced in 52 articles [sw06470]
  • high level of automation. Other packages created to solve a similar problem are FeynArts/FeynCalc...
  • MaLARea

  • Referenced in 48 articles [sw10278]
  • simple metasystem iteratively combining deductive Automated Reasoning tools (now the E and the SPASS ... theories, i.e. on a large number of problems which in a consistent fashion use many ... from previous experience to attack difficult unsolved problems. The first version of MaLARea has been ... difficult (chainy) division of the MPTP Challenge solving 142 problems out of 252, in comparison...
  • STP

  • Referenced in 44 articles [sw34795]
  • solve many kinds of problems generated by program analysis tools, theorem provers, automated bug finders...
  • ANSYS-CFX

  • Referenced in 106 articles [sw06391]
  • been applied to solve wide-ranging fluid flow problems for over 20 years ... environment, with extensive capabilities for customization and automation using session files, scripting and a powerful...
  • SATzilla

  • Referenced in 99 articles [sw06281]
  • previous work, we describe SATzilla, an automated approach for constructing per-instance algorithm portfolios ... approach takes as input a distribution of problem instances and a set of component solvers ... such as mean runtime, percent of instances solved, or score in a competition). The excellent ... making the portfolio construction scalable and completely automated, and improving it by integrating local search...
  • AceFEM

  • Referenced in 69 articles [sw10820]
  • element environment designed to solve multi-physics and multi-field problems. The package explores advantages ... includes examples and libraries needed for the automation of the Finite Element Method...
  • SATIRE

  • Referenced in 39 articles [sw04648]
  • suited to verification and optimization problems in electronic design automation. SATIRE builds on the most ... performance: a facility for incrementally solving sets of related problems, and the ability to handle...
  • ETPS

  • Referenced in 160 articles [sw06302]
  • proving include hardware and software verification, partial automation of various mathematical activities, promoting development ... contain cuts into expansion proofs, and solving unification problems in higher-order logic...
  • ArgoTriCS

  • Referenced in 4 articles [sw15542]
  • ArgoTriCS — automated triangle construction solver. In this paper, a method for automatically solving a class ... straightedge-and-compass construction problems is proposed. These are the problems where the goal ... current implementation can solve a large number of triangle construction problems. To our knowledge this ... first systematic automated construction solver focused on solving problems from the corpus given. This...
  • TPS

  • Referenced in 73 articles [sw00973]
  • proving include hardware and software verification, partial automation of various mathematical activities, promoting development ... contain cuts into expansion proofs, and solving unification problems in higher-order logic...
  • SWIG

  • Referenced in 53 articles [sw04607]
  • they provide scientists with an interpreted problem solving environment and they form a modular framework ... Fortran. However, a common problem faced by the developers of a scripted scientific application ... paper describes SWIG, an extensible compiler that automates the task of integrating compiled code with...
  • Monotonox

  • Referenced in 4 articles [sw10406]
  • sorts than non-monotone sorts. Many interesting problems are more naturally expressed in many-sorted ... most existing highly-efficient automated theorem provers solve problems only in unsorted logic. Conversely, some...
  • SRASS

  • Referenced in 12 articles [sw21370]
  • solve many problems that cannot be solved alone by the underlying conventional automated reasoning system...
  • JModelica

  • Referenced in 17 articles [sw11924]
  • Solve your complex simulation and optimization problems using state of the art numerical algorithms. Automate...
  • ASASP

  • Referenced in 5 articles [sw06350]
  • ASASP: automated symbolic analysis of security policies. We describe asasp, a symbolic reachability procedure ... symbolic reachability procedure to solve security analysis problems. Checks for fix-point-reduced ... satisfiability problems-are mechanized by Satisfiability Modulo Theories solving and Automated Theorem Proving. asasp ... successfully applied to the analysis of benchmark problems arising in (extensions of) the Role-Based...
  • Elastix

  • Referenced in 19 articles [sw11747]
  • that are commonly used to solve medical image registration problems. The modular design of elastix ... specific application. The command-line interface enables automated processing of large numbers of data sets...
  • pLoc-mPlant

  • Referenced in 27 articles [sw25191]
  • this, it is indispensable to develop an automated method for fast and accurate identification ... this regard, the problem is far from being solved yet. Most of the existing methods...
  • PROSE

  • Referenced in 4 articles [sw34023]
  • automate and solve them, added to the procedural syntax. These automated system problems were considered ... could not be reduced in formulation to solve piecewise, or by algebra manipulation (e.g. substitution...
  • MLbase

  • Referenced in 7 articles [sw15433]
  • automating the task of ML pipeline construction. The optimizer solves a search problem over feature...