
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 2404 articles
[sw00320]
 GAP is a system for computational discrete algebra...

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

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

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

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

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

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

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

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

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

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

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

COMSOL
 Referenced in 297 articles
[sw04091]
 The COMSOL Multiphysics engineering simulation software environment facilitates...

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

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

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

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