• 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 ZX-calculus is a graphical language for reasoning ... PyZX, an open source library for automated reasoning with large ZX-diagrams. 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...
  • CGM-Tool

  • Referenced in 1 article [sw32358]
  • computer-aided support for modeling and reasoning on constrained goal models. It is a standalone ... tool provides diagrammatic modeling, automated well-formedness 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 high-performance reflective language and...
  • Nuprl

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

  • Referenced in 4285 articles [sw07248]
  • The On-Line 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...