Displaying similar documents to “Derivation of BDF coefficients for equidistant time step”

On derivations of quantales

Qimei Xiao, Wenjun Liu (2016)

Open Mathematics

Similarity:

A quantale is a complete lattice equipped with an associative binary multiplication distributing over arbitrary joins. We define the notions of right (left, two) sided derivation and idempotent derivation and investigate the properties of them. It’s well known that quantic nucleus and quantic conucleus play important roles in a quantale. In this paper, the relationships between derivation and quantic nucleus (conucleus) are studied via introducing the concept of pre-derivation. ...

From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction

Jan von Plato (2017)

Bulletin of the Section of Logic

Similarity:

The way from linearly written derivations in natural deduction, introduced by Jaskowski and often used in textbooks, is a straightforward root-first translation. The other direction, instead, is tricky, because of the partially ordered assumption formulas in a tree that can get closed by the end of a derivation. An algorithm is defined that operates alternatively from the leaves and root of a derivation and solves the problem.

Some remarks on averaging in the BDDC method

Čertíková, Marta, Burda, Pavel, Novotný, Jaroslav, Šístek, Jakub

Similarity:

In this paper, we introduce a general framework for derivation of the averaging operator, from which the standard choices are recovered by simplifications. Then, an alternative approach derived by another simplification is proposed and tested on a 2D example.