Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings This 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 CASC-J4 systems competition were carefully... Classical Field Theory
Classical field theory predicts how physical fields interact with matter, and is a logical precursor to quantum field theory. This introduction focuses purely on modern classical field theory, helping graduates and researchers build an understanding of classical field theory methods before embarking on future studies in quantum field theory. It... The History of Approximation Theory: From Euler to Bernstein
The 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: 14 13 12 11 10 9 8 7 6 5 |