• TRACER

  • Referenced in 10 articles [sw07361]
  • purpose computer algebra system treating the γ5-problem mathematically consistently in arbitrary dimensions. The TRACER ... manipulations as well as trace operations on strings of γ-algebra objects. In addition ... researcher working on higher order corrections in Relativistic Quantum Field Theories. A short comparison...
  • libGE

  • Referenced in 2 articles [sw24012]
  • string provided by a variable-length genetic algorithm onto a syntactically-correct program, whose language ... easily used for different kinds of problems. A set of mappers is provided, which...
  • SENSE

  • Referenced in 1 article [sw30632]
  • studies and tools target the basic stabilizability problem of networked control systems (NCS), nowadays modern ... temporal logic or as automata on infinite strings. One general technique to achieve this ... approximated by finite abstractions, and then, correct-by-construction controllers are automatically synthesized for them...
  • RNAspa

  • Referenced in 2 articles [sw17131]
  • functions. One of the most important computational problems regarding ncRNA is to predict the secondary ... structure would be similar to the true, correct one. The suboptimal solutions of each molecule ... compared very rapidly by a simple string Edit-Distance algorithm with a minimal loss...
  • ATLAS

  • Referenced in 199 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • Boolector

  • Referenced in 31 articles [sw00085]
  • Boolector: an efficient SMT solver for bit-vectors...
  • Cadabra

  • Referenced in 91 articles [sw00097]
  • Cadabra is a powerful computer program for the...
  • Coq

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

  • Referenced in 65 articles [sw00177]
  • CUTE: a concolic unit testing engine for C...
  • GAP

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

  • Referenced in 282 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • HOM4PS

  • Referenced in 81 articles [sw00410]
  • HOM4PS-2.0: a software package for solving polynomial...
  • Macaulay2

  • Referenced in 1923 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Magma

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

  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

  • Referenced in 566 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • nauty

  • Referenced in 609 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • Octave

  • Referenced in 304 articles [sw00646]
  • GNU Octave is a high-level language, primarily...