Related papers: Analytical Guide and updates for "Cardinal Arithme…
This work develops novel rational Krylov methods for updating a large-scale matrix function f(A) when A is subject to low-rank modifications. It extends our previous work in this context on polynomial Krylov methods, for which we present a…
This is a list of corrections for the book: J. Noguchi and T. Ochiai, Geometric Function Theory in Several Complex Variables, xi + 282 pp., Math.\ Monographs Vol.\ {\bf 80}, Amer.\ Math.\ Soc., Providence, 1990. The authors hope that this…
The area of fractional calculus (FC) has been fast developing and is presently being applied in all scientific fields. Therefore, it is of key relevance to assess the present state of development and to foresee, if possible, the future…
We summarize four different versions of our course notes on the limits of mathematics.
This is a draft of my textbook on mathematical analysis and the areas of mathematics on which it is based. The idea is to fill the gaps in the existing textbooks. Any remarks from readers are welcome.
For processes involving structure functions and/or fragmentation functions, arguments that, over a range of a proper kinematic variable, there is a part that dominates the next-to-leading order (NLO) corrections are briefly reviewed. The…
Most existing implementations of multiple precision arithmetic demand that the user sets the precision {\em a priori}. Some libraries are said adaptable in the sense that they dynamically change the precision of each intermediate operation…
We present a number of results relating partial Cauchy-Littlewood sums, integrals over the compact classical groups, and increasing subsequences of permutations. These include: integral formulae for the distribution of the longest…
Primitive recursion, mu-recursion, universal object and universe theories, complexity controlled iteration, code evaluation, soundness, decidability, G\"odel incompleteness theorems, inconsistency provability for set theory, constructive…
In these informal lecture notes we outline different approaches used in doing calculations involving the Dirac equation in curved spacetime. We have tried to clarify the subject by carefully pointing out the various conventions used and by…
We present a semi-numerical method to compute one-loop corrections to multi-leg processes. We apply the method to the study of Higgs plus four parton and six gluon amplitudes.
There are some inaccuracies and errors in my article "Dual and almost-dual homogeneous spaces". Here I will describe in detail how to correct incorrect statements from this article and which statements there will have to be reformulated in…
In this brief note we critically examine the process of partial and of total differentiation, showing some of the problems that arise when we relate both concepts. A way to solve all the problems is proposed.
This paper describes the classification of analytic $q$-difference equations. The difference Galois groups are computed. A tentative description of the universal difference Galois group is given.
Analytic proof calculi are introduced for box and diamond fragments of basic modal fuzzy logics that combine the Kripke semantics of modal logic K with the many-valued semantics of G\"odel logic. The calculi are used to establish…
This paper contains a discussion of a library of formalized mathematics for the proof assistant Coq which the author worked on in 2011-13.
We present the CAPD::DynSys library for rigorous numerical analysis of dynamical systems. The basic interface is described together with several interesting case studies illustrating how it can be used for computer-assisted proofs in…
Extensions to the trapezoidal rule using derivative information are studied for periodic integrands and integrals along the entire real line. Integrands which are analytic within a half plane or within a strip containing the path of…
This book is a short introduction into dyadic analysis with applications to classical weighted norm inequalities.
This is a survey article, based on the author's lectures in the 2015 Current developments in Mathematics meeting; published in "Current developments in Mathematics". Version 2, references corrected and added.