• Coq

  • Referenced in 1856 articles [sw00161]
  • machine-checked proofs. Typical applications include the formalization of programming languages semantics (e.g. the CompCert ... Java Card EAL7 certification in industrial context), the formalization of mathematics (e.g. the full formalization...
  • AFRA

  • Referenced in 29 articles [sw02090]
  • tool in several contexts. In this paper we present AFRA, a formalism encompassing unlimited recursive...
  • ConExp

  • Referenced in 2 articles [sw06723]
  • data analysis based on formal concept analysis Formal Concept Analysis is a useful tool ... seen as a many-valued context. {it J. Hereth} in [Lect. Notes Comput ... introduced the formal context of functional dependencies. In this context, implications hold for functional dependencies ... software will build the formal context of functional dependencies. We use Conexp to build...
  • TRX

  • Referenced in 9 articles [sw08800]
  • attractive alternative to context-free grammars (CFGs). From this formalization we can extract a parser...
  • MPTP 0.2

  • Referenced in 45 articles [sw02589]
  • Mizar proof constructs into the TPTP formalism. The proofs using second-order Mizar schemes ... necessary, abstracting from the proof context) the first-order instances that were actually used. These ... simple inductive or deductive system trained on formal mathematics can be sometimes smarter than...
  • FcaBedrock

  • Referenced in 2 articles [sw29547]
  • FcaBedrock Formal Context Creator. FcaBedrock is a tool for creating context files for Formal Concept ... Burmeister (.cxt) or FIMI (.dat) context files. Features: Handle categorical, Boolean, continuous, date and ordinal...
  • CoqJVM

  • Referenced in 4 articles [sw02002]
  • machine-checked proofs. Typical applications include the formalization of programming languages semantics (e.g. the CompCert ... Java Card EAL7 certification in industrial context), the formalization of mathematics (e.g. the full formalization...
  • FooCA

  • Referenced in 2 articles [sw11688]
  • build a formal context and an appropriate concept lattice. In order to generate a well...
  • FcaStone

  • Referenced in 1 article [sw29544]
  • imported into databases and spreadsheets. convert formal contexts into the xfig format or into Bernhard ... graphics editors (Xfig, Dia, Inkscape, ...). convert formal contexts into lattice diagrams (using Graphviz’s layout...
  • IF-2.0

  • Referenced in 46 articles [sw03303]
  • prevent its applicability to a wider context: par -- the static nature of the intermediate representation ... widely and naturally used both in specification formalisms like UML or programming languages like Java...
  • MaSh

  • Referenced in 24 articles [sw08206]
  • machinery draws on recent research in the context of Mizar and HOL Light, with ... outperforms the old relevance filter on large formalizations, and a particularly strong filter is obtained...
  • SCEL

  • Referenced in 17 articles [sw20779]
  • autonomic components and their interaction, while supporting formal reasoning on their behaviors. SCEL brings together ... also naturally supports programming interaction, self-awareness, context-awareness, and adaptation. The solid semantic grounds ... developing logics, tools and methodologies for formal reasoning on system behavior to establish qualitative...
  • MegaWave

  • Referenced in 27 articles [sw04428]
  • theory. Gestalt theory, which had never been formalized is a rigorous realm of vision psychology ... involving basic probability and statistics, in the context of image analysis. The book is intended...
  • SackinMinimizer

  • Referenced in 6 articles [sw39018]
  • used measures for this purpose. In many contexts, statements about the minimal and maximal values ... formal proofs have only been provided for some of them, and only in the context...
  • MBase

  • Referenced in 17 articles [sw08724]
  • MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems. We describe ... MATHWEB that offers a universal repository of formalized mathematics where the formal representation allows semantics...
  • Dynamic Architectures

  • Referenced in 1 article [sw30953]
  • Then, the behavior of single components is formalized in terms of behavior traces ... about component behavior in a dynamic context is formalized in terms of a calculus...
  • CVT

  • Referenced in 16 articles [sw09952]
  • viable alternative to a full formal verification of the code-generator program ... after verification. CVT was developed in the context of the ESPRIT project SACRES, and validates...
  • CP-logic

  • Referenced in 17 articles [sw06947]
  • probability trees. In such a dynamic context, where the evolution of a domain over time ... this evolution is quite natural. In our formalization, a set of probabilistic causal laws...
  • KnowLang

  • Referenced in 2 articles [sw12395]
  • special reasoner operating in that context. The approach is formal and demonstrates how knowledge representation...
  • S@M

  • Referenced in 17 articles [sw10442]
  • Spinors@ Mathematica) which implements the spinor-helicity formalism in Mathematica. The package allows ... well suited to be used in the context of on-shell technology, in particular...