Department of Mathematics, Heze University, Shandong, China. and will be used to denote the sets of all strictly diagonally dominant matrices and the sets all Ostrowski matrices, respectively. is ...
Abstract: This paper describes some of the work done in our formal investigation of concepts and properties that arise when infinitely small and infinite notions are introduced in a geometry theory.
ABSTRACT: In point set topology, it is well known that the Kuratowski 14-set problem is one of the most interesting results. In this note, we first give a brief survey of the Kuratowski’s theorem. In ...
Copyright (c) 2025 Jan Förster, Leon Müller, Luis Sand, and Junyan Xu. All rights reserved. Released under Apache 2.0 license as described in the file LICENSE ...
Abstract: Automated Theorem Proving (ATP) is an established branch of Artificial Intelligence. The purpose of ATP is to design a system which can automatically figure out an algorithm either to prove ...
Differential manifolds provide higher dimensional generalizations of surfaces. They appear in a very natural manner in many areas of mathematics and physics. On a differential manifold or more ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback