• Chaff

  • Referenced in 591 articles [sw06916]
  • range of applications in Electronic Design Automation (EDA), as well as in Artificial Intelligence...
  • OTTER

  • Referenced in 320 articles [sw02904]
  • current automated deduction system Otter is designed to prove theorems stated in first-order logic...
  • Control System Toolbox

  • Referenced in 152 articles [sw07643]
  • root locus method, LQR/LQG design, and other interactive and automated techniques. You can validate your...
  • SATIRE

  • Referenced in 40 articles [sw04648]
  • verification and optimization problems in electronic design automation. SATIRE builds on the most recent advances...
  • Zchaff2004

  • Referenced in 21 articles [sw01032]
  • diverse domains such as electronic design automation and artificial intelligence. These applications continue to motivate...
  • ORSEE

  • Referenced in 177 articles [sw11710]
  • based Online Recruitment System, specifically designed for organizing economic experiments. It’s key features ... public and internal experiment calendar, reputation system, automated mailing, pdf output, experimenter rights management...
  • MuJoCo

  • Referenced in 26 articles [sw27214]
  • first full-featured simulator designed from the ground up for the purpose of model-based ... consistent state estimation, system identification and automated mechanism design, and apply them to complex dynamical...
  • AutoDock

  • Referenced in 34 articles [sw09659]
  • suite of automated docking tools. It is designed to predict how small molecules, such...
  • PaGMO/PyGMO

  • Referenced in 12 articles [sw05070]
  • code was intended to help the automated design of interplanetary trajectories and spacecraft transfers...
  • Transfer

  • Referenced in 29 articles [sw21009]
  • Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL. Quotients, subtypes, and other forms ... automation, but it still has many technical limitations. We present an improved, modular design centered ... design is simpler, applicable in more situations, and has more user-friendly automation...
  • Lifting

  • Referenced in 29 articles [sw21010]
  • Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL. Quotients, subtypes, and other forms ... automation, but it still has many technical limitations. We present an improved, modular design centered ... design is simpler, applicable in more situations, and has more user-friendly automation...
  • Isar

  • Referenced in 145 articles [sw04599]
  • communication, or just maintenance). The Intelligible semi-automated reasoning (Isar) approach to readable formal proof ... Isar formal proof language has been designed to satisfy quite contradictory requirements, being both ’declarative ... logic, and integrates a broad range of automated proof methods. Interactive proof development is supported...
  • Why3

  • Referenced in 136 articles [sw04438]
  • correct-by-construction OCaml programs through an automated extraction mechanism. WhyML is also used ... calling external provers, and a well-designed API, allowing to use Why3 as a software...
  • ROSETTA

  • Referenced in 24 articles [sw10969]
  • process have been the principal guiding design parameters for both.par The kernel class library provides ... partial automation of the overall KDD process. Various design choices made during construction...
  • LCF

  • Referenced in 158 articles [sw08360]
  • whose in°uence on the ¯eld of automated reasoning has been diverse and profound ... approach to theorem proving, but he also designed the ML programming language underlying...
  • ASTRX/OBLX

  • Referenced in 5 articles [sw19450]
  • contrast to digital ASIC design, design automation tools for the analog portions of mixed-signal ... largely nonexistent: most analog circuitry is still designed by hand. Synthesis of analog cells promises ... present a new synthesis strategy that can automate fully the path from a circuit topology ... minimum value occurs at a circuit design that best meets the input specifications. This cost...
  • AceFEM

  • Referenced in 75 articles [sw10820]
  • package is a general finite element environment designed to solve multi-physics and multi-field ... includes examples and libraries needed for the automation of the Finite Element Method...
  • iSIGHT

  • Referenced in 8 articles [sw06969]
  • commitment to deliver industry-leading process automation and design optimization solutions, Isight...
  • SOFT

  • Referenced in 5 articles [sw03485]
  • parallel computational framework for the completely automated design of a Vertical Axis Fluid Turbine (VAFT...
  • modeFrontier

  • Referenced in 11 articles [sw08526]
  • party engineering tools, enables the automation of the design simulation process, and facilitates analytic decision...