• Perseus

  • Referenced in 15 articles [sw08778]
  • representations of boundary operators defined on cell complexes. Discrete Morse theory provides a powerful...
  • ASpecPaired-Matrix

  • 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 one-dimensional case, nontrivial rational...
  • ASpecPaired-Scalar

  • 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 one-dimensional case, nontrivial rational...
  • EXCALC

  • Referenced in 40 articles [sw06318]
  • handle scalar-valued exterior forms, vectors and operations between them, as well as non-scalar ... doing calculations in general relativity and field theories, or doing simple things such as calculating...
  • DifferentialGeometry

  • Referenced in 13 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]
  • dimension-six 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...
  • DEFT

  • Referenced in 3 articles [sw28087]
  • computer program, DEFT, for manipulating operators in effective field theories (EFTs). In its current incarnation ... applied to 4-dimensional, 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 floating-point 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...
  • ROBFIT

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

  • Referenced in 12 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...
  • 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...
  • Zap

  • Referenced in 8 articles [sw06823]
  • operations. We describe our desiderata for such an interface to an ATP, the logics (theories...