Proceedings of the 2014 International Conference on Physics

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

Authors
Arief Hermanto
Corresponding Author
Arief Hermanto
Available Online October 2014.
DOI
https://doi.org/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.
Open Access
This is an open access article distributed under the CC BY-NC license.

Download article (PDF)

Proceedings
International Conference on Physics 2014 (ICP-14)
Part of series
Advances in Physics Research
Publication Date
October 2014
ISBN
978-94-62520-38-7
ISSN
2352-541X
DOI
https://doi.org/10.2991/icp-14.2014.7How to use a DOI?
Open Access
This is an open access article distributed under the CC BY-NC license.

Cite this article

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  - International Conference on Physics 2014 (ICP-14)
PB  - Atlantis Press
SN  - 2352-541X
UR  - https://doi.org/10.2991/icp-14.2014.7
DO  - https://doi.org/10.2991/icp-14.2014.7
ID  - Hermanto2014/10
ER  -