
Dr.Doodle
 Referenced in 7 articles
[sw09975]
 that, for some domains (principally geometry), diagrammatic reasoning is easier to understand than conventional algebraic...

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

PyZX
 Referenced in 4 articles
[sw40901]
 PyZX: large scale automated diagrammatic reasoning. The ZXcalculus is a graphical language for reasoning ... PyZX, an open source library for automated reasoning with large ZXdiagrams. We give ... would enhance the utility of automated diagrammatic reasoning...

Vivid
 Referenced in 3 articles
[sw01316]
 independent framework for mechanized heterogeneous reasoning that combines diagrammatic and symbolic representation and inference ... base semantics of DPLs to accommodate diagrammatic reasoning by introducing general inference mechanisms...

Cartographer
 Referenced in 1 article
[sw40952]
 diagrams: CARTOGRAPHER: A Tool for String Diagrammatic Reasoning. We introduce cartographer, a tool for editing...

CGMTool
 Referenced in 1 article
[sw32358]
 computeraided support for modeling and reasoning on constrained goal models. It is a standalone ... tool provides diagrammatic modeling, automated wellformedness analysis and reasoning functionalities on constrained goal models...

GAP
 Referenced in 3221 articles
[sw00320]
 GAP is a system for computational discrete algebra...

Maple
 Referenced in 5403 articles
[sw00545]
 The result of over 30 years of cutting...

Mizar
 Referenced in 506 articles
[sw04704]
 The Mizar System is the only implementation of...

Maude
 Referenced in 700 articles
[sw06233]
 Maude is a highperformance reflective language and...

ActiveMath
 Referenced in 48 articles
[sw06374]
 ActiveMath is a stable, webbased, multilingual...

Nuprl
 Referenced in 396 articles
[sw06751]
 The Nuprl system is a framework for reasoning...

Sledgehammer
 Referenced in 138 articles
[sw07047]
 Sledgehammer is a tool that harnesses external first...

Automath
 Referenced in 414 articles
[sw07127]
 Automath is a language designed by N.G. the...

OEIS
 Referenced in 4285 articles
[sw07248]
 The OnLine Encyclopedia of Integer Sequence. The...

EAT
 Referenced in 17 articles
[sw09167]
 EAT: symbolic software for effective homology computation. Kenzo...

Pesca
 Referenced in 164 articles
[sw13664]
 PESCA = Proof Editor for Sequent Calculus: Pesca is...

SketchSet
 Referenced in 2 articles
[sw15820]
 SketchSet: Creating Euler diagrams using pen or mouse...

Tahuti
 Referenced in 5 articles
[sw17610]
 Tahuti: a geometrical sketch recognition system for UML...

Diabelli
 Referenced in 2 articles
[sw19454]
 Diabelli: a heterogeneous proof system. We present Diabelli...