numerical verification
Смотреть что такое "numerical verification" в других словарях:
Numerical weather prediction — Weather models use systems of differential equations based on the laws of … Wikipedia
Riemann hypothesis — The real part (red) and imaginary part (blue) of the Riemann zeta function along the critical line Re(s) = 1/2. The first non trivial zeros can be seen at Im(s) = ±14.135, ±21.022 and ±25.011 … Wikipedia
Chronology of computation of π — The table below is a brief chronology of computed numerical values of, or bounds on, the mathematical constant pi (π). See the history of numerical approximations of pi for explanations, comments and details concerning some of the calculations… … Wikipedia
Meteorology — For other uses of the root word meteor , see Meteor (disambiguation). For the work by Aristotle, see Meteorology (Aristotle). Not to be confused with Metrology. Part of the Nature series on Weather … Wikipedia
Atmospheric model — A 96 hour forecast of 850 mbar geopotential height and temperature from the Global Forecast System An atmospheric model is a mathematical model constructed around the full set of primitive dynamical equations which govern atmospheric motions. It… … Wikipedia
Construction and Analysis of Distributed Processes — Developer(s) the INRIA VASY team Initial release 1986, 24–25 years ago Stable release … Wikipedia
Integral — This article is about the concept of integrals in calculus. For the set of numbers, see integer. For other uses, see Integral (disambiguation). A definite integral of a function can be represented as the signed area of the region bounded by its… … Wikipedia
japan — japanner, n. /jeuh pan /, n., adj., v., japanned, japanning. n. 1. any of various hard, durable, black varnishes, originally from Japan, for coating wood, metal, or other surfaces. 2. work varnished and figured in the Japanese manner. 3. Japans,… … Universalium
Japan — /jeuh pan /, n. 1. a constitutional monarchy on a chain of islands off the E coast of Asia: main islands, Hokkaido, Honshu, Kyushu, and Shikoku. 125,716,637; 141,529 sq. mi. (366,560 sq. km). Cap.: Tokyo. Japanese, Nihon, Nippon. 2. Sea of, the… … Universalium
Maurice Clint — was professor of Computer Science at Queen s University Belfast, Northern Ireland. His research interests include parallel algorithms for numerical linear algebra and the use of formal methods in the development of parallel and distributed… … Wikipedia
Negative index metamaterials — A negative index metamaterial causes light to refract, or bend, differently than in more common positive refractive index materials. Negative index metamaterials or negative index materials (NIM) are artificial structures where the refractive… … Wikipedia
