https://novaprd-lb.newcastle.edu.au/vital/access/manager/Index ${session.getAttribute("locale")} 5 Ancient Indian square roots: an exercise in forensic Paleo-mathematics https://novaprd-lb.newcastle.edu.au/vital/access/manager/Repository/uon:12967 Wed 11 Apr 2018 17:22:28 AEST ]]> Experimental mathematics and computational statistics https://novaprd-lb.newcastle.edu.au/vital/access/manager/Repository/uon:7550 Wed 11 Apr 2018 17:17:34 AEST ]]> On the binary expansions of algebraic numbers https://novaprd-lb.newcastle.edu.au/vital/access/manager/Repository/uon:13492 1,then the number #(|y|,N) of 1-bits in the expansion of |y| through bit position N satisfies #(|y|,N) > CN1/D for a positive number C (depending on y) and sufficiently large N. This in itself establishes the transcendency of a class of reals ∑n≥o 1/2f(n) where the integer-valued function f grows sufficiently fast; say, faster than any fixed power of n. By these methods we re-establish the transcendency of the Kempner–Mahler number ∑n≥o 1/22n, yet we can also handle numbers with a substantially denser occurrence of 1’s. Though the number z = ∑n≥o 1/2n2 has too high a 1’s density for application of our central result, we are able to invoke some rather intricate number-theoretical analysis and extended computations to reveal aspects of the binary structure of z2.]]> Wed 11 Apr 2018 17:14:51 AEST ]]> Exploratory experimentation and computation https://novaprd-lb.newcastle.edu.au/vital/access/manager/Repository/uon:12975 Wed 11 Apr 2018 16:51:30 AEST ]]> Elliptic integral representation of Bessel moments https://novaprd-lb.newcastle.edu.au/vital/access/manager/Repository/uon:6446 Wed 11 Apr 2018 16:50:58 AEST ]]> Computer-assisted discovery and proof https://novaprd-lb.newcastle.edu.au/vital/access/manager/Repository/uon:13576 Wed 11 Apr 2018 16:50:54 AEST ]]> Experimental mathematics: examples, methods and implications https://novaprd-lb.newcastle.edu.au/vital/access/manager/Repository/uon:10338 Wed 11 Apr 2018 16:28:22 AEST ]]> Experimental computation with oscillatory integrals https://novaprd-lb.newcastle.edu.au/vital/access/manager/Repository/uon:10649 Wed 11 Apr 2018 15:40:07 AEST ]]> Effective bounds in Euler-Maclaurin-based quadrature: (summary for HPCS06) https://novaprd-lb.newcastle.edu.au/vital/access/manager/Repository/uon:13549 Wed 11 Apr 2018 14:54:32 AEST ]]> High-precision computation and mathematical physics https://novaprd-lb.newcastle.edu.au/vital/access/manager/Repository/uon:13529 Wed 11 Apr 2018 11:29:42 AEST ]]> Nonnormality of Stoneham constants https://novaprd-lb.newcastle.edu.au/vital/access/manager/Repository/uon:12923 b,c = Σn≥1 1/(cnbcn), for coprime integers b ≥ 2 and c ≥ 2. These are of interest because, according to previous studies, αb,c is known to be b-normal, meaning that every m-long string of base-b digits appears in the base-b expansion of the constant with precisely the limiting frequency b-m. So, for example, the constant α2,3 = Σn≥1 1/(3n23n) is 2-normal. More recently it was established that αb,c is not bc-normal, so, for example,α2,3 is provably not 6-normal. In this paper, we extend these findings by showing that αb,c is not B-normal, where B = bpcq r, for integers b and c as above, p, q, r ≥ 1, neither b nor c divide r, and the condition D=cq/pr1/p/bc-1 < 1 is satisfied. It is not known whether or not this is a complete catalog of bases to which αb,c is nonnormal. We also show that the sum of two B-nonnormal Stoneham constants as defined above, subject to some restrictions, is B-nonnormal.]]> Wed 11 Apr 2018 10:56:19 AEST ]]> The computation of previously inaccessible digits of π² and Catalan's constant https://novaprd-lb.newcastle.edu.au/vital/access/manager/Repository/uon:13722 Wed 11 Apr 2018 09:55:47 AEST ]]> Compressed lattice sums arising from the Poisson equation https://novaprd-lb.newcastle.edu.au/vital/access/manager/Repository/uon:12969 0, x, y are real numbers and Odenotes the odd integers. In this paper we first survey the earlier work and then discuss the sum (1) more completely. Conclusions: As in the previous study, we find some surprisingly simple closed-form evaluations of these sums. In particular, we find that in some cases these sums are given by 1/π logA, where A is an algebraic number. These evaluations suggest that a deep theory interconnects all such summations.]]> Wed 11 Apr 2018 09:47:17 AEST ]]> Ten problems in experimental mathematics https://novaprd-lb.newcastle.edu.au/vital/access/manager/Repository/uon:10339 Wed 11 Apr 2018 09:34:30 AEST ]]> On the Khintchine constant https://novaprd-lb.newcastle.edu.au/vital/access/manager/Repository/uon:13500 Wed 11 Apr 2018 09:19:32 AEST ]]> Computer Discovery and Analysis of Large Poisson Polynomials https://novaprd-lb.newcastle.edu.au/vital/access/manager/Repository/uon:32052 m, n oddcos (mπx)cos (nπy)/(m2 + n2) = log A, where  A is an algebraic number, and explicit minimal polynomials associated with A were computed for a few specific rational arguments x and y. Based on these results, one of us (Kimberley) conjectured a number-theoretic formula for the degree of A in the case x = y = 1/s for some integer s. These earlier studies were hampered by the enormous cost and complexity of the requisite computations. In this study, we address the Poisson polynomial problem with significantly more capable computational tools. As a result of this improved capability, we have confirmed that Kimberley’s formula holds for all integers s up to 52 (except for s = 41, 43, 47, 49, 51, which are still too costly to test), and also for s = 60 and s = 64. As far as we are aware, these computations, which employed up to 64,000-digit precision, producing polynomials with degrees up to 512 and integer coefficients up to 10229, constitute the largest successful integer relation computations performed to date. By examining the computed results, we found connections to a sequence of polynomials defined in a 2010 paper by Savin and Quarfoot. These investigations subsequently led to a proof, given in the Appendix, of Kimberley’s formula and the fact that when s is even, the polynomial is palindromic (i.e., coefficient ak = am − k, where m is the degree).]]> Thu 26 Apr 2018 11:36:50 AEST ]]> Do financial gurus produce reliable forecasts? https://novaprd-lb.newcastle.edu.au/vital/access/manager/Repository/uon:39623 Thu 16 Jun 2022 11:25:13 AEST ]]> Walking on real numbers https://novaprd-lb.newcastle.edu.au/vital/access/manager/Repository/uon:12958 Sat 24 Mar 2018 10:37:17 AEDT ]]> An empirical approach to the normality of pi https://novaprd-lb.newcastle.edu.au/vital/access/manager/Repository/uon:12928 Sat 24 Mar 2018 10:37:10 AEDT ]]> Hand-to-hand combat with thousand-digit integrals https://novaprd-lb.newcastle.edu.au/vital/access/manager/Repository/uon:12944 Sat 24 Mar 2018 10:36:36 AEDT ]]> Experimental mathematics and mathematical physics https://novaprd-lb.newcastle.edu.au/vital/access/manager/Repository/uon:11558 Sat 24 Mar 2018 10:33:09 AEDT ]]> Normal Numbers and Pseudorandom Generators https://novaprd-lb.newcastle.edu.au/vital/access/manager/Repository/uon:15946 0, every m-long string of digits in the base-b expansion of α appears, in the limit, with frequency b-m. Although almost all reals in [0, 1] are b-normal for every b, it has been rather difficult to exhibit explicit examples. No results whatsoever are known, one way or the other, for the class of “natural” mathematical constants, such as π,e,2√ and log2. In this paper, we summarize some previous normality results for a certain class of explicit reals and then show that a specific member of this class, while provably 2-normal, is provably not 6-normal. We then show that a practical and reasonably effective pseudorandom number generator can be defined based on the binary digits of this constant and conclude by sketching out some directions for further research.]]> Sat 24 Mar 2018 08:23:41 AEDT ]]> Experimental evaluation of Euler series https://novaprd-lb.newcastle.edu.au/vital/access/manager/Repository/uon:14064 Sat 24 Mar 2018 08:22:33 AEDT ]]> On Eulerian log-gamma integrals and Tornheim–Witten zeta functions https://novaprd-lb.newcastle.edu.au/vital/access/manager/Repository/uon:12922 n = ∫₀¹lognΓ(x)dx for 1≤n≤4 and make some comments regarding the general case. The subsidiary computational challenges are substantial, interesting and significant in their own right]]> Sat 24 Mar 2018 08:18:13 AEDT ]]> Expectations on fractal sets https://novaprd-lb.newcastle.edu.au/vital/access/manager/Repository/uon:19060 Sat 24 Mar 2018 08:05:25 AEDT ]]> Automated simplification of large symbolic expressions https://novaprd-lb.newcastle.edu.au/vital/access/manager/Repository/uon:21382 ixi with αi rational and xi complex. The included algorithms, called SimplifySum2 and implemented in Mathematica, remove redundant terms, attempt to make terms and the full expression real, and remove terms using repeated application of the multipair PSLQ integer relation detection algorithm. Also included are facilities for making substitutions according to user-specified identities. We illustrate this toolset by giving some real-world examples of its usage, including one, for instance, where the tool reduced a symbolic expression of approximately 100 000 characters in size enough to enable manual manipulation to one with just four simple terms.]]> Sat 24 Mar 2018 08:04:58 AEDT ]]> Pi day is upon us again and we still do not know if Pi is normal https://novaprd-lb.newcastle.edu.au/vital/access/manager/Repository/uon:20686 Sat 24 Mar 2018 07:55:38 AEDT ]]> Pseudo-mathematics and financial charlatanism: the effects of backtest overfitting on out-of-sample performance https://novaprd-lb.newcastle.edu.au/vital/access/manager/Repository/uon:20685 Sat 24 Mar 2018 07:55:38 AEDT ]]> Experimental determination of Apéry-like identities for ζ(2n + 2) https://novaprd-lb.newcastle.edu.au/vital/access/manager/Repository/uon:6476 Sat 24 Mar 2018 07:47:10 AEDT ]]> Reproducibility in computational science: a case study: randomness of the digits of pi https://novaprd-lb.newcastle.edu.au/vital/access/manager/Repository/uon:31017 computational and experimental mathematics. is now a full-fledged discipline with mathematics, and the larger field of computational science is now taking its place as an experimental discipline on a par with traditional experimental fields. In this new realm, reproducibility comes to the forefront as an essential part of the computational research enterprise, and establishing procedures to ensure and facilitate reproducibility is now a central focus of researchers in the field. In this study, we describe our attempts to reproduce the results of a recently published article by Reinhard Ganz, who concluded that the decimal expansion of p is not statistically random, based on an analysis of several trillion decimal digits provided by Yee and Kondo. While we are able to reproduce the specific findings of Ganz, additional statistical analysis leads us to reject his overall conclusion.]]> Sat 24 Mar 2018 07:34:53 AEDT ]]> Experimental computation as an ontological game changer: the impact of modern mathematical computation tools on the ontology of mathematics https://novaprd-lb.newcastle.edu.au/vital/access/manager/Repository/uon:23327 Sat 24 Mar 2018 07:13:30 AEDT ]]> On Eulerian log-gamma integrals and Tornheim-Witten zeta functions https://novaprd-lb.newcastle.edu.au/vital/access/manager/Repository/uon:22779 Sat 24 Mar 2018 07:12:15 AEDT ]]>