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 条

[41] On Some Automorphisms of the Set of Effects on Hilbert Space
Lajos Molnár
[J]. Letters in Mathematical Physics, 2000, 51 : 37 - 45
[42] Computing subgroups invariant under a set of automorphisms
Hulpke, A
[J]. JOURNAL OF SYMBOLIC COMPUTATION, 1999, 27 (04) : 415 - 427
[43] AUTOMORPHISMS OF ORDER STRUCTURES ON SET OF MATRIX NORMS
BELITSKI.GR
[J]. DOKLADY AKADEMII NAUK SSSR, 1966, 166 (03): : 511 - &
[44] PARTITIONING THE UNIT SQUARE
GOLDSTEIN, R
[J]. AMERICAN MATHEMATICAL MONTHLY, 1987, 94 (08): : 797 - 799
[45] A local form for the automorphisms of the spectral unit ball
Pascal J. Thomas
[J]. Collectanea mathematica, 2008, 59 : 321 - 324
[46] Characteristic functions for multicontractions and automorphisms of the unit ball
Benhida, Chafiq
Timotin, Dan
[J]. INTEGRAL EQUATIONS AND OPERATOR THEORY, 2007, 57 (02) : 153 - 166
[47] Characteristic Functions for Multicontractions and Automorphisms of the Unit Ball
Chafiq Benhida
Dan Timotin
[J]. Integral Equations and Operator Theory, 2007, 57 : 153 - 166
[48] A local form for the automorphisms of the spectral unit ball
Thomas, Pascal J.
[J]. COLLECTANEA MATHEMATICA, 2008, 59 (03) : 321 - 324
[49] THE AUTOMORPHISMS AND THE ENDOMORPHISMS OF THE GROUP ALGEBRA OF THE UNIT CIRCLE
RUDIN, W
[J]. ACTA MATHEMATICA, 1956, 95 (1-2) : 39 - 55
[50] Singular Coverings and Non-Uniform Notions of Closed Set Computability
Le Roux, Stephane
Ziegler, Martin
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 202 : 73 - 88

← 1 2 3 4 5 →