Related papers: A Java Math.BigDecimal Implementation of Core Math…
This report describes a test of the large language model GPT-4 with the Wolfram Alpha and the Code Interpreter plug-ins on 105 original problems in science and math, at the high school and college levels, carried out in June-August 2023.…
Counting functions are constructed for sums of integers raised to a fixed positive rational power. That is, given values formed by $u_1^{j/k} + u_2^{j/k} + ... + u_l^{j/k}$, $u_i \in \mathbb{Z}^+$, the number of values less than or equal to…
A differential algebra of nonlinear generalized functions is presented as a tool for a wide range of nonsmooth nonlinear problems. The power of the differential algebra is used to do mathematical calculations or proofs; then the final…
The comparison of numerical data with published plots is a frequently occurring task. In this article I present a short computer program written in Java(TM) helping in those cases where someone wants to get the numbers out of a plot but is…
The function $ \tan(\pi x / 2) / (\pi x / 2) $ is expanded into a Laurent series of $ 1 - x^2 $, where the coefficients are given explicitly as combinations of zeta function of even integers. This is used to achieve a sequence of upper and…
All continuous, SL$(n)$ and translation invariant valuations on the space of convex functions on ${\mathbb R}^n$ are completely classified.
A representation of divisor function $\tau(n)\equiv \sigma_{0}(n)$ by means of logarithmic residue of a function of complex variable is suggested. This representation may be useful theoretical instrument for further investigations of…
Let $\mathcal{S}$ denote the class of functions analytic and univalent (i.e. one-to-one) in the unit disk $\mathbb{D}=\{z\in\mathbb{C}:\, |z|<1\}$ normalized by $f(0)=0=f'(0)-1$. The logarithmic coefficients $\gamma_n$ of $f\in\mathcal{S}$…
We tabulate the abscissae and associated weights for numerical integration of integrals with either the singular weight function (-log x)^m for exponents m=1, 2 or 3, or the symmetric weight function cos(pi*x/2). Standard brute force…
We introduce the fractal expansions, sequences of integers associated to a number. We show that these sequences characterize the O-sequences and encode some information on lex segment ideals. Moreover, we introduce a numerical functions…
We present algorithms to evaluate two types of multiple sums, which appear in higher-order loop computations. We consider expansions of a generalized hypergeometric-type sums, $\sum_{n_1,...,n_N} [Gamma(a1.n+c1) Gamma(a2.n}+c2) ...…
By the Riesz representation theorem using the Riemann-Stieltjes integral, linear continuous functionals on the set of continuous functions from the unit interval into the reals can either be characterized by functions of bounded variation…
In the past, the semantic issues raised by the non-monotonic nature of aggregates often prevented their use in the recursive statements of logic programs and deductive databases. However, the recently introduced notion of Pre-mappability…
This paper compares different representations (in the sense of computable analysis) of a number of function spaces that are of interest in analysis. In particular subspace representations inherited from a larger function space are compared…
Given the importance of floating-point~(FP) performance in numerous domains, several new variants of FP and its alternatives have been proposed (e.g., Bfloat16, TensorFloat32, and Posits). These representations do not have correctly rounded…
The Digamma and Polygamma functions are important tools in mathematical physics, not only for its many properties but also for the applications in statistical mechanics and stellar evolution. In many textbooks is found its develop almost by…
The computation of triangular decompositions are based on two fundamental operations: polynomial GCDs modulo regular chains and regularity test modulo saturated ideals. We propose new algorithms for these core operations relying on modular…
Developing and maintaining software commonly requires (1) adding new data type constructors to existing applications, but also (2) adding new functions that work on existing data. Most programming languages have native support for defining…
This article describes the implementation in the software package NumGfun of classical algorithms that operate on solutions of linear differential equations or recurrence relations with polynomial coefficients, including what seems to be…
There are ten chapters in this dissertation, which focuses on nine contents: growth estimates for a class of subharmonic functions in the half plane; growth estimates for a class of subharmonic functions in the half space; a generalization…