English
Related papers

Related papers: Tibetan calendar mathematics

200 papers

In this paper, we propose a new algorithm of calculating the day of the week for any given century, year, month and day in Gregorian calendar. We provide two simple formulas to convert the century and the year into two integers. Then we…

History and Overview · Mathematics 2014-04-10 Xiang-Sheng Wang

This note is about encoding Turing machines into the lambda-calculus.

Logic in Computer Science · Computer Science 2017-12-04 Ugo Dal Lago , Beniamino Accattoli

It is shown that theories already presented as rigorous mathematical formalizations of widespread manipulations of Dirac's delta function are all unsatisfactory, and a new alternative is proposed.

funct-an · Mathematics 2008-02-03 Sergio Ferreira Cortizo

Time and its lack of play a central role in our everyday lives. Despite increasing productivity, many people experience time stress, exhaustion and a longing for time affluence, and at the same time, a fear of not being busy enough. All…

Human-Computer Interaction · Computer Science 2020-04-15 Sarah Janboecke , Alina Gawlitta , Judith Doerrenbaecher , Marc Hassenzahl

We show how to efficiently compute Hilbert modular forms as orthogonal modular forms, generalizing and expanding upon the method of Birch.

Number Theory · Mathematics 2025-06-30 Jeffery Hein , Gonzalo Tornaria , John Voight

This paper presents certains aspects of the mathematics of Aryabhata that are of interest to the cryptography community.

Cryptography and Security · Computer Science 2010-02-19 Subhash Kak

We discuss classical and quantum computations in terms of corresponding Hamiltonian dynamics. This allows us to introduce quantum computations which involve parallel processing of both: the data and programme instructions. Using mixed…

Quantum Physics · Physics 2015-05-14 Vladimir V. Kisil

The computation of triangular decompositions are based on two fundamental operations: polynomial GCDs modulo regular chains and regularity test modulo saturated ideals. We propose new algorithms for these core operations relying on modular…

Symbolic Computation · Computer Science 2009-07-25 Xin Li , Marc Moreno Maza , Wei Pan

Coping with ambiguity has recently received a lot of attention in natural language processing. Most work focuses on the semantic representation of ambiguous expressions. In this paper we complement this work in two ways. First, we provide…

Computation and Language · Computer Science 2007-05-23 Christof Monz , Maarten de Rijke

This article develops an algebraic model of the 260-day Central Mexican ritual calendar, the \textit{Tonalpohualli}. We represent the calendar as the cyclic group $\mathbb{Z}_{13}\oplus\mathbb{Z}_{20}$, where each day name is encoded by a…

General Mathematics · Mathematics 2026-03-20 Ramiro Carrillo-Catalán

The traditional cultures of Aboriginal Australians include a significant astronomical component, which is usually reported in terms of songs or stories associated with stars and constellations. Here we argue that the astronomical components…

History and Philosophy of Physics · Physics 2015-05-13 Ray P. Norris , Duane W. Hamacher

These notes are the second part of the tensor calculus documents which started with the previous set of introductory. In the present text, we continue the discussion of selected topics of the subject at a higher level expanding, when…

History and Overview · Mathematics 2016-10-17 Taha Sochi

An efficient numerical algorithm for the computation of linking number is presented. The algorithm keep tracks or rounding error so that it can ensure the correctness of the results.

Algebraic Topology · Mathematics 2020-01-01 Enrico Bertolazzi , Riccardo Ghiloni , Ruben Specogna

Discrepancy between periodic orbit theory and numerical calculation of a modified Kepler problem is cleared by a quantum mechanical calculation. The diagonal approximation already gives a good fit for the numerical calculation. A better…

Quantum Physics · Physics 2011-03-16 Tao Ma , Rostislav Serota

A consistently specified halting function may be computed.

Logic in Computer Science · Computer Science 2016-06-29 Eric C. R. Hehner

The traditional cultures of Aboriginal Australians include a significant astronomical component, perpetuated through oral tradition, ceremony, and art. This astronomical component includes a deep understanding of the motion of objects in…

History and Philosophy of Physics · Physics 2015-06-16 Ray P. Norris , Duane W. Hamacher

A new computational procedure is offered to provide simple, accurate and flexible methods for using modern computers to give numerical evaluations of the various Bessel functions. The Trapezoidal Rule, applied to suitable integral…

Numerical Analysis · Mathematics 2015-06-11 Charles Schwartz

One of the variants for systematizing the activities of the historian of mathematics is proposed, as well as a scheme for organizing research and search work in the preparation of scientific articles and reports on the history of science.

History and Overview · Mathematics 2021-08-17 Bogatov Egor , Korenev Artem , Mikhailov Ilya

A family of original formulae for computing number PI and its proof are presented. An algorithm is proposed to validate the results of this new algorithm.

General Mathematics · Mathematics 2021-04-01 Fernando Alonso Zotes

We discuss the babylonian method of extracting the root square of a number, from the point of view of modern mathematics. We also speculate that the babylonian mathematics was rich enough for a generalization of this method, despite the…

History and Overview · Mathematics 2007-05-23 Vilma A. S. Sant'Anna , Adonai S. Sant'Anna