Domain of mathematical logic in computers is dominated by automated theorem provers (ATP) and interactive theorem provers (ITP). Both of these are hard to access by AI from the human-imitation ...

There is no satisfactory theory of three-dimensional non-Euclidean geometry, from an intuitional point of view, unless it gives us a clear three-dimensional image in our ordinary space, assuming, of ...

This article attempts a new way of proving the Pythagoras’ theorem. For centuries, people have used diverse tools such as combinatorics, calculus, geometry, algebra and trigonometry to come up with ...

Abstract: We present a new derivation of the spherical harmonic decomposition of the projection slice theorem using harmonic analysis of the Euclidean motion group, M(N). The Radon transform is ...