
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, constraintbased ... general searchreduction technique that integrates the lazy intruder with ideas from partialorder 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 closedform 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...

elastoplastic contact
 Referenced in 3 articles
[sw39190]
 speed up computation of the integral operators. We validate our method against an elasticplastic...

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 differencedifferential operators), noncommutative Gröbner bases, and solving of coupled...

SummerTime
 Referenced in 4 articles
[sw18951]
 massless vertices, 3loop onshell mass operator type integrals, 4loop QEDtype 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 operatingsplit 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, zerocurvature 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. Cdifferential 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...