• LANGAGE

  • Referenced in 39 articles [sw00501]
  • LANGAGE: A Maple package for automaton characterization of regular languages LANGAGE ... procedures for deciding whether or not a language given by its minimal automaton is piecewise ... package is written using the symbolic computation system Maple. It works with...
  • GiNaC

  • Referenced in 80 articles [sw01609]
  • creation of integrated systems that embed symbolic manipulations together with more established areas of computer ... powered by the Maple CAS. However, it is not restricted to high energy physics applications ... extensive algebraic capabilities and a simple programming language but instead accepts a given language...
  • RAFT

  • Referenced in 3 articles [sw07829]
  • RAFT is integrated with a symbolic computational language MAPLE, to automate code generation for arbitrary...
  • MiniMaple

  • Referenced in 2 articles [sw19945]
  • computer algebra language MiniMaple (a substantial subset of Maple with slight extensions). The main goal ... supports non-standard types of objects, e.g. symbols and unevaluated expressions, and additional functions ... specification language to specify various computer algebra concepts respective objects of the Maple package DifferenceDifferential...
  • DifferenceDifferential

  • Referenced in 1 article [sw19946]
  • computer algebra language MiniMaple (a substantial subset of Maple with slight extensions). The main goal ... supports non-standard types of objects, e.g. symbols and unevaluated expressions, and additional functions ... specification language to specify various computer algebra concepts respective objects of the Maple package DifferenceDifferential...
  • LANGAGEA

  • Referenced in 1 article [sw15338]
  • LANGAGEA Maple package for automaton characterization of regular languages. LANGAGE is a set of procedures ... deciding whether or not a language given by its minimal automaton is piecewise testable, locally ... package is written using the symbolic computation system Maple. It works with...
  • MAMBO

  • Referenced in 1 article [sw07685]
  • MAPLE programming language and is compatible with MAPLE V and later versions, as well ... with MATLAB’s extended symbolic toolbox. The computer-graphics application MAMBO allows the students...
  • MEMSALab

  • Referenced in 2 articles [sw08622]
  • symbolic transformation language and its application to a multiscale method. The context of this work ... this paper we present a transformation language that will make the development of MEMSALab more ... feasible. It is proposed as a Maple TM package for rule-based programming, rewriting strategies...
  • MaxTract

  • Referenced in 2 articles [sw10183]
  • reproduce both the two dimensional relationships between symbols in mathematical formulae and the one dimensional ... provide translation services into standard mathematical markup languages and to add accessibility to mathematical documents ... software systems such as Mathematica or Maple...
  • AXIOM

  • Referenced in 173 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • Cinderella

  • Referenced in 153 articles [sw00127]
  • An Interactive Geometry Software. Besides support for dynamic...
  • CoCoA

  • Referenced in 659 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

  • Referenced in 1906 articles [sw00161]
  • Coq is a formal proof management system. It...
  • FGb

  • Referenced in 247 articles [sw00286]
  • FGb/Gb libraryGb is a program (191 420 lines...
  • GAP

  • Referenced in 3221 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • gfun

  • Referenced in 144 articles [sw00344]
  • The gfun package provides tools for determining and...
  • Isabelle

  • Referenced in 719 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • KANT/KASH

  • Referenced in 157 articles [sw00481]
  • KASH/KANT is a computer algebra system (CAS) for...
  • LAPACK

  • Referenced in 1713 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...