The Accuracy of Computational Results from Wolfram Mathematica in the Context of Summation in Trigonometry

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15410%2F23%3A73621281" target="_blank" >RIV/61989592:15410/23:73621281 - isvavai.cz</a>

Result on the web

<a href="https://doi.org/10.3390/computation11110222" target="_blank" >https://doi.org/10.3390/computation11110222</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.3390/computation11110222" target="_blank" >10.3390/computation11110222</a>

Result language

angličtina

Original language name

The Accuracy of Computational Results from Wolfram Mathematica in the Context of Summation in Trigonometry

Original language description

The article explores the accessibility of symbolic computations, such as using the Wolfram Mathematica environment, in promoting the shift from informal experimentation to formal mathematical justifications. We investigate the accuracy of computational results from mathematical software in the context of a certain summation in trigonometry. In particular, the key issue addressed here is the calculated sum ∑44????=0tan(1+4????)°. This paper utilizes Wolfram Mathematica to handle the irrational numbers in the sum more accurately, which it achieves by representing them symbolically rather than using numerical approximations. Can we rely on the calculated result from Wolfram, especially if almost all the addends are irrational, or must the students eventually prove it mathematically? It is clear that the problem can be solved using software; however, the nature of the result raises questions about its correctness, and this inherent informality can encourage a few students to seek viable mathematical proofs. In this way, a balance is reached between formal and informal mathematics.

Czech name

—

Czech description

—

Type

J_imp - Article in a specialist periodical, which is included in the Web of Science database

CEP classification

—

OECD FORD branch

10102 - Applied mathematics

Project

—

Continuities

S - Specificky vyzkum na vysokych skolach

Publication year

2023

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Name of the periodical

Computation

ISSN

2079-3197

e-ISSN

2079-3197

Volume of the periodical

11

Issue of the periodical within the volume

11

Country of publishing house

CH - SWITZERLAND

Number of pages

16

Pages from-to

"222: 6 November 2023"

UT code for WoS article

001107791300001

EID of the result in the Scopus database

2-s2.0-85178283452