Results 11 to 20 of about 219,279 (313)
International Journal of Mathematics and Mathematical Sciences, 1981 The relationships between a convergence space and its star compactification is studied. Special attention is given to lifting properties of this compactification.
G. D. Richardson, D. C. Kent
doaj +1 more source
Formalizing Calculus without Limit Theory in Coq
Mathematics, 2021 Formal verification of mathematical theory has received widespread concern and grown rapidly. The formalization of the fundamental theory will contribute to the development of large projects. In this paper, we present the formalization in Coq of calculus
Yaoshun Fu, Wensheng Yu
doaj +1 more source
A Formal System of Axiomatic Set Theory in Coq
IEEE Access, 2020 Formal verification technology has been widely applied in the fields of mathematics and computer science. The formalization of fundamental mathematical theories is particularly essential.
Tianyu Sun, Wensheng Yu
doaj +1 more source
Mathematics, 2023 Geographic information systems have undergone rapid growth for decades. Topology has provided valuable modeling tools in the development of this field. Formal verification ofthe model of topological spatial relations can provide a reliable guarantee for ...
Sheng Yan, Wensheng Yu
doaj +1 more source
Convergence of space and time through GIS [PDF]
Glasnik Srpskog Geografskog Društva, 2023 Human's exploration of space has changed over time, depending on the expansion of the limits of his knowledge. Space is infinite, but it is limited by the possibility of human knowledge. The original man knew very little about the space in which
Valjarević Aleksandar +1 more
doaj +1 more source
Probablistic convergence spaces and regularity
International Journal of Mathematics and Mathematical Sciences, 1997 The usual definition of regularity for convergence spaces can be characterized by a diagonal axiom R due to Cook and Fischer. The generalization of R to the realm of probabilistic convergence spaces depends on a t-norm T, and the resulting axiom RT ...
P. Brock, D. C. Kent
doaj +1 more source
On boundedly-convex functions on pseudo-topological vector spaces
International Journal of Mathematics and Mathematical Sciences, 2000 Notions of a boundedly convex function and of a Lipschitz-continuous function are extended to the case of functions on pseudo-topological vector spaces.
Vladimir Averbuch
doaj +1 more source
Compactification of a Convergence Space [PDF]
Proceedings of the American Mathematical Society, 1979 A characterization for the class of convergence spaces having the largest Hausdorff compactification is given, and regularity and λ
openaire +2 more sources
A quasitopos containing CONV and MET as full subcategories
International Journal of Mathematics and Mathematical Sciences, 1988 We show that convergence spaces with continuous maps and metric spaces with contractions, can be viewed as entities of the same kind. Both can be characterized by a limit function λ which with each filter ℱ associates a map λℱ from the underlying set ...
E. Lowen, R. Lowen
doaj +1 more source
Formalization of the Equivalence among Completeness Theorems of Real Number in Coq
Mathematics, 2020 The formalization of mathematics based on theorem prover becomes increasingly important in mathematics and computer science, and, particularly, formalizing fundamental mathematical theories becomes especially essential.
Yaoshun Fu, Wensheng Yu
doaj +1 more source