C/C++ implementation of functions of the class LT0
Loading...
Date
2000
DOI
Open Access Location
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Massey University
Rights
Abstract
This report describes an on-going implementation, in C/C++, of the functions and schemes of the formal
system LT0, presented in the paper Caporaso, Pani and Covino [1]. The final aim is to be able to
effectively construct a "small manageable" Exponential Diophantine Equation which represents (in the
sense of Chaitin [2]) an algorithmical random binary sequence.
Description
Keywords
Citation
Calude, E., Kay, P., Luo, W. (2000), C/C++ implementation of functions of the class LT0, Research Letters in the Information and Mathematical Sciences, 1, 37-64