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

The note complements topological aspects of the theory of chiral algebras.

This invited chapter in the Handbook of Quantum Logic and Quantum Structures consists of two parts: 1. A substantially updated version of quant-ph/0402130 by the same authors, which initiated the area of categorical quantum mechanics, but…

In this paper, some points to the convergence analysis performed in the paper [A new computing approach for power signal modeling using fractional adaptive algorithms, ISA Transactions 68 (2017) 189-202] are presented. It is highlighted…

We propose an advancement in cardinality estimation by augmenting autoregressive models with a traditional grid structure. The novel hybrid estimator addresses the limitations of autoregressive models by creating a smaller representation of…

In this paper a small survey is presented on fourteen sequences, such as: G Add-on Sequences, Sieve Sequences, Digital Sequences, Non-Arithmetic Progressions, recreational sequences (Lucky…

The purpose of this book is to provide an overview of AI research, ranging from basic work to interfaces and applications, with as much emphasis on results as on current issues. It is aimed at an audience of master students and Ph.D.…

This book intends to give the main definitions and theorems in mathematics which could be useful for workers in theoretical physics. It gives an extensive and precise coverage of the subjects which are addressed, in a consistent and…

"Clarithmetic" is a generic name for formal number theories similar to Peano arithmetic, but based on computability logic (see http://www.cis.upenn.edu/~giorgi/cl.html) instead of the more traditional classical or intuitionistic logics.…

This is a companion overview paper to arXiv:2409.17489: we give all the main definitions, constructions and statements, but no proofs.

This is the first in a series of three papers on Algebraic Set Theory. Its main purpose is to lay the necessary groundwork for the next two parts, one on Realisability and the other on Sheaf Models in Algebraic Set Theory.

A corrigendum of a former result on semisimplicity of the category of integrable modules of a q-boson algebra is given with a counter example.

There were some errors in paper hep-th/9303018 in formulas 6.1, 6.6, 6.8, 6.11. These errors have been corrected in the present version of this paper. There are also some minor changes in the introduction.

The classical quadratic formula and some of its lesser known variants for solving the quadratic equation are reviewed. Then, a new formula for the roots of a quadratic polynomial is presented.

This letter introduces a new, substantially simplified version of the branching recurrence operation of computability logic (see http://www.cis.upenn.edu/~giorgi/cl.html), and proves its equivalence to the old, "canonical" version.

A brief introduction into Idempotent Mathematics and an idempotent version of Interval Analysis are presented. Some applications are discussed.

These are seven corrigenda to equations in the Lehmer article in American Mathematical Monthly 92 (1985), pp 449--457, partially reproduced in the Apelblat tables of integrals and series.

In this note we present a refinement of the AM-GM inequality, and then we estimate in a special case the typical size of the improvement.

We correct here two errors in our earlier paper "An algebraic model for finite loop spaces" [arXiv:1212.2033]

The paper suggests a slightly more rigorous justification to Wang et al.'s work from 2007, and introduces the Slanted Line Integral.

We present the evaluation of a family of logarithmic integrals. This provides a unified proof of several formulas in the classical table of integrals by I. S. Gradshteyn and I. M. Rhyzik.