C/C++ implementation of functions of the class LT0
Loading...
![Thumbnail Image](assets/images/mime.png)
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