



    Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 1215, 2008, ProceedingsThis book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008. The 26 revised full research papers and 13 revised system descriptions presented together with 4 invited papers and a summary of the CASCJ4 systems competition were carefully... 


Topics in Geometry, Coding Theory and Cryptography (Algebra and Applications)The purpose of this reviewarticle is to serve as an introduction and at the same time, as an invitation to the theory of towers of function fields over finite fields. More specifically, we treat here the case of explicit towers; i.e., towers where the function fields are given by explicit equations. The asymptotic behaviour of the genus and of the...   Beyond Reason: Eight Great Problems That Reveal the Limits of ScienceA mindbending excursion to the limits of science and mathematics Are some scientific problems insoluble? In Beyond Reason, internationally acclaimed math and science author A. K. Dewdney answers this question by examining eight insurmountable mathematical and scientific roadblocks that have stumped thinkers across the...   



Result Page: 15 14 13 12 11 10 9 8 7 6 