
PECANS
 Referenced in 5 articles
[sw02161]
 represented in terms of a cellular automaton (CA) and the relations among different components ... close relation of the developed method to homogeneous structures, such as the theory of periodically...

AUTOMATE
 Referenced in 12 articles
[sw00059]
 AUTOMATE, a computing package for automata and finite...

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

Grail
 Referenced in 17 articles
[sw00374]
 Grail is a symbolic computation environment for finite...

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

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

MATCONT
 Referenced in 250 articles
[sw00551]
 MATCONT: Matlab software for bifurcation study of dynamical...

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

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

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

Sostools
 Referenced in 234 articles
[sw00891]
 We are pleased to introduce SOSTOOLS, a free...

PETSc
 Referenced in 922 articles
[sw04012]
 The Portable, Extensible Toolkit for Scientiﬁc Computation (PETSc...

CPLEX
 Referenced in 2265 articles
[sw04082]
 IBM® ILOG® CPLEX® offers C, C++, Java, .NET...

PVM
 Referenced in 293 articles
[sw04273]
 PVM (Parallel Virtual Machine) is a software package...

Genocop
 Referenced in 1014 articles
[sw04707]
 Genocop, by Zbigniew Michalewicz, is a genetic algorithm...

z3
 Referenced in 408 articles
[sw04887]
 Z3 is a highperformance theorem prover being...

ParaView
 Referenced in 92 articles
[sw06128]
 ParaView is an opensource, multiplatform data...

MPI
 Referenced in 442 articles
[sw06496]
 Automatic differentiation through the use of hyperdual...

OEIS
 Referenced in 2746 articles
[sw07248]
 The OnLine Encyclopedia of Integer Sequence. The...