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

This material is a rewriting and expansion of notes for beginning graduate students in seminars in combinatorics (Department of Mathematics, University of California San Diego). Solid skills in linear and multilinear algebra were required…

These informal notes are based on the author's lecture at the National Academies of Science, Engineering, and Mathematics workshop on "AI to Assist Mathematical Reasoning" in June 2023. The goal is to think through a path by which we might…

These are the notes from my courses on the arithmetic of quadratic forms.

Differentially-algebraic (D-algebraic) functions are solutions of polynomial equations in the function, its derivatives, and the independent variables. We revisit closure properties of these functions by providing constructive proofs. We…

A few corrections and comments are made upon a previously published paper by the author (Gen. Rel. Gravit. 24, 199 (1992)), on the subject of cosmological models with compact spatial sections.

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…

The paper consists of two parts. The first part is devoted to logic for universal algebraic geometry. The second one deals with problems and some results. It may be regarded as a brief exposition of some ideas from the book in progress:…

Chapters 1 to 4 are the lecture notes of my course "Real Algebraic Geometry I" from the winter term 2020/2021. Chapters 5 to 8 are the lecture notes of its continuation "Real Algebraic Geometry II" from the summer term 2021. Chapters 9 and…

We describe an approximate rational arithmetic with round-off errors (both absolute and relative) controlled by the user. The rounding procedure is based on the continued fraction expansion of real numbers. Results of computer experiments…

A new analytical approximation function is proposed to accurately fit the solution of a fractional differential equation of order one-half, whose nonhomogeneous term is defined by a modified Bessel function of the first kind. The exact…

This brief note corrects some errors in the paper quoted in the title, highlights a combinatorial result which may have been overlooked, and points to further improvements in recent literature.

taking aside the review part, a finite-cardinality's set of new ideas concerning algorithmic information issues in Quantum Mechanics is introduced and analyzed

The work presents the first part of second edition of the previous edition of 2000 under the same title containing the proof (in ZF) of the nonexistence of inaccessible cardinals, now enriched and improved. This part contains the apparatus…

Students of our department solve algebraic exercises in mathematical logic in a computerized environment. They construct transformations step by step and the program checks the syntax, equivalence of expressions and completion of the task.…

We modify the proof of the basic lemma of a paper of Saks and Zygmund on additive functions of rectangles.

Cardinal Optimizer is a high-performance mathematical programming solver for efficiently solving largescale optimization problem. This documentation provides basic introduction to the Cardinal Optimizer.

Some corrections are made in our article, which was published in Appl. Anal. Optim. Vol. 3 (2019), No. 1, 103--127. These corrections are intended to transform the equation \eqref{eq:1.1} \begin{equation}\label{eq:1.1} x(t) +…

There are versions of "calculus" in many settings, with various mixtures of algebra and analysis. In these informal notes we consider a few examples that suggest a lot of interesting questions.

This paper has been withdrawn by the authors, because it has been made obsolete by the detailed expositions in our papers in arXiv:0812.4885 (the mathematics part) and arXiv:0812.4737 (the economics part).

An improved (streamlined and extended) version of this paper is available as math.RA/0203010, which however omits some details. We recommend the later version unless details are essential.