• SMACS

  • Referenced in 2 articles [sw06144]
  • algorithms for the synthesis of state-feedback controllers with partial observation of infinite state discrete ... event systems modelled by Symbolic Transition Systems. We provide models of safe memoryless controllers both ... free controlled systems. The termination of the algorithms solving these problems is ensured using abstract...
  • GXNOR-Net

  • Referenced in 2 articles [sw32923]
  • algorithm on discrete DNNs. While for the second issue, we propose a discrete state transition ... special cases, and under which a heuristic algorithm is provided at the website ... intelligence. We achieve advanced performance compared with state-of-the-art algorithms. Furthermore, the computational...
  • DVR3D

  • Referenced in 3 articles [sw07820]
  • energy levels, wavefunctions, and where appropriate dipole transition moments, for rotating and vibrating triatomic molecules ... states are treated using an efficient two-step algorithm. The programs uses a Discrete Variable ... possible coordinate orderings. The rotational and transition dipole programs exploit the major savings offered...
  • SimHPN

  • Referenced in 2 articles [sw06443]
  • firing of both, discrete and continuous, types of transitions. Besides providing different simulation options, SimHPN ... offers the possibility of computing steady state throughput bounds for continuous nets. For such ... class of nets, optimal control and observability algorithms are also implemented. The package is fully...
  • HyComp

  • Referenced in 4 articles [sw20163]
  • network into an infinite-state transition system, which can be analyzed using SMT-based verification ... encodings of the automata network and can discretize various kinds of dynamics. HyComp can verify ... these features are provided either through specialized algorithms, as in the case of scenario...
  • ANSYS

  • Referenced in 704 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • CLIFFORD

  • Referenced in 84 articles [sw00131]
  • CLIFFORD performs various computations in Grass mann and...
  • CoCoA

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

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • C-XSC 2.0

  • Referenced in 127 articles [sw00182]
  • A C++ class library for extended scientific computing...
  • EDGE

  • Referenced in 21 articles [sw00228]
  • Edge is a CFD flow solver for unstructured...
  • Expokit

  • Referenced in 200 articles [sw00258]
  • Expokit provides a set of routines aimed at...
  • GAP

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

  • Referenced in 119 articles [sw00322]
  • The GAUSS Mathematical and Statistical System is a...
  • gmp

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

  • Referenced in 767 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...
  • GreatSPN

  • Referenced in 57 articles [sw00384]
  • GreatSPN2.0 is a software package for the modeling...
  • Isabelle

  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • LAPACK

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