
AFRA
 Referenced in 30 articles
[sw02090]
 formalism encompassing unlimited recursive attacks within argumentation frameworks. AFRA satisfies the basic requirements of definition ... rigorous compatibility with Dung’s theory of argumentation. This paper provides a complete development...

mftoolbox
 Referenced in 612 articles
[sw23743]
 associated with the book Functions of Matrices: Theory and Computation and contains implementations of many ... codes have little error checking of input arguments. The codes do not print intermediate results...

LEGO
 Referenced in 108 articles
[sw09685]
 Calculus of Constructions (GCC) and the Unified Theory of Dependent Types (UTT). LEGO ... example, features of the system like argument synthesis and universe polymorphism make proof checking more ... higherorder power of its underlying type theories, and the support of specifying new inductive...

Polyp
 Referenced in 33 articles
[sw09131]
 other expressions using an extension of Jones’ theories of qualified types and higherorder polymorphism ... extended language is obtained by adding type arguments to functions in a dictionary passing style...

DRIC
 Referenced in 23 articles
[sw12610]
 Finite element solution of boundary value problems. Theory and computation ... Theoretical arguments show that the new method is at least as robust as both previous...

Completeness theorem
 Referenced in 8 articles
[sw28562]
 Wallen’s chapter of the book Proof Theory by Aczel et al., CUP, 1992. Their ... formulas allows the proofs to use symmetry arguments. Margetson formalized this theorem by early...

QUAD
 Referenced in 15 articles
[sw19553]
 stream cipher QUAD and the provable security arguments supporting its conjectured strength for suitable parameter ... 25th annual international conference on the theory and applications of cryptographic techniques, St. Petersburg, Russia ... setup and provide a security argument related to the whole stream cipher. We also briefly...

ABEL
 Referenced in 2 articles
[sw02787]
 exception is the framework of probabilistic argumentation systems. Its philosophy is to include both qualitative ... combining logic and probability theory. Probabilities are used to weigh arguments for and against particular...

zkSNARK
 Referenced in 13 articles
[sw22495]
 powerful cryptographic primitive, both in theory and in practical applications. Recently, much research has focused ... zeroknowledge succinct noninteractive arguments of knowledge} (zkSNARKs), and are desired when communication...

RFSFNS
 Referenced in 12 articles
[sw00803]
 This package implements the topological degree theory for the localization portion and a modified bisection ... various orders and several intervals of the argument...

MiniBrass
 Referenced in 1 article
[sw31298]
 arbitrary PVS. Both arguments draw upon elements from category theory. MiniBrass turns these theoretical considerations...

CryptHOL
 Referenced in 7 articles
[sw28582]
 CryptHOL provides a framework for formalising cryptographic arguments in Isabelle/HOL. It shallowly embeds a probabilistic ... operators and establish a connection with the theory of relational parametricity. Thus, the resuting proofs...

GirthChromatic
 Referenced in 1 article
[sw29248]
 uses the theory of Random Graphs to prove the existence with probabilistic arguments...

Elfun18
 Referenced in 2 articles
[sw29422]
 integrals and Jacobian elliptic functions for real arguments. The correctness, robustness, efficiency, and accuracy ... discussed in detail. An example from elasticity theory is provided to illustrate...

Bruns
 Referenced in 1 article
[sw27123]
 theory of ”basic elements”, a commutative algebra version of the general position arguments ... rank at least k. The theory of basic elements shows that...

GameTheoryAllocation
 Referenced in 1 article
[sw16079]
 most important allocations rules in Game Theory: Shapley value, Owen value or nucleolus, among other ... First, we must define as an argument the value of the unions of the envolved...

Libunfold
 Referenced in 1 article
[sw32656]
 provide proof of convergence in a probability theory context. Furthermore, we provide formulae for error ... propagated systematic error can be quantified. The arguments are based on the RieszThorin theorem ... subsequent application of ordinary L2 spectral theory of operators. A library implementation...

Incompleteness Theorems
 Referenced in 2 articles
[sw28612]
 careful presentation by Swierczkowski, in the theory of hereditarily finite sets. This represents the first ... solved in order to complete the argument...

LAGO
 Referenced in 1 article
[sw40196]
 previous stages, violating standard statistical theory. We develop an estimator for the intervention effects ... asymptotic normality using a novel coupling argument, ensuring the validity of the test...

CHANDRAS
 Referenced in 2 articles
[sw10766]
 very fast. Both requirements stem from the theory of electron transport in condensed matter. Solution ... algorithms selecting the ranges of the argument omega in which performance is the fastest...