
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 2392 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 2347 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

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

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

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

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

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

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

NEURON
 Referenced in 148 articles
[sw03059]
 Parallel network simulations with NEURON. The NEURON simulation...

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

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

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

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

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

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

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