Results 1 to 20 of 26
Sort by:

  • 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...