• AFRA

  • Referenced in 29 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 107 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 ... higher-order 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 higher-order 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...
  • zk-SNARK

  • Referenced in 13 articles [sw22495]
  • powerful cryptographic primitive, both in theory and in practical applications. Recently, much research has focused ... zero-knowledge succinct non-interactive arguments of knowledge} (zk-SNARKs), 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...
  • Girth-Chromatic

  • 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 Riesz-Thorin 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...