• Speedith

  • Referenced in 6 articles [sw19455]
  • Speedith - a diagrammatic reasoner for spider diagrams. In this paper, we introduce Speedith which...
  • GEX

  • Referenced in 35 articles [sw09961]
  • Expert (GEX) is a software for dynamic diagram drawing and automated geometry theorem proving ... various mathematical concepts. As an automated reasoning software, we can build dynamic logic models which ... most of the effective methods for geometric reasoning introduced in the past twenty years, including ... dynamic visual models: geometric transformations, loci generation, diagrams of functions, and loci generation...
  • MMP/Geometer

  • Referenced in 13 articles [sw00584]
  • MMP/Geometer – a software package for automated geometric reasoning. We introduce a software package, MMP/Geometer, developed ... theorem proving, geometric theorem discovering, and geometric diagram generation. As a theorem prover, MMP/Geometer implements...
  • GROVER

  • Referenced in 2 articles [sw09968]
  • which diagrams convey mathematical meaning. Through the development of an automated reasoning system, called &/GROVER ... patterns in the way diagrams are used to convey mathematical reasoning strategies. Those patterns...
  • MARCIE

  • Referenced in 8 articles [sw12882]
  • Diagrams. They are complemented by simulative and approximative engines to allow for quantitative reasoning...
  • Dunnart

  • Referenced in 2 articles [sw00224]
  • present a new network diagram authoring tool, Dunnart, that provides continuous network layout. It continuously ... layout style and, where reasonable, the current layout topology. The diagram author uses placement constraints...
  • Vivid

  • Referenced in 3 articles [sw01316]
  • domain-independent framework for mechanized heterogeneous reasoning that combines diagrammatic and symbolic representation and inference ... specifically designed for modeling potentially underdetermined diagrams. These structures allow us to deal with incomplete ... reasoning by introducing general inference mechanisms for the valid extraction of information from diagrams...
  • BaRT

  • Referenced in 2 articles [sw01950]
  • systems. The paper describes BaRT, a Bayesian reasoning tool that makes belief networks and other ... networks, influence diagrams, and taxonomic hierachies, and a method for default reasoning and property inheritance...
  • Diabelli

  • Referenced in 2 articles [sw19454]
  • proof system. We present Diabelli, a formal reasoning system that enables users to construct ... heterogeneous proofs that intermix sentential formulae with diagrams...
  • liealgebra

  • Referenced in 6 articles [sw28494]
  • Weight diagrams for Lie group representations: A computer implementation of Freudenthal’s algorithm in ALGOL ... representations of simple Lie algebras are described. Reasonable computing times are found for algebras...
  • Coquet

  • Referenced in 6 articles [sw09919]
  • following the usual pen-and-paper diagrams. We define a deep-embedding ... function. We propose tactics that ease the reasoning about the behavior of the circuits...
  • REBA

  • Referenced in 2 articles [sw29435]
  • reasoning architecture for robots that is based on tightly-coupled transition diagrams of the domain ... part of the fine-resolution transition diagram relevant to this action. The zoomed fine-resolution ... history and used for subsequent coarse-resolution reasoning. The architecture thus combines the complementary strengths...
  • BetaSCP

  • Referenced in 3 articles [sw08772]
  • derivative geometric construct of the Voronoi diagram. Placing a higher priority on the solution quality ... very close to the optima within a reasonable computation time. The effectiveness and efficiency...
  • Veracity

  • Referenced in 1 article [sw30356]
  • aimed at providing support for modelling and reasoning about state machine designs for critical software ... graph editor, for constructing state transition diagrams; an animator, for exploring symbolic execution...
  • Jimena

  • Referenced in 1 article [sw29354]
  • simulated by this model in reasonable time. (iii) Stable states for discrete models are efficiently ... counted and identified using binary decision diagrams. As application example, we show how system states...
  • CGM-Tool

  • Referenced in 1 article [sw32358]
  • diagrammatic modeling, automated well-formedness analysis and reasoning functionalities on constrained goal models. Under ... display the result directly on the diagram as well as in tabular and pdf document...
  • SetSails!

  • Referenced in 2 articles [sw06371]
  • term is highlighted in a Venn diagram(external link). One can look up the rules ... wrong transformations or incorrect reasons), but also to to identify unnecessarily complex solutions (e.g. containing...
  • HOARD ATINF

  • Referenced in 2 articles [sw28890]
  • prototype) is called HOARDATINF (Human Oriented Automated Reasoning on your Desk) and has been specialized ... techniques), some possibilities of discovering lemmata (using diagrams), handling standard theories in geometry such...
  • ConfigChecker

  • Referenced in 1 article [sw28842]
  • error prone network management tasks. For this reason, network misconfiguration becomes the main source ... policies with Boolean functions using binary decision diagrams (BDDs). We then use computation tree logic...
  • LIAD

  • Referenced in 1 article [sw02816]
  • various types of wireless networks.par The primary reason is that TCP connections are impacted ... rate are analyzed. Furthermore, the state transition diagram of LIAD is detailed. Numerical results demonstrate...