Results 41 to 50 of about 1,663 (184)
The Runge–Kutta method in geometric multiplicative calculus [PDF]
LMS Journal of Computation and Mathematics, 2015 This paper illuminates the derivation, applicability, and efficiency of the multiplicative Runge–Kutta method, derived in the framework of geometric multiplicative calculus. The removal of the restrictions of geometric multiplicative calculus on positive-valued functions of real variables and the fact that the multiplicative derivative does not exist ...
Mustafa Riza, Hatice Aktöre
openaire +3 more sources
Hermite-Hadamard type inequalities for multiplicatively p-convex functions
Journal of Inequalities and Applications, 2023 In this paper, we introduced the concept of multiplicatively p-convex functions and established Hermite-Hadamard type integral inequalities in the setting of multiplicative calculus for this newly created class of functions.
Serap Özcan
doaj +1 more source
Bakry-Emery Calculus For Diffusion With Additional Multiplicative Term [PDF]
, 2021 We extend the Gamma_2 calculus of Bakry and Emery to include a Carre du champ operator with multiplicative term, providing results which allow to analyse inhomogeneous ...
Roberto, Cyril, Zegarlinski, B.
core
The Discriminating Power of Multiplicities in theλ-Calculus
Information and Computation, 1996 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Gérard Boudol, Cosimo Laneve
openaire +1 more source
A new look at the classical sequence spaces by using multiplicative calculus [PDF]
, 2016 The important point to be noted on the non-Newtonian calculus is a self- contained system independent of any other system of calculus. Therefore, the reader may be surprised to learn that there is a uniform relationship between the corresponding ...
Kadak U. +3 more
core +4 more sources
lambda-calculus, multiplicities, and the pi-calculus.
, 1995 In this paper we study the semantics of the $\lambda$-calculus induced by Milner's encoding into the $\pi$-calculus. We show that the resulting may testing preorder on $\lambda$-terms coincides with the inclusion of Lévy-Longo trees. To establish this result, we use a refinement of the $\lambda$-calculus where the argument of a function may be of ...
Boudol, Gérard, Laneve, Cosimo
openaire +2 more sources
Labelled Lambda-calculi with Explicit Copy and Erase [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 We present two rewriting systems that define labelled explicit substitution lambda-calculi. Our work is motivated by the close correspondence between Levy's labelled lambda-calculus and paths in proof-nets, which played an important role in the ...
Maribel Fernández, Nikolaos Siafakas
doaj +1 more source
On noncommutative extensions of linear logic [PDF]
Logical Methods in Computer Science, 2019 Pomset logic introduced by Retor\'e is an extension of linear logic with a self-dual noncommutative connective. The logic is defined by means of proof-nets, rather than a sequent calculus.
Sergey Slavnov
doaj +1 more source
Multiplicative finite difference methods [PDF]
, 2009 Based on multiplicative calculus, the finite difference schemes for the numerical solution of multiplicative differential equations and Volterra differential equations are presented. Sample problems were solved using these new approaches.
Özyapici A., Misirli E., Riza M.
core +3 more sources
Characterizing Behavioural Congruences for Petri Nets [PDF]
, 1995 We exploit a notion of interface for Petri nets in order to design a set of net combinators. For such a calculus of nets, we focus on the behavioural congruences arising from four simple notions of behaviour, viz., traces, maximal traces, step, and ...
Priese, L. +5 more
core +1 more source