نتایج جستجو برای: multiplicative discrete calculus

تعداد نتایج: 232179  

Journal: :ESAIM: Mathematical Modelling and Numerical Analysis 2018

Journal: :Journal of Inequalities and Applications 2018

Journal: :Revista Internacional de Métodos Numéricos para Cálculo y Diseño en Ingeniería 2020

2012
Antoine Joux

Many index calculus algorithms generate multiplicative relations between smoothness basis elements by using a process called Sieving. This process allows to filter potential candidate relations very quickly, without spending too much time to consider bad candidates. However, from an asymptotic point of view, there is not much difference between sieving and straightforward testing of candidates....

2009
Lutz Straßburger

We investigate the question of what constitutes a proof when quantifiers and multiplicative units are both present. On the technical level this paper provides two new aspects of the proof theory of MLL2 with units. First, we give a novel proof system in the framework of the calculus of structures. The main feature of the new system is the consequent use of deep inference, which allows us to obs...

Journal: :Computers & Mathematics with Applications 2012
Ferhan Merdivenci Atici Paul W. Eloe

We introduce discrete fractional sum equations and inequalities. We obtain the equivalence of an initial value problem for a discrete fractional equation and a discrete fractional sum equation. Then we give an explicit solution to the linear discrete fractional sum equation. This allows us to state and prove an analogue of Gronwall's inequality on discrete fractional calculus. We employ a nabla...

2005
Lancelot F. James

This article develops, and describes how to use, results concerning disintegrations of Poisson random measures. These results are fashioned as simple tools that can be tailor-made to address inferential questions arising in a wide range of Bayesian nonparametric and spatial statistical models. The Poisson disintegration method is based on the formal statement of two results concerning a Laplace...

Journal: :CoRR 2017
Daniel de Carvalho

Each Multiplicative Exponential Linear Logic (MELL) proof-net can be expanded into a differential net, which is its Taylor expansion. We prove that two different MELL proof-nets have two different Taylor expansions. As a corollary, we prove a completeness result for MELL: We show that the relational model is injective for MELL proof-nets, i.e. the equality between MELL proof-nets in the relatio...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید