English
Related papers

Related papers: Notes on the characterization of derivations

200 papers

We present a simplified integral of functions of several variables. Although less general than the Riemann integral, most functions of practical interest are still integrable. On the other hand, the basic integral theorems can be obtained…

Classical Analysis and ODEs · Mathematics 2007-12-05 Ágnes M. Backhausz , Vilmos Komornik , Tivadar Szilágyi

Two approximations, derived from continuous expansions of Riemann-Liouville fractional derivatives into series involving integer order derivatives, are studied. Using those series, one can formally transform any problem that contains…

Optimization and Control · Mathematics 2013-05-10 Shakoor Pooseh , Ricardo Almeida , Delfim F. M. Torres

The development of mathematics has been characterized by the increasing interconnectivity of seemingly separate disciplines. Such interplay has been facilitated by a massive development in formalism; category theory has provided a common…

Algebraic Geometry · Mathematics 2018-12-03 Aurel Malapani

The purpose of this note is to provide an alternative proof of two quadratic transformation formulas contiguous to that of Gauss using a differential equation approach.

Classical Analysis and ODEs · Mathematics 2014-11-20 M Swathi , A K Rathie , R B Paris

Prediction is a complex notion, and different predictors (such as people, computer programs, and probabilistic theories) can pursue very different goals. In this paper I will review some popular kinds of prediction and argue that the theory…

Machine Learning · Computer Science 2007-05-23 Vladimir Vovk

We give an elementary characterization of rational functions among meromorphic functions in the complex plane.

Complex Variables · Mathematics 2017-12-13 Bao Qin Li

In current practice a formal analysis of hybrid system models is assertion-based. The work presented here is based on features that look beyond functional correctness toward a quantitative evaluation of behavioral attributes. A feature…

Logic in Computer Science · Computer Science 2019-02-25 Antonio Anastasio Bruto da Costa , Goran Frehse , Pallab Dasgupta

Using polynomial evaluation, we give some useful criteria to answer questions about divisibility of polynomials. This allows us to develop interesting results concerning the prime elements in the domain of coefficients. In particular, it is…

Commutative Algebra · Mathematics 2008-06-10 Luis F. Caceres , Jose A. Velez-Marulanda

Aspects of the theory of characteristic modes, based on their variational formulation, are presented and an explicit form of a related functional, involving only currents in a spatial domain, is derived. The new formulation leads to deeper…

Classical Physics · Physics 2017-09-01 Miloslav Capek , Pavel Hazdra , Michal Masek , Vit Losenicky

The existence of the Herman ring of a function adds interest and complexity to the dynamics of the function. We present a detailed and understandable summary of the core discoveries and recent developments on the Herman ring of rational and…

Complex Variables · Mathematics 2026-01-01 Gorachand Chakraborty , Subhasis Ghora , Tarakanta Nayak

This paper is devoted to the study of generalized differentiation properties of the infimal convolution. This class of functions covers a large spectrum of nonsmooth functions well known in the literature. The subdifferential formulas…

Optimization and Control · Mathematics 2014-11-04 Nguyen Mau Nam , Dang Van Cuong

We explain the exact meaning of a statement we made in a previous paper on invariants, namely that a complex-valued function of the data of the functional equation of an $L$-function is an invariant if and only if it is stable under the…

Number Theory · Mathematics 2026-03-17 Jerzy Kaczorowski , Alberto Perelli

computable functions are defined by abstract finite deterministic algorithms on many-sorted algebras. We show that there exist finite universal algebraic specifications that specify uniquely (up to isomorphism) (i) all abstract computable…

Logic in Computer Science · Computer Science 2007-05-23 J. V. Tucker , J. I. Zucker

We present a convenient notation for positive/negative-conditional equations. The idea is to merge rules specifying the same function by using case-, if-, match-, and let-expressions. Based on the presented macro-rule-construct,…

Artificial Intelligence · Computer Science 2009-02-18 Claus-Peter Wirth , Ruediger Lunde

These are notes from a basic course in Several Complex Variables

Complex Variables · Mathematics 2015-07-03 John Erik Fornaess

A new class of functions is presented. The structure of the algorithm, particularly the selection criteria (branching), is used to define the fundamental property of the new class. The most interesting property of the new functions is that…

Computational Complexity · Computer Science 2020-02-25 Rade Vuckovac

The characteristic function of row contractions and liftings of row contractions are complete invariants up to unitary equivalence for row contractions and liftings of row contractions, respectively. We provide alternate proofs for these…

Functional Analysis · Mathematics 2023-02-01 Neeru Bala , Santanu Dey , Reshmi M. N

The point of view of these notes on the topic is to bring out the flavour that Representation Theory is an extension of the first course on Group Theory. We also emphasize the importance of the base field. These notes cover completely the…

Representation Theory · Mathematics 2022-12-22 Anupam Singh

Definitions and notations with historical references are given for some numerical coefficients commonly used to quantify relations among collections of objects for the purpose of expressing approximate knowledge and probabilistic reasoning.

Artificial Intelligence · Computer Science 2013-04-11 Silvio Ursic

Labeled examples (i.e., positive and negative examples) are an attractive medium for communicating complex concepts. They are useful for deriving concept expressions (such as in concept learning, interactive concept specification, and…

Logic in Computer Science · Computer Science 2024-12-24 Balder ten Cate , Raoul Koudijs , Ana Ozaki