相关论文: Analytical Guide and updates for "Cardinal Arithme…

Minor corrections made and several references changed.

There have been several modifications of how basic calculus has been taught, but very few of these modifications have considered the computational tools available at our disposal. Here, we present a few tools that are easy to develop and…

This manuscript, a revised version of arXiv:0811.3168v1, was inadvertently submitted as a separate paper. It can now be accessed, including some final corrections for the published version, as arXiv:0811.3168v2.

We provide some necessary details to several arguments appearing in our previous paper ``Canonical bases for quantum generalized Kac-Moody algebras''. We also make the link with some other work on the same subject.

This is an appendix to our paper "An update of the Hirsch Conjecture" (arXiv:0907.1186), containing proofs of some of the results and comments that were omitted in it.

One of the two basic theorems in [5] on the existence of solutions of PDEs is improved with the use of a group analysis type argument.

An algebraic technique adapted to the problems of the fundamental theoretical physics is presented. The exposition is an elaboration and an extension of the methods proposed in previous works by the aut

This is my working paper on a proposed logical framework for the practice of mathematics, which is paralleled by philosophical considerations and a computer implementation (a variant of Automath). Updated 10/27/2016 with a version from…

This is a draft of a chapter on mathematical logic and foundations for an upcoming handbook of computational proof assistants.

Work in progress concerning alternative formalizations of arithmetic.

Symmetries and reductions of some algebraic equations are considered. Transformations that preserve the form of several algebraic equations, as well as transformations that reduce the degree of these equations, are described. Illustrative…

Recently we have reanalyzed the consistency of the solutions of the space fractional Schr\"odinger equation found in a piecewise manner, and showed that an exact and a proper treatment of the relevant integrals prove that they are…

The earlier paper "Introduction to clarithmetic I" constructed an axiomatic system of arithmetic based on computability logic (see http://www.cis.upenn.edu/~giorgi/cl.html), and proved its soundness and extensional completeness with respect…

In recent years, as fractional calculus becomes more and more broadly used in research across different academic disciplines, there are increasing demands for the numerical tools for the computation of fractional…

This introduction to arithmetic coding is divided in two parts. The first explains how and why arithmetic coding works. We start presenting it in very general terms, so that its simplicity is not lost under layers of implementation details.…

This is a corrigendum to Acta Math. 196 (2006) as well as to the follow-up publications JFA 259 (2010) and to JFA 260 (2011).

A Compact Introduction to Fractional Calculus is presented including basic definitions, fractional differential equations and special functions.

This revision contains some additional corrections and references, including a reference to Zeuthen suggested by Kleiman. For possible subsequent revisions, check http://math.ucr.edu/~ziv/papers/1nodal.pdf

In this book, there are five chapters: Systems of Linear Equations, Vector Spaces, Homogeneous Systems, Characteristic Equation of Matrix, and Matrix Dot Product. It has also exercises at the end of each chapter above to let students…

A coarse grid correction (CGC) approach is proposed to enhance the efficiency of the matrix exponential and $\varphi$ matrix function evaluations. The approach is intended for iterative methods computing the matrix-vector products with…