Using Symbolic Computation to Inductively Prove Geometric Theorems And Its Implication to The Study of General Relativity

DOI

10.2991/icp-14.2014.7How to use a DOI?

Keywords

Computation; inductive; geometry; relativity

Abstract

One can reasonably say that we always prove geometric theorems using deductive method. The deductive method is too often used such that we get the impression that there is no other alternative appropriate method. In this paper we will use inductive method. We need many special cases to prove so that we will use the computer algebra system to assist us. We use symbolic computation (using CAS and Fortran) to compute with rational number. First we prove geometric theorems about triangles and conic sections. In those cases we only need linear algebra so that using rational numbers will eliminate rounding error. Every theorem can be proved with special cases using rational numbers. Then we move on to non-euclidean geometry which is one of the most important topics in general relativity. We need calculus so that we use real number with high precision to prove special cases. The main goal of this research is to make mathematics closer to physics and by doing that we get a deeper understanding of general relativity.

Copyright

© 2014, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

TY  - CONF
AU  - Arief Hermanto
PY  - 2014/10
DA  - 2014/10
TI  - Using Symbolic Computation to Inductively Prove Geometric Theorems And Its Implication to The Study of General Relativity
BT  - Proceedings of the 2014 International Conference on Physics
PB  - Atlantis Press
SP  - 26
EP  - 28
SN  - 2352-541X
UR  - https://doi.org/10.2991/icp-14.2014.7
DO  - 10.2991/icp-14.2014.7
ID  - Hermanto2014/10
ER  -