Mimetic discretization methods for the numerical solution of continuum mechanics problems rely on vector calculus and differential forms identities in their derivation and analysis. Fully mimetic discretizations satisfy discrete analogs of the continuum theory results used to derive energy inequalities. Consequently, continuum arguments carry over and can be used to show that discrete problems ...

The discrete vector calculus theory is a very fruitful area of work in many mathematical branches not only for its intrinsic interest but also for its applications, [1, 2, 3, 4]. One can construct a discrete vector calculus by considering simplicial complexes that approximates locally a smooth manifold and then use the Whitney application to define inner products on the cochain spaces, which gi...

This paper presents a simple and intuitive syntax for proof nets of the multiplicative cyclic fragment (McyLL) of linear logic (LL). The proposed correctness criterion for McyLL proof nets can be considered as the non-commutative counterpart of the famous Danos contraction criterion for proof nets of the pure multiplicative fragment (MLL) of LL. Unlike the most part of current syntaxes for non-...