Hideki Tsuiki

Available identifiers

zbMath Open tsuiki.hidekiMaRDI QIDQ265833

List of research outcomes

Publication	Date of Publication	Type
Concurrent Gaussian Elimination	2023-08-04	Paper
Extracting total Amb programs from proofs	2023-08-03	Paper
https://portal.mardi4nfdi.de/entity/Q5875594	2023-02-03	Paper
\textsc{Prawf}: an interactive proof system for program extraction	2022-12-16	Paper
Projected images of the Sierpinski tetrahedron and other fractal imaginary cubes	2022-05-25	Paper
Intuitionistic fixed point logic	2021-01-25	Paper
Logic for Gray-code Computation	2020-04-03	Paper
Imaginary cubes and their puzzles	2019-03-26	Paper
Properties of domain representations of spaces through dyadic subbases	2017-11-22	Paper
Sudoku Colorings of a 16-Cell Pre-fractal	2017-02-01	Paper
A stream calculus of bottomed sequences for real number computation	2016-04-12	Paper
Imaginary Hypercubes	2015-09-14	Paper
Domain Representations Induced by Dyadic Subbases	2015-04-22	Paper
Uniform domains and uniform spaces (abstract)	2013-10-10	Paper
Every Separable Metrizable Space has a Proper Dyadic Subbase	2013-05-15	Paper
On Finite-time Computability Preserving Conversions	2013-05-03	Paper
Representations of Complete Uniform Spaces via Uniform Domains	2013-04-19	Paper
Learning figures with the Hausdorff metric by fractals -- towards computable binary classification	2013-03-28	Paper
Random iteration algorithm for graph-directed sets	2012-09-28	Paper
Unimodal maps as boundary restrictions of two-dimensional full-folding maps	2012-04-13	Paper
Independent subbases and non-redundant codings of separable metrizable spaces	2011-01-12	Paper
Learning Figures with the Hausdorff Metric by Fractals	2010-10-01	Paper
Hyperbolic topology of normed linear spaces	2009-12-03	Paper
Fine-Continuous Functions and Fractals Defined by Infinite Systems of Contractions	2009-11-12	Paper
https://portal.mardi4nfdi.de/entity/Q3639069	2009-10-28	Paper
SUDOKU Colorings of the Hexagonal Bipyramid Fractal	2009-01-13	Paper
Lawson topology of the space of formal balls and the hyperbolic topology	2008-10-21	Paper
https://portal.mardi4nfdi.de/entity/Q3368439	2006-01-30	Paper
Programming Languages and Systems	2005-09-13	Paper
Real number computation with committed choice logic programming languages	2005-06-01	Paper
Compact metric spaces as minimal-limit sets in domains of bottomed sequences	2005-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q4470496	2004-07-01	Paper
A domain-theoretic semantics of lax generic functions.	2003-07-29	Paper
Real number computation through Gray code embedding.	2002-07-31	Paper
https://portal.mardi4nfdi.de/entity/Q4531996	2002-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q4499218	2001-03-04	Paper
https://portal.mardi4nfdi.de/entity/Q4490732	2000-07-20	Paper
A computationally adequate model for overloading via domain-valued functors	1999-03-22	Paper

Research outcomes over time

This page was built for person: Hideki Tsuiki