Related papers: Tibetan calendar mathematics
We introduce cubic coordinates, which are integer words encoding intervals in the Tamari lattices. Cubic coordinates are in bijection with interval-posets, themselves known to be in bijection with Tamari intervals. We show that in each…
Tibetan, one of the major low-resource languages in Asia, presents unique linguistic and sociocultural characteristics that pose both challenges and opportunities for AI research. Despite increasing interest in developing AI systems for…
A method for computation of the matrix Mittag-Leffler function is presented. The method is based on Jordan canonical form and implemented as a Matlab routine.
Fractional calculus represents a natural tool for describing relativistic phenomena in pseudo-Euclidean space-time. In this study, Fractional modified special relativity is presented. We obtain fractional generalized relation for the time…
We give a brief introduction to the clocked lambda calculus, an extension of the classical lambda calculus with a unary symbol tau used to witness the beta-steps. In contrast to the classical lambda calculus, this extension is infinitary…
An MT2 calculation algorithm is described. It is shown to achieve better precision than the fastest and most popular existing bisection-based methods. Most importantly, it is also the first algorithm to be able to reliably calculate…
A perpetual calendar, a calendar designed to find out the day of the week for a given date, employs a rich arithmetical calculation using congruence. Zeller's congruence is a well-known algorithm to calculate the day of the week for any…
An earlier paper gave a means of calculating the Lamb shift via Feynman diagrams. Here we apply the same techniques to TQFT.
Computational Epigraphy refers to the process of extracting text from stone inscription, transliteration, interpretation, and attribution with the aid of computational methods. Traditional epigraphy methods are time consuming, and tend to…
We discuss and prove a number of results for calculating characteristic cycles, or graded, enriched characteristic cycles. We concentrate particularly on results related to hypersurfaces.
We try to understand and justify Schubert Calculus the way Schubert did it.
We discuss a formal system of mathematics. We use it to construct the natural numbers.
The article gives a survey of mathematical proofs that rely on computer calculations and formal proofs.
We use contemporary mathematical notation to describe the method for determining the age of the ecclesiastical moon as mandated by pope Gregory XIII and elaborated in the book of Christopher Clavius \emph{Romani calendarii explicatio}. The…
The purpose of these notes is to provide the details of the Jacobian ring computations carried out in [1], based on the computer algebra system Magma [2].
This essay considers ways that recent uses of computers in mathematics challenge contemporary views on the nature of mathematical understanding. It also puts these challenges in a historical perspective and offers speculation as to a…
Using appropriate notation systems for proofs, cut-reduction can often be rendered feasible on these notations, and explicit bounds can be given. Developing a suitable notation system for Bounded Arithmetic, and applying these bounds, all…
Many interesting and useful symbolic computation algorithms manipulate mathematical expressions in mathematically meaningful ways. Although these algorithms are commonplace in computer algebra systems, they can be surprisingly difficult to…
Modern lunar-planetary ephemerides are numerically integrated on the observational timespan of more than 100 years (with the last 20 years having very precise astrometrical data). On such long timespans, not only finite difference…
The calculus of apsidal precession frequencies of the planets is developed by means of a perturbation thecnique. A model of concentric rings (ring model), suitable for improving calculations, is introduced. Conclusive remarks concerning a…