
FASTUS
 Referenced in 3 articles
[sw17362]
 essentially as a cascaded, nondeterministic finitestate automaton. There are five stages in the operation ... recognized. In Stage 2, basic noun groups, verb groups, and prepositions and some other particles...

Psychohod
 Referenced in 1 article
[sw39243]
 automata simulates the movement of variously organized groups of agents in the terrain with obstacles ... possibly, they have additional goals. The second automaton models the communication system of agents from...

BARON
 Referenced in 327 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

COMPAS
 Referenced in 14 articles
[sw00147]
 In this paper we describe COMPAS  the open...

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

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

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

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

MapReduce
 Referenced in 252 articles
[sw00546]
 MapReduce is a new parallel programming model initially...

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

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

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

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

TESTAS
 Referenced in 19 articles
[sw00957]
 We implement a set of procedures for deciding...

Modula
 Referenced in 197 articles
[sw01224]
 The Modula programming language is a descendant of...

PERL
 Referenced in 267 articles
[sw01225]
 Programming Perl. Perl is a language for easily...

DYNAMO
 Referenced in 252 articles
[sw01227]
 DYNAMO (DYNAmic MOdels) was a simulation language and...

Smalltalk
 Referenced in 190 articles
[sw01561]
 Smalltalk is an objectoriented, dynamically typed, reflective...

WoLFram
 Referenced in 15 articles
[sw02075]
 WoLFram  a word level framework for formal verification...