The problem of stable computation by forward and backward recursion on three-term, linear, nonhomogeneous recursion relations is outlined. The backward recursive theory is applied to integrals ...

Computable model theory investigates the algorithmic aspects of model theoretic structures, aiming to delineate the boundaries between the computable and non-computable within various algebraic and ...

Ph. D., George Washington University (Mathematics, Valentina Harizanov) M. S., University of Sofia, Bulgaria (Mathematical Logic and its Applications, Dimiter Skordev) Research: My research is in ...

We introduce and study an infinite random triangulation of the unit disk that arises as the limit of several recursive models. This triangulation is generated by throwing chords uniformly at random in ...