Results 51 to 60 of about 1,565,058 (384)
Theorems in the Calculus of Operations [PDF]
n ...
openaire +3 more sources
Which Arithmetical Data Types Admit Fracterm Flattening?
The formal theory of division in arithmetical algebras reconstructs fractions as syntactic objects called fracterms. Basic to calculation, is the simplification of fracterms to fracterms with one division operator, a process called fracterm ...
Jan A. Bergstra, John V. Tucker
doaj +1 more source
Operator Calculus and the Solution of the Equations of Quantum Dynamics
A formal calculus is developed which includes the Born and Jordan matrix dynamics, and also the remarkable quantum condition of Schroedinger. A method for the calculation of the matrices which is in close analogy to the classical Hamilton-Jacobi method ...
C. Eckart
semanticscholar +1 more source
Image Denoising Algorithm Based on Entropy and Adaptive Fractional Order Calculus Operator
In this paper, a fractional calculus operator for image denoising is constructed based on the characteristic of local entropy and the gradient feature, and an adaptive fractional calculus image denoising algorithm is proposed.
Jimin Yu+4 more
semanticscholar +1 more source
We present a semilocal convergence study of Newton-like methods on a generalized Banach space setting to approximate a locally unique zero of an operator.
George A. Anastassiou+1 more
doaj +2 more sources
Restrictions for loop-check in sequent calculus for temporal logic with until operator
In this paper, we present sequent calculus for branching-time temporal logic with until operator. This sequent calculus uses efficient loop-checktechinque.
Adomas Birštunas
doaj +1 more source
Operator Calculus Approach to Comparison of Elasticity Models for Modelling of Masonry Structures
The solution of any engineering problem starts with a modelling process aimed at formulating a mathematical model, which must describe the problem under consideration with sufficient precision. Because of heterogeneity of modern engineering applications,
Klaus Gürlebeck+2 more
doaj +1 more source
Magnetic Fourier Integral Operators
In some previous papers we have defined and studied a 'magnetic' pseudodifferential calculus as a gauge covariant generalization of the Weyl calculus when a magnetic field is present. In this paper we extend the standard Fourier Integral Operators Theory
D. Robert+12 more
core +1 more source
An Operation for Renal Calculus [PDF]
n ...
openaire +2 more sources
Newton-Type Methods on Generalized Banach Spaces and Applications in Fractional Calculus
We present a semilocal convergence study of Newton-type methods on a generalized Banach space setting to approximate a locally unique zero of an operator. Earlier studies require that the operator involved is Fréchet differentiable.
George A. Anastassiou+1 more
doaj +1 more source