Related papers: Approximating Mathematical Constants using Minecra…
In this paper we will algorithmically prove the local and global epsilon constant conjectures for all fields of absolute degree lower or equal to 15. To this end we will present an efficient algorithm for the computation of local…
Memory becomes a limiting factor in contemporary applications, such as analyses of the Webgraph and molecular sequences, when many objects need to be counted simultaneously. Robert Morris [Communications of the ACM, 21:840--842, 1978]…
A re-calculation of a known family of formulas of PI is carried out, revisiting the old Archimedes' algorithm. This allows to identify a general family equation and three new simple formulas of Pi in terms of the golden ratio PHI in the…
We discuss the problem on approximation by tight step wavelet frames on the field $\mathbb{Q}_p$ of $p$-adic numbers. Let $G_n=\{x=\sum_{k=n}^\infty x_k p^k\}$, $X$ be a set of characters. We define a step function $\lambda({\chi})$ that is…
Ongoing efforts that span over decades show a rise of AI methods for accelerating scientific discovery, yet accelerating discovery in mathematics remains a persistent challenge for AI. Specifically, AI methods were not effective in creation…
This work introduces two Monte Carlo (MC)-based sampling methods, known as line sampling and subset simulation, to improve the performance of standard MC analyses in the context of asteroid impact risk assessment. Both techniques sample the…
Likelihood ratio tests are a widely used method in global analyses in particle physics. The computation of the statistical significance (p-value) of these tests is usually done with a simple formula that relies on Wilks' theorem. There are,…
Let $T$ be the triangle with vertices (1,0), (0,1), (1,1). We study certain integrals over $T$, one of which was computed by Euler. We give expressions for them both as a linear combination of multiple zeta values, and as a polynomial in…
The progress of Particle Physics is closely linked to the progress in the understanding of the fundamental constants, like the finestructure constant, the mass of the electron or nucleon, or the electroweak mixing angle. The relation…
It is well known that the arithmetic nature of Mills' prime-representing constant is uncertain: we do not know if Mills' constant is a rational or irrational number. In the case of other prime-representing constants, irrationality can be…
Computing reachability probabilities is at the heart of probabilistic model checking. All model checkers compute these probabilities in an iterative fashion using value iteration. This technique approximates a fixed point from below by…
In this paper, we study games with continuous action spaces and non-linear payoff functions. Our key insight is that Lipschitz continuity of the payoff function allows us to provide algorithms for finding approximate equilibria in these…
We perform a Monte Carlo simulation calculation of the critical coupling constant for the continuum {\lambda \over 4} \phi^4_2 theory. The critical coupling constant we obtain is [{\lambda \over \mu^2}]_crit=10.24(3).
There is a result related to the average number of the $(\delta, \eta)$-LLL bases in dimension $n$ in theoretical sense but the formula seems to be complicated and computing in high dimension takes a long time. In practical sense, we…
This study considers rational approximations of musical constant $\beta=\log_2(3/2)$, which defines perfect fifth. This constant has been the subject of the numerous studies, and this paper determines quality of rational approximations in…
Active subspaces can effectively reduce the dimension of high-dimensional parameter studies enabling otherwise infeasible experiments with expensive simulations. The key components of active subspace methods are the eigenvectors of a…
In this paper, Riemann's Zeta function with odd positive integer argument is represented as an infinite summation of integer powers of $\pi$ with rational coefficients. Specific values for Apery's Constant and Catalan's Constant are then…
We consider approximation of diameter of a set $S$ of $n$ points in dimension $m$. E$\tilde{g}$ecio$\tilde{g}$lu and Kalantari \cite{kal} have shown that given any $p \in S$, by computing its farthest in $S$, say $q$, and in turn the…
In the spirit of "multi-culturalism", we use four kinds of computations: simulation, numeric, symbolic, and "conceptual" to explore some "games of pure chance" inspired by children board games like "Snakes and Ladders" (aka as "Chutes and…
We have calculated on the computer the sum $\bar{\BB}_M$ of reciprocals of all 47 known Mersenne primes with the accuracy of over 12000000 decimal digits. Next we developed $\bar{\BB}_M$ into the continued fraction and calculated…