相关论文: An Introduction to Zoli Numbers

In this paper we consider a few Calculus optimization problems in which we notice peculiar patterns. In each of these cases there is a geometric explanation for the pattern showing that it is not just a coincidence.

This paper proposes the meeting of fuzzy logic with paraconsistency in a very precise and foundational way. Specifically, in this paper we introduce expansions of the fuzzy logic MTL by means of primitive operators for consistency and…

Weird numbers are abundant numbers that are not pseudoperfect. Since their introduction, the existence of odd weird numbers has been an open problem. In this work, we describe our computational effort to search for odd weird numbers, which…

This note presents an analytic technique for proving the linear independence of certain small subsets of real numbers over the rational numbers. The applications of this test produce simple linear independence proofs for the subsets of…

Using a new construction of rational linear forms in odd zeta values and the saddle point method, we prove the existence of at least two irrational numbers amongst the 33 odd zeta values $\zeta$(5), $\zeta$(7),. .. , $\zeta$(69).

Large language models (LLMs) frequently make errors when handling even simple numerical problems, such as comparing two small numbers. A natural hypothesis is that these errors stem from how LLMs represent numbers, and specifically, whether…

In this paper, we consider nine OEIS sequences, the analysis of which allows us to find a connection between Motzkin numbers and Fibonacci numbers. In each Motzkin number, we distinguish an even component and an odd component, the…

Zagier introduced the term "strange identity" to describe an asymptotic relation between a certain $q$-hypergeometric series and a partial theta function at roots of unity. We show that behind Zagier's strange identity lies a statement…

In this paper we use some results related to regularity, Betti numbers and reduction of generic initial ideals, showing their stability in passing from an ideal to its initial ideal if the last has some simple properties.

The system PL permits the translation of abstract proofs of program correctness into programs in a variety of programming languages. A programming language satisfying certain axioms may be the target of such a translation. The system PL…

We introduce labelled sequent calculi for the basic normal non-distributive modal logic L and 31 of its axiomatic extensions, where the labels are atomic formulas of a first order language which is interpreted on the canonical extensions of…

This paper concerns the \textbf{abstract geometry of numbers}: namely the pursuit of certain aspects of geometry of numbers over a suitable class of normed domains. (The standard geometry of numbers is then viewed as geometry of numbers…

Cyclic codes and their various generalizations, such as quasi-twisted (QT) codes, have a special place in algebraic coding theory. Among other things, many of the best-known or optimal codes have been obtained from these classes. In this…

Large language models (LLMs) represent a new paradigm for processing unstructured data, with applications across an unprecedented range of domains. In this paper, we address, through two arguments, whether the development and application of…

Surreal numbers are created recursively, with the "birthday" being the depth of the recursion. Birthday arithmetic describes how birthdays of surreal numbers are transformed by standard arithemetic operations. This paper shows that birthday…

We show how infinite series of a certain type involving generalized harmonic numbers can be computed using a knowledge of symmetric functions and multiple zeta values. In particular, we prove and generalize some identities recently…

In this paper, we present a formula for generating various exotic series in the spirit of Ovidiu Furdui and Alina Sintamarian. Our new series (evaluated in closed form) involve Bernoulli, harmonic, and Catalan numbers. Also Stirling numbers…

Discrete numerical methods with finite time-steps represent a practical technique to solve initial-value problems involving nonlinear differential equations. These methods seem particularly useful to the study of chaos since no analytical…

In this paper, we study nonlinear differential equations satisfied by the generating function of Boole numbers. In addition, we derive some explicit and new interesting identities involving Boole numbers and higher-order numbers arising…

Large language models (LLMs) have exhibited impressive competence in various tasks, but their internal mechanisms on mathematical problems are still under-explored. In this paper, we study a fundamental question: how language models encode…