
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]
 domainindependent 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 penandpaper diagrams. We define a deepembedding ... 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 tightlycoupled transition diagrams of the domain ... part of the fineresolution transition diagram relevant to this action. The zoomed fineresolution ... history and used for subsequent coarseresolution 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...

CGMTool
 Referenced in 1 article
[sw32358]
 diagrammatic modeling, automated wellformedness 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...