
TORPA
 Referenced in 10 articles
[sw10120]
 used to prove termination of string rewriting systems (SRSs) fully automatically. The underlying techniques include ... bounds of right hand sides of forward closures...

CCSTM
 Referenced in 34 articles
[sw33312]
 flexible method names, implicit parameters, and closures keep the syntax concise, and the reference instances ... scalability are on par with bytecode rewriting STMs...

Pure
 Referenced in 2 articles
[sw25346]
 full symbolic rewriting capabilities, dynamic typing, eager and lazy evaluation, lexical closures, builtin list...

Coq
 Referenced in 1880 articles
[sw00161]
 Coq is a formal proof management system. It...

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

LANGAGE
 Referenced in 39 articles
[sw00501]
 LANGAGE: A Maple package for automaton characterization of...

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

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

Mathematica
 Referenced in 6337 articles
[sw00554]
 Almost any workflow involves computing results, and that...

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

PLUMP
 Referenced in 14 articles
[sw00718]
 The joint CSCSETH/NEC collaboration in parallel...

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

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

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

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

MACSYMA
 Referenced in 720 articles
[sw01209]
 Macsyma is a general purpose symbolicnumericalgraphical...

ML
 Referenced in 522 articles
[sw01218]
 ML (’Meta Language’) is a generalpurpose functional...

Stratego
 Referenced in 78 articles
[sw01259]
 Stratego/XT is a language and toolset for program...

FoCs
 Referenced in 20 articles
[sw01591]
 FoCs  automatic generation of simulation checkers from formal...