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 条
  • [41] ON MAINTAINING THE WIDTH AND DIAMETER OF A PLANAR POINT-SET ONLINE
    JANARDAN, R
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 557 : 137 - 149
  • [42] Point-set Distances for Learning Representations of 3D Point Clouds
    Nguyen, Trung
    Quang-Hieu Pham
    Le, Tam
    Pham, Tung
    Ho, Nhat
    Binh-Son Hua
    2021 IEEE/CVF INTERNATIONAL CONFERENCE ON COMPUTER VISION (ICCV 2021), 2021, : 10458 - 10467
  • [43] CONSTRUCTIVE SET-THEORY
    MYHILL, J
    JOURNAL OF SYMBOLIC LOGIC, 1975, 40 (03) : 347 - 382
  • [44] Computing point-set surfaces with controlled spatial variation of residuals
    Liu, Yu
    Qian, Xiaoping
    COMPUTER-AIDED DESIGN, 2011, 43 (08) : 957 - 970
  • [45] Point-set games and functions with the hereditary small oscillation property
    Balcerzak, Marek
    Natkaniec, Tomasz
    Szuca, Piotr
    TOPOLOGY AND ITS APPLICATIONS, 2024, 354
  • [46] K-colored point-set embeddability of outerplanar graphs
    Di Giacomo, Emilio
    Didimo, Walter
    Liotta, Giuseppe
    Meijer, Henk
    Trotta, Francesco
    Wismath, Stephen K.
    GRAPH DRAWING, 2007, 4372 : 318 - +
  • [47] Smooth Simultaneous Structural Graph Matching and Point-Set Registration
    Sanroma, Gerard
    Alquezar, Rene
    Serratosa, Francesc
    GRAPH-BASED REPRESENTATIONS IN PATTERN RECOGNITION, 2011, 6658 : 142 - 151
  • [48] A deterministic algorithm for fitting a step function to a weighted point-set
    Fournier, Herve
    Vigneron, Antoine
    INFORMATION PROCESSING LETTERS, 2013, 113 (03) : 51 - 54
  • [49] Creating boundary curves of point-set models in interactive environment
    Xiao, Pei
    Pang, Ming-Yong
    TECHNOLOGIES FOR E-LEARNING AND DIGITAL ENTERTAINMENT, PROCEEDINGS, 2008, 5093 : 765 - +
  • [50] Identification of enclaves and exclaves by computation based on point-set topology
    Wang, Xiaonan
    INTERNATIONAL JOURNAL OF GEOGRAPHICAL INFORMATION SCIENCE, 2023, 37 (02) : 307 - 338
12345