• Grail

  • Referenced in 7 articles [sw24229]
  • automated theorem prover based on proof nets, a graph-based representation of proofs, and labeled...
  • LINK

  • Referenced in 2 articles [sw02358]
  • LINK: A proof environment based on proof nets. LINK is a proof environment including proof ... nets-based provers for multiplicative linear logics: mixed linear logic, or recently called non-commutative ... provability analysis through automatic proof nets construction. A proof net is a particular graph-theoretic ... allows to analyse provability (through proof nets) or non-provability (through proof structures that...
  • llprover

  • Referenced in 4 articles [sw11993]
  • quantifiers can not be converted to Proof-net. To format LaTeX output, you need...
  • anNET

  • Referenced in 2 articles [sw35331]
  • user-friendly and generalized implementation of the NET analysis method in the software anNET allows ... proof the quality of metabolome data sets and with all further benefits of the NET...
  • Crocodile

  • Referenced in 2 articles [sw09769]
  • compact, readable and structured specification. Symmetric Nets with Bags (SNB) were introduced to cope with ... goal is first to be a proof of concept for experimenting the quotient graph techniques ... techniques with this new class of Petri nets...
  • Coq

  • Referenced in 1784 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Dafny

  • Referenced in 64 articles [sw00183]
  • Dafny is an imperative object-based language with...
  • GAP

  • Referenced in 2850 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Isabelle

  • Referenced in 606 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Magma

  • Referenced in 2857 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

  • Referenced in 5040 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 5883 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 12074 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

  • Referenced in 531 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • nauty

  • Referenced in 558 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • Octave

  • Referenced in 284 articles [sw00646]
  • GNU Octave is a high-level language, primarily...
  • REDUCE

  • Referenced in 739 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...
  • RelView

  • Referenced in 101 articles [sw00798]
  • The RelView-System is an interactive tool for...
  • SageMath

  • Referenced in 1620 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • PRISM

  • Referenced in 406 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...