
Moviola
 Referenced in 3 articles
[sw27497]
 dynamic logic program (DLP), which is a sequence of logic programs each one updating ... translations of DLPs under these update semantics to logic programs of answer set programming ... program without restarting from scratch at every step. To this end, we developed a system...

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

Isabelle
 Referenced in 698 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

LAPACK
 Referenced in 1695 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

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

Matlab
 Referenced in 13460 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MultRoot
 Referenced in 100 articles
[sw00604]
 Algorithm 835: MultRoot  a Matlab package for computing...

NetworkX
 Referenced in 159 articles
[sw00616]
 NetworkX (NX) is a Python package for the...

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

R
 Referenced in 9810 articles
[sw00771]
 R is a language and environment for statistical...

rbminer
 Referenced in 14 articles
[sw00783]
 rbminer: a tool for discovering Petri nets from...

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

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

TSPLIB
 Referenced in 697 articles
[sw00983]
 TSPLIB is a library of sample instances for...

Workcraft
 Referenced in 6 articles
[sw01021]
 Reliable highlevel modeling constructs are crucial to...

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

ALGOL 68
 Referenced in 291 articles
[sw01226]
 ALGOL 68 (short for ALGOrithmic Language 1968) is...

COBOL
 Referenced in 237 articles
[sw01228]
 COBOL (/ˈkoʊbɒl/, an acronym for common businessoriented...