Related papers: On the computational properties of ambivalent sets…
It is shown (Theorem A and its corollary) that if g is any nonconstant nonunivalent analytic function on a half-plane H and if D is either a half-plane or a smoothly bounded Jordan domain, then there is a function f on D for which f'(D)…
We study the set of algebraic numbers of bounded height and bounded degree where an analytic transcendental function takes algebraic values.
We prove that if $X$ is a paracompact space, $Y$ is a metric space and $f:X\to Y$ is a functionally fragmented map, then (i) $f$ is $\sigma$-discrete and functionally $F_\sigma$-measurable; (ii) $f$ is a Baire-one function, if $Y$ is weak…
Classical results in computability theory, notably Rice's theorem, focus on the extensional content of programs, namely, on the partial recursive functions that programs compute. Later and more recent work investigated intensional…
We investigate partial functions and computability theory from within a constructive, univalent type theory. The focus is on placing computability into a larger mathematical context, rather than on a complete development of computability…
Dillon-like Boolean functions are known, in the literature, to be those trace polynomial functions from $\mathbb{F}_{2^{2n}}$ to $\mathbb{F}_{2}$, with all the exponents being multiples of $2^n-1$ often called Dillon-like exponents. This…
In this paper we investigate the properties of the Euler functions. By using the Fourier transform for the Euler function, we derive the interesting formula related to the infinite series. Finally we give some interesting identities between…
A classification, according to invariant theory, of non-constant invariant Abel ODEs known as solvable and found in the literature is presented. A set of new integrable classes depending on one or no parameters, derived from the analysis of…
In this note we study numerically the combinatorics of curves and geodesics on the torus with one boundary component. A potential computational difficulty is avoided by counting inside specific orbits of the mapping class group up to a…
The article deals with the class ${\mathcal F}_{\alpha }$ consisting of non-vanishing functions $f$ that are analytic and univalent in $\ID$ such that the complement $\IC\backslash f(\ID) $ is a convex set, $f(1)=\infty ,$ $f(0)=1$ and the…
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…
We say that a function $\alpha(x)$ belongs to the set ${\bf A}^{(\gamma)}$ if it has an asymptotic expansion of the form $\alpha(x)\sim \sum^\infty_{i=0}\alpha_ix^{\gamma-i}$ as $x\to\infty$, which can be differentiated term by term…
In this paper, we show the existence of a transcendental function $f\in\mathbb{Z}\{z\}$ with coefficients that are almost all bounded such that $f$ and all its derivatives assume algebraic values at algebraic points. Furthermore, we…
We discuss the possibility of constructing a function that validates the definition or not definition of the partial recursive functions of one variable. This is a topic in computability theory, which was first approached by Alan M. Turing…
We introduce and discuss a new class of (multivalued analytic) transcendental functions which still share with algebraic functions the property that the number of their isolated zeros can be explicitly counted. On the other hand, this class…
We address a classical open question by H.Brezis and R.Ignat concerning the characterization of constant functions through double integrals that involve difference quotients. Our first result is a counterexample to the question in its full…
We investigate strongly separately continuous functions on a product of topological spaces and prove that if $X$ is a countable product of real lines, then there exists a strongly separately continuous function $f:X\to\mathbb R$ which is…
Quasianalytic classes are classes of infinitely differentiable functions that satisfy the analytic continuation property enjoyed by analytic functions. Two general examples are quasianalytic Denjoy-Carleman classes (of origin in the…
By considering a fixed point in unit disk $\Delta$, a new class of univalent convex functions is defined. Coefficient inequalities, integral operator and extreme points of this class are obtained.
This paper investigates continuity properties of value functions and solutions for parametric optimization problems. These problems are important in operations research, control, and economics because optimality equations are their…