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
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)

Volume Title
Proceedings of the 2014 International Conference on Physics
Series
Advances in Physics Research
Publication Date
October 2014
ISBN
978-94-62520-38-7
ISSN
2352-541X
DOI
10.2991/icp-14.2014.7How to use a DOI?
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/).

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  - 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  -