On the computability of the set of automorphisms of the unit square

被引：1
|
作者：
Neumann, Eike [1 ]
机构：
[1] Swansea Univ, Dept Comp Sci, Bay Campus,Fabian Way, Swansea SA1 8EN, W Glam, Wales
来源：
THEORETICAL COMPUTER SCIENCE | 2022年 / 903卷
关键词：
Real computation; Computable analysis; Automorphisms; Computational geometry; Frechet distance;
D O I：
10.1016/j.tcs.2021.12.019
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We show that the closure of the set of orientation-preserving automorphisms of the unit square is computable in the bit-model of real computation. As an application we obtain a conditional result on the computability of the Frechet-distance of continuous surfaces. (C) 2021 Elsevier B.V. All rights reserved.
引用
收藏
页码：74 / 83
页数：10
相关论文
共 50 条
12345