The limit points definition on given topological space \((X,T)\) on finite set

zbMATH Open0984.68756MaRDI QIDQ2743003

V. K. Kabulov, V. A. Tolok

Publication date: 24 September 2001

Published in: Voprosy Vychislitel'noĭ i Prikladnoĭ Matematiki (Search for Journal in Brave)

zbMATH Keywords

algorithmproof theorytopological spacestructureautomationinput language

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Nonnumerical algorithms (68W05) Structure of proofs (03F07) Axiomatics of classical set theory and its fragments (03E30)

This page was built for publication: The limit points definition on given topological space \((X,T)\) on finite set

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2743003)