Experimental computation as an ontological game changer: the impact of modern mathematical computation tools on the ontology of mathematics
type: Item
instance of: scholarly article
title: Experimental computation as an ontological game changer: the impact of modern mathematical computation tools on the ontology of mathematics
zbMATH Open document ID: 1544.00015
DOI: 10.1007/978-3-319-21473-3_3
author: D. H. Bailey
author: Jonathan M. Borwein
publication date: 2024-09-06T00:00:00Z
Mathematics Subject Classification ID: 00A30
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68W30
zbMATH DE Number: 7907713
zbMATH Keywords: periodic orbit
zbMATH Keywords: computer algebra system
zbMATH Keywords: decimal digit
zbMATH Keywords: Lorenz attractor
zbMATH Keywords: symmetric periodic orbit
MaRDI profile type: Publication
cites work: CHIMERA STATES IN A RING OF NONLOCALLY COUPLED OSCILLATORS
cites work: Responses to ``Theoretical Mathematics: Toward\\ a cultural synthesis of mathematics and\\ theoretical physics'', by A. Jaffe and F. Quinn
cites work: High-precision computation: mathematical physics and dynamics
cites work: Computation and theory of Mordell-Tornheim-Witten sums. II.
cites work: Q3602565
cites work: Exploratory experimentation and computation
cites work: Q5292368
cites work: Expectations on fractal sets
cites work: Automated simplification of large symbolic expressions
cites work: Ten Problems in Experimental Mathematics
cites work: The Computation of Previously Inaccessible Digits of $pi^2$ and Catalan’s Constant
cites work: On the rapid computation of various polylogarithmic constants
cites work: Surprising Sinc Sums and Integrals
cites work: Proof and proving in mathematics education. The 19th ICMI study
cites work: Q3625078
cites work: Q4449438
cites work: Higher-Dimensional Box Integrals
cites work: Q5402444
cites work: The evaluation of character Euler double sums
cites work: Q5431481
cites work: Q3996318
cites work: Hypergeometric identities for 10 extended Ramanujan-type series
cites work: Q5302558
cites work: “Theoretical mathematics”: toward a cultural synthesis of mathematics and theoretical physics
cites work: Q3533738
cites work: Q5819415
cites work: Q3625074
cites work: Q4740120
cites work: Q4875364
cites work: Q3309635
cites work: Q3059444
cites work: Q3533739
cites work: Rational Functions Certify Combinatorial Identities
cites work: Q3150942
description: scientific article; zbMATH DE number 7907713