COMPUTER TOOLS FOR SOLVING MATHEMATICAL PROBLEMS: A REVIEW

DOI10.22190/FUMI201203017PzbMath1488.68140MaRDI QIDQ5012166

Ivan Petković, Đorđe D. Herceg

Publication date: 31 August 2021

Published in: Facta Universitatis, Series: Mathematics and Informatics (Search for Journal in Brave)

zbMATH Keywords

symbolic computationcomputer graphicsinterval arithmeticroundoff errorexperimental mathematicsvisualization of iterative processes

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Error analysis and interval analysis (65Gxx) Computer science support for mathematical research and practice (68Vxx)

Uses Software

• kepler98

Cites Work

• Every planar map is four colorable. I: Discharging
• Every planar map is four colorable. II: Reducibility
• On the existence of an eigenvalue below the essential spectrum
• Solution of the Cattle Problem of Archimedes
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: COMPUTER TOOLS FOR SOLVING MATHEMATICAL PROBLEMS: A REVIEW