Browse by Publisher
Jump to: Article | Conference proceeding
Number of items: 2.
Article
| Woodcock, Chris F., Smart, Nigel P. (1998) p-adic chaos and random number generation. Experimental Mathematics, 7 (4). pp. 333-342. ISSN 1058-6458. (doi:10.1080/10586458.1998.10504379) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:17281) |
Conference proceeding
| Thompson, Simon (2001) Logic and Dependent Types in the Aldor Computer Algebra System. In: Symbolic Computation and Automated Reasoning, Aug 06-07, 2000, St Andrews, Scotland. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13642) |

Up a level