• OFMC

  • Referenced in 28 articles [sw09466]
  • with support for algebraic properties of cryptographic operators and with a simple notation for different ... OFMC’s effectiveness is due to the integration of a number of symbolic, constraint-based ... general search-reduction technique that integrates the lazy intruder with ideas from partial-order reduction ... algebraic theory of the employed cryptographic operators, which can be specified as part...
  • CHEBINT

  • Referenced in 15 articles [sw06927]
  • toolbox provides definite/indefinite integration and differentiation, and basic operators like addition, subtraction, multiplication and division...
  • TinyECC

  • Referenced in 20 articles [sw09089]
  • based PKC operations that can be flexibly configured and integrated into sensor network applications...
  • Curry

  • Referenced in 45 articles [sw08981]
  • grown over the last decade. However, integrated functional logic languages are currently not widely used ... fact that the operational principles are not well understood and many different evaluation strategies have...
  • tsfresh

  • Referenced in 6 articles [sw28448]
  • exploratory analyses as well as straightforward integration into operational data science applications...
  • PDERecursionOperator

  • Referenced in 27 articles [sw12345]
  • Painlevé test, special solutions, and recursion operators for nonlinear PDEs. This paper discusses the algorithms ... three MATHEMATICA packages for the study of integrability and the computation of closed-form solutions ... first package, PainleveTest.m, symbolically performs the Painlevé integrability test. The second package, PDESpecialSolutions.m, computes exact ... third package, PDERecursionOperator.m, generates and tests recursion operators...
  • PolyPaver

  • Referenced in 3 articles [sw08771]
  • between interval arithmetic expressions. Second, the integral operator from classical analysis can be used...
  • modpn

  • Referenced in 15 articles [sw06759]
  • investigate the integration of C implementation of fast arithmetic operations into Maple, focusing on triangular...
  • HolonomicFunctions

  • Referenced in 57 articles [sw06666]
  • that a given function satisfies. Summation and integration of multivariate holonomic functions can be performed ... noncommutative polynomial arithmetic with mixed difference-differential operators), noncommutative Gröbner bases, and solving of coupled...
  • SummerTime

  • Referenced in 4 articles [sw18951]
  • massless vertices, 3-loop onshell mass operator type integrals, 4-loop QED-type tadpoles...
  • CORA

  • Referenced in 15 articles [sw25659]
  • reachability analysis. CORA integrates various vector and matrix set representations and operations on them...
  • HOLOMAC

  • Referenced in 14 articles [sw18067]
  • accuracy. The temporal integration of the equations relies on an operating-split strategy, where chemical...
  • RationalFirstintegrals

  • Referenced in 8 articles [sw14472]
  • into a certified algorithm computing rational first integrals via systems of linear equations. We then ... operations, where N denotes the given bound for the degree of the rational first integral ... rational first integral, or fails, in 𝒪 ˜(N ω+2 ) arithmetic operations. By comparison...
  • Jets

  • Referenced in 30 articles [sw23621]
  • symmetries, conservation laws, zero-curvature representations, recursion operators, any many other invariants of systems ... described in M. Marvan, Sufficient set of integrability conditions of an orthonomic system. Foundations...
  • CDIFF

  • Referenced in 5 articles [sw07946]
  • operators in total derivatives, i.e. C-differential operators, for differential equations in even ... devoted to computations concerning integrability related differential operators for general differential equations (i.e., not necessarily...
  • BBMCL

  • Referenced in 17 articles [sw11525]
  • Different operators for the remaining uncolored vertices give rise to algorithmic variants integrated...
  • ReVirt

  • Referenced in 5 articles [sw29986]
  • problems: they depend on the integrity of the operating system being logged, and they...
  • PTSC

  • Referenced in 6 articles [sw13692]
  • these features. In this paper, we integrate probability, time and concurrency in one single model ... composition. We formalize an operational semantics for such an integration. Based on this model ... also implement a prototype of the operational semantics to animate the execution of probabilistic programs...
  • TRIC

  • Referenced in 47 articles [sw02165]
  • mathematical relations and it involves only exact integrations; its stiffness, mass and geometrical matrices ... modes of deformation. A simple congruent matrix operation transforms the elemental natural stiffness matrix...