
Perseus
 Referenced in 16 articles
[sw08778]
 representations of boundary operators defined on cell complexes. Discrete Morse theory provides a powerful...

ASpecPairedMatrix
 Referenced in 2 articles
[sw15022]
 Classes of Singular Integral Operators with Symbolic Computation. Spectral theory has many applications in several ... structural mechanics, aeronautics, quantum mechanics, ecology, probability theory, electrical engineering, among others) and the importance ... others within the Operator Theory. The main goal of this paper is to show ... spectra of several classes of singular integral operators. For the onedimensional case, nontrivial rational...

ASpecPairedScalar
 Referenced in 2 articles
[sw15023]
 Classes of Singular Integral Operators with Symbolic Computation. Spectral theory has many applications in several ... structural mechanics, aeronautics, quantum mechanics, ecology, probability theory, electrical engineering, among others) and the importance ... others within the Operator Theory. The main goal of this paper is to show ... spectra of several classes of singular integral operators. For the onedimensional case, nontrivial rational...

EXCALC
 Referenced in 40 articles
[sw06318]
 handle scalarvalued exterior forms, vectors and operations between them, as well as nonscalar ... doing calculations in general relativity and field theories, or doing simple things such as calculating...

DifferentialGeometry
 Referenced in 14 articles
[sw07593]
 field theory. DifferentialGeometry is a Maple software package which symbolically performs fundamental operations of calculus ... solving research problems in gravitation and field theory. The purpose of this paper...

ope.math
 Referenced in 4 articles
[sw09271]
 Ope.math: Operator product expansions in free field realizations of conformal field theory. We present version ... composite operators (currents) in terms of free fields in conformal field theories. Further...

Motras
 Referenced in 5 articles
[sw09240]
 deterministic systems. We provide the operations required from specification theories as well as some additional...

DsixTools
 Referenced in 6 articles
[sw23378]
 dimensionsix Standard Model Effective Field Theory. Among other features, DsixTools allows the user ... operators of the Weak Effective Theory at the electroweak scale and their...

HOPLA
 Referenced in 14 articles
[sw02330]
 introduced. Its roots in a linear domain theory for concurrency are sketched though ... part it lends itself to a more operational account. The language can be viewed...

MTT
 Referenced in 20 articles
[sw09783]
 tool. Despite the remarkable development of the theory of termination of rewriting, its application ... scope of current termination tools. The operational meaning of such features is often formalized ... rewriting relation. In particular, Generalized Rewrite Theories (GRT) are a recent generalization of rewrite theories...

SMTInterpol
 Referenced in 16 articles
[sw07406]
 that can compute Craig interpolants for various theories. The solver is developed at the Chair ... Java and can be used on any operating system that supports Java Version...

DEFT
 Referenced in 3 articles
[sw28087]
 computer program, DEFT, for manipulating operators in effective field theories (EFTs). In its current incarnation ... applied to 4dimensional, Poincaré invariant theories with gauge group ... check whether an input list of Lagrangian operators (of a given dimension...

WIGGLE
 Referenced in 10 articles
[sw02594]
 theory of conventional constrained molecular dynamics (MD) simulations is reexamined based on a projection operator...

Fuzzy sets for Ada
 Referenced in 1 article
[sw05537]
 theoretic operations and the operations of the possibility theory, intuitionistic fuzzy sets with the operations ... possibility theory; fuzzy numbers, both integer and floatingpoint with conventional arithmetical operations, and linguistic...

Grail
 Referenced in 17 articles
[sw00374]
 machines, regular expressions, and other formal language theory objects. Using Grail, one can input machines ... make deterministic, complement, and perform many other operations. Grail is intended for use in teaching...

Beaver
 Referenced in 9 articles
[sw00071]
 theory of quantifierfree finiteprecision bitvector arithmetic. It supports all operators defined under...

ROBFIT
 Referenced in 1 article
[sw26603]
 theory and operation of spectral analysis using ROBFIT. The book is essentially a manual...

ICS
 Referenced in 19 articles
[sw21618]
 instead; Yices is much faster, handles more theories, and has several other advantages. ICS: Integrated ... built from uninterpreted function symbols and operators from a rich combination of datatypes including arithmetic...

AMoRE
 Referenced in 11 articles
[sw20980]
 Expressions. AMoRE is an implementation of automata theory algorithms, including: conversion of regular expression into ... heuristic minimization of nondeterministic automata), language operations (e.g. boolean and regular operations, quotients, shuffle product...

CoCasl
 Referenced in 26 articles
[sw13076]
 syntax of processes and their structural operational semantics fit well in the algebraic world ... framework for studying the semantics and proof theory of reactive systems...