• FASTUS

  • Referenced in 3 articles [sw17362]
  • essentially as a cascaded, nondeterministic finite-state 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 high-level language and interactive...
  • SageMath

  • Referenced in 1743 articles [sw00825]
  • Sage (SageMath) is free, open-source 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 object-oriented, dynamically typed, reflective...
  • WoLFram

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