Related papers: Tibetan calendar mathematics
This paper is a reflexion on the computability of natural language semantics. It does not contain a new model or new results in the formal semantics of natural language: it is rather a computational analysis of the logical models and…
This paper presents an investigation of the entropy of the Telugu script. Since this script is syllabic, and not alphabetic, the computation of entropy is somewhat complicated.
This thesis is intended to provide an account of the theory and applications of Operational Methods that allow the "translation" of the theory of special functions and polynomials into a "different" mathematical language. The language we…
The horologia are ancient ephemerides, tables of durations of the days and nights during all months of the year. The algorithms used to compute the horologia are here presented and the results are compared with the tables computed by…
When studying the history of mathematical symbols, one finds that the development of mathematical symbols in China is a significant piece of Chinese history; however, between the beginning of mathematics and modern day mathematics in China,…
Topological data analysis (TDA) is a fast-growing field that utilizes advanced tools from topology to analyze large-scale data. A central problem in topological data analysis is estimating the so-called Betti numbers of the underlying…
We briefly review numerical methods for calculations beyond one loop and then describe new developments within the method of sector decomposition in more detail. We also discuss applications to two-loop integrals involving several mass…
Since the early twentieth century, it has been understood that mathematical definitions and proofs can be represented in formal systems systems with precise grammars and rules of use. Building on such foundations, computational proof…
The rapid advances in technology over the last decade have significantly altered the nature of engineering knowledge and skills required in the modern industries. In response to the changing professional requirements, engineering…
Computational methods are an important tool for solving the Yang-Baxter equations(in small dimensions), for classifying (unifying) structures, and for solving related problems. This paper is an account of some of the latest developments on…
In this paper, a digital clock is designed where the microcontroller is used for timing controller and the font of the Bangla digits are designed, and programmed within the microcontroller. The design is cost effective, simple and easy for…
Some of the narratives in the Pentateuch can be associated with known astronomical events to provide absolute dates for biblical chronology.
Work in progress concerning alternative formalizations of arithmetic.
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…
In this note we give a theoretical support by means of quotient polynomial rings for the computation formulas of the dimension of abelian codes.
The present article introduces ptarithmetic (short for "polynomial time arithmetic") -- a formal number theory similar to the well known Peano arithmetic, but based on the recently born computability logic (see…
A new idea for a binary clock is presented. It displays the time using a triangular array of 15 bits. It is shown that such a geometric, triangular arrangement is only possible because our system of time divisions is based on a sexagesimal…
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…
A formulation of Dirac's equation using complex-quaternionic coordinates appears to yield an enormous gain in formal elegance, as there is no longer any need to invoke Dirac matrices. This formulation, however, entails several…
We try to understand Schubert calculus the way he did it