
Coq
 Referenced in 1856 articles
[sw00161]
 machinechecked 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 manyvalued 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 contextfree 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 secondorder Mizar schemes ... necessary, abstracting from the proof context) the firstorder 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]
 machinechecked 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...

IF2.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 ﬁlter on large formalizations, and a particularly strong ﬁlter 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, selfawareness, contextawareness, 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 codegenerator program ... after verification. CVT was developed in the context of the ESPRIT project SACRES, and validates...

CPlogic
 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 spinorhelicity formalism in Mathematica. The package allows ... well suited to be used in the context of onshell technology, in particular...