
GloptiPoly
 Referenced in 181 articles
[sw04343]
 algebra, Fourier analysis, functional analysis, operator theory, probability and statistics, to cite...

UMDES
 Referenced in 204 articles
[sw09523]
 that implement many of the operations of supervisory control theory, and routines that implement...

Why3
 Referenced in 52 articles
[sw04438]
 standard library of logical theories (integer and real arithmetic, Boolean operations, sets and maps...

OFMC
 Referenced in 28 articles
[sw09466]
 with support for algebraic properties of cryptographic operators and with a simple notation for different ... respect to an algebraic theory of the employed cryptographic operators, which can be specified...

CIXL2
 Referenced in 18 articles
[sw03302]
 based on the statistical theory of population distributions. The operator is based on the theoretical...

CliffOC
 Referenced in 8 articles
[sw04957]
 Operator calculus on graphs. Theory and applications in computer science This pioneering book presents ... study of the interrelationships among operator calculus, graph theory, and quantum probability in a unified...

LEGO
 Referenced in 62 articles
[sw09685]
 Calculus of Constructions (GCC) and the Unified Theory of Dependent Types (UTT). LEGO ... supports refinement proof as a basic operation. The system design emphasizes removing the more tedious ... higherorder power of its underlying type theories, and the support of specifying new inductive...

PSEUDO
 Referenced in 29 articles
[sw01152]
 theory of integrable models. Solution method: Pseudodifferential Lax operators. Restrictions: Handles only one dimensional...

Satallax
 Referenced in 16 articles
[sw06849]
 Church’s simple type theory with extensionality and choice operators. The SAT solver MiniSat...

ALF
 Referenced in 49 articles
[sw08603]
 editor based on MartinLöf’s type theory with explicit substitutions. ALF is a general ... manipulated directly, by the usual editing operations. A partial proof is represented as an incomplete ... sound and complete assuming some basic meta theory properties of the substitution calculus. The algorithm...

LiE
 Referenced in 113 articles
[sw01075]
 theoretic nature. It focuses on the representation theory of complex semisimple (reductive) Lie groups ... distinguished coset representatives and much more. These operations have been compiled into the program which...

SInt
 Referenced in 4 articles
[sw12689]
 Conceição et al., in: Operator Theory: Advances and Applications...

Agda
 Referenced in 89 articles
[sw09689]
 types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface ... proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed...

ATESAT
 Referenced in 12 articles
[sw02385]
 satellite theory. Analytical theories for the artificial satellite motion involve operations with the so called...

ECDAR
 Referenced in 9 articles
[sw02824]
 tool supports the important operations of a good compositional reasoning theory: composition, conjunction, quotient, consistency/satisfaction...

libMC
 Referenced in 22 articles
[sw06615]
 forward mode, with each elementary operation of convex and concave relaxation, additional variables are introduced ... recursively upon application of the subgradient propagation theory developed in [1]. An alternative approach ... reverse mode, which performs similar recursive operations, but works through the evaluation trace backwards. Only...

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 39 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...

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...