
Grail
 Referenced in 7 articles
[sw24229]
 automated theorem prover based on proof nets, a graphbased 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 ... netsbased provers for multiplicative linear logics: mixed linear logic, or recently called noncommutative ... provability analysis through automatic proof nets construction. A proof net is a particular graphtheoretic ... allows to analyse provability (through proof nets) or nonprovability (through proof structures that...

llprover
 Referenced in 4 articles
[sw11993]
 quantifiers can not be converted to Proofnet. To format LaTeX output, you need...

anNET
 Referenced in 2 articles
[sw35331]
 userfriendly 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 objectbased 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 highlevel language and interactive...

MiniSat
 Referenced in 531 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

nauty
 Referenced in 558 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...

Octave
 Referenced in 284 articles
[sw00646]
 GNU Octave is a highlevel language, primarily...

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

RelView
 Referenced in 101 articles
[sw00798]
 The RelViewSystem is an interactive tool for...

SageMath
 Referenced in 1620 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

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