





  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...   The History of Approximation Theory: From Euler to BernsteinThe problem of approximating a given quantity is one of the oldest challenges faced by mathematicians. Its increasing importance in contemporary mathematics has created an entirely new area known as Approximation Theory. The modern theory was initially developed along two divergent schools of thought: the Eastern or Russian group, employing... 



Result Page: 13 12 11 10 9 8 7 6 5 4 