A constructive theory of point-set nearness

被引：4
|
作者：
Vîta, LS [1 ]
Bridges, DS [1 ]
机构：
[1] Univ Canterbury, Dept Math & Stat, Christchurch 1, New Zealand
来源：
THEORETICAL COMPUTER SCIENCE | 2003年 / 305卷 / 1-3期
关键词：
constructive mathematics; nearness; apartness;
D O I：
10.1016/S0304-3975(02)00711-9
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
An axiomatic constructive development of the theory of nearness and apartness of a point and a set is introduced as a setting for topology. (C) 2002 Elsevier B.V. All rights reserved.
引用
收藏
页码：473 / 489
页数：17
相关论文
共 50 条
  • [31] Correction to: Conley index theory without index pairs. I: The point-set level theory
    Yosuke Morita
    Journal of Fixed Point Theory and Applications, 2024, 26
  • [32] Automated reasoning about elementary point-set topology
    Wick, Cynthia A., 1600, (05):
  • [33] Point-set embeddings of trees with given partial drawings
    Di Giacomo, Emilio
    Didimo, Walter
    Liotta, Giuseppe
    Meijer, Henk
    Wismath, Stephen K.
    COMPUTATIONAL GEOMETRY-THEORY AND APPLICATIONS, 2009, 42 (6-7): : 664 - 676
  • [34] Registration of Point-Set Inspected by Spherical tipped Probe
    Chen, Yuqing
    Ma, Zi
    Wu, Defeng
    2010 8TH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION (WCICA), 2010, : 4131 - 4136
  • [35] OPTIMAL PARALLEL ALGORITHMS FOR POINT-SET AND POLYGON PROBLEMS
    COLE, R
    GOODRICH, MT
    ALGORITHMICA, 1992, 7 (01) : 3 - 23
  • [36] ON MAINTAINING THE WIDTH AND DIAMETER OF A PLANAR POINT-SET ONLINE
    Janardan, Ravi
    INTERNATIONAL JOURNAL OF COMPUTATIONAL GEOMETRY & APPLICATIONS, 1993, 3 (03) : 331 - 344
  • [37] Streaming Hierarchical Clustering Based on Point-Set Kernel
    Han, Xin
    Zhu, Ye
    Ting, Kai Ming
    Zhan, De-Chuan
    Li, Gang
    PROCEEDINGS OF THE 28TH ACM SIGKDD CONFERENCE ON KNOWLEDGE DISCOVERY AND DATA MINING, KDD 2022, 2022, : 525 - 533
  • [38] Point-set embeddings of plane 3-trees
    Nishat, Rahnuma Islam
    Mondal, Debajyoti
    Rahman, Md. Saidur
    COMPUTATIONAL GEOMETRY-THEORY AND APPLICATIONS, 2012, 45 (03): : 88 - 98
  • [39] Point-Set Embeddings of Plane 3-Trees
    Nishat, Rahnuma Islam
    Mondal, Debajyoti
    Rahman, Md. Saidur
    GRAPH DRAWING, 2011, 6502 : 317 - 328
  • [40] Smooth point-set registration using neighboring constraints
    Sanroma, Gerard
    Alquezar, Rene
    Serratosa, Francesc
    Herrera, Blas
    PATTERN RECOGNITION LETTERS, 2012, 33 (15) : 2029 - 2037
12345