Sewon Park

Follow

Generating author description...

Common Coauthors
Commonly Cited References
Action Title Year Authors # of times referenced
+ Der Satz vom Maximum in der Rekursiven Analysis 1990 Bonny Specker
1
+ PDF Chat Real Hypercomputation and Continuity 2007 Martin Ziegler
1
+ The field of reals with a predicate for the powers of two 1985 Lou van den Dries
1
+ A fundamental effect in computations on real numbers 1977 Horst Luckhardt
1
+ Coloring nonuniform hypergraphs: A new algorithmic approach to the general Lovïżœsz local lemma 2000 Artur Czumaj
Christian Scheideler
1
+ Computational complexity of real functions 1982 Ker‐I Ko
Harvey M. Friedman
1
+ Notions of Probabilistic Computability on Represented Spaces 2008 Volker Bosserhoff
1
+ PDF Chat Probabilistic computability and choice 2015 Vasco Brattka
Guido Gherardi
Rupert Hölzl
1
+ Computability on subsets of metric spaces 2003 Vasco Brattka
Gero Presser
1
+ Dynamics of a generic Brownian motion: Recursive aspects 2008 Willem L. Fouché
1
+ PDF Chat Representing probability measures using probabilistic processes 2006 Matthias Schröder
Alex Simpson
1
+ A Real Number Structure that is Effectively Categorical 1999 Peter Hertling
1
+ PDF Chat An Efficient Method for Generating Discrete Random Variables with General Distributions 1977 A.J. Walker
1
+ Computability on the probability measures on the Borel sets of the unit interval 1999 Klaus Weihrauch
1
+ PDF Chat Abstract versus concrete computation on metric partial algebras 2004 John V. Tucker
J. I. Zucker
1
+ PDF Chat Computability of probability measures and Martin-Löf randomness over metric spaces 2009 Mathieu Hoyrup
CristĂłbal Rojas
1
+ Computational complexity on computable metric spaces 2003 Klaus Weirauch
1
+ Quantifier elimination for the reals with a predicate for the powers of two 2006 Jeremy Avigad
Yimu Yin
1
+ On the computability of a construction of Brownian motion 2013 George Davie
Willem L. Fouché
1
+ PDF Chat Computability of Probability Distributions and Characteristic Functions 2013 Takakazu Mori
Yoshiki Tsujii
Mariko Yasugi
1
+ Admissible representations for probability measures 2007 Matthias Schröder
1
+ Computable Stochastic Processes 2014 Pieter Collins
1
+ THE EMPEROR’S NEW RECURSIVENESS: THE EPIGRAPH OF THE EXPONENTIAL FUNCTION IN TWO MODELS OF COMPUTABILITY 2003 Vasco Brattka
1
+ PDF Chat The Undecidability of Algebraic Rings and Fields 1959 Julia Robinson
1
+ Analytic Inequalities 1970 D. S. Mitrinović
1
+ Model Theory of Fields 2017 David R. Marker
Margit Messmer
Anand Pillay
1