https://github.com/tabe/goedel-number
An R6RS implementation of "A Space-efficient Goedel numbering with Chinese Remainder Theorem"
https://github.com/tabe/goedel-number
Last synced: 4 months ago
JSON representation
An R6RS implementation of "A Space-efficient Goedel numbering with Chinese Remainder Theorem"
- Host: GitHub
- URL: https://github.com/tabe/goedel-number
- Owner: tabe
- Created: 2010-01-02T12:44:49.000Z (over 16 years ago)
- Default Branch: master
- Last Pushed: 2010-01-02T12:45:25.000Z (over 16 years ago)
- Last Synced: 2025-07-18T19:22:09.185Z (11 months ago)
- Language: Scheme
- Homepage: http://fixedpoint.jp/
- Size: 70.3 KB
- Stars: 2
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README
Awesome Lists containing this project
README
An R6RS implementation of "A Space-efficient Goedel numbering with Chinese Remainder Theorem"
== License
New BSD License
== Notes
* Tests needs Ypsilon [1] with an external library (xunit) [2];
Run `YPSILON_SITELIB="path of (xunit)" make test'.
== References
[0] Chang, J. C., Tsai, S. C., and Chen, R. J. (2002)
"A Space-efficient Goedel Numbering with Chinese Remainder Theorem,"
Proceedings of the 19th Workshop on Combinatorial Mathematics and Computation Theory, March, pp. 192-195.
[1] http://code.google.com/p/ypsilon/
[2] http://github.com/tabe/xunit/