標(biāo)題: Titlebook: Validation Numerics; Theory and Applicati R. Albrecht,G. Alefeld,H. J. Stetter Book 1993 Springer-Verlag/Wien 1993 Fortran.Matrix.algorithm [打印本頁(yè)] 作者: Halcyon 時(shí)間: 2025-3-21 17:42
書目名稱Validation Numerics影響因子(影響力)
書目名稱Validation Numerics影響因子(影響力)學(xué)科排名
書目名稱Validation Numerics網(wǎng)絡(luò)公開度
書目名稱Validation Numerics網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Validation Numerics被引頻次
書目名稱Validation Numerics被引頻次學(xué)科排名
書目名稱Validation Numerics年度引用
書目名稱Validation Numerics年度引用學(xué)科排名
書目名稱Validation Numerics讀者反饋
書目名稱Validation Numerics讀者反饋學(xué)科排名
作者: adequate-intake 時(shí)間: 2025-3-21 22:39
Verification in Computer Algebra Systems,tions of algebraic algorithms in floating-point arithmetic..These ideas are developed considering the integration of rational functions, the choice of basis in multivariate polynomial interpolation, and the computation of zeros of multivariate polynomial systems.作者: 內(nèi)閣 時(shí)間: 2025-3-22 00:39
On a Unified Concept of Mathematics,e structureblock for questions (with two or more answers) in structuregrams, which not only makes the structuregrams more representative and comprehensive but also corrects certain shortcomings and makes them more adapted to the structure of programming languages.作者: AUGUR 時(shí)間: 2025-3-22 06:33
On Some Properties of an Interval Newton Type Method and its Modification,itzian second derivative which vanishes at the root of the equation. A modification of the method with higher order of convergence is proposed. An algorithm with result verification is formulated and some numerical experiments are reported.作者: fallible 時(shí)間: 2025-3-22 09:02 作者: inhibit 時(shí)間: 2025-3-22 15:12 作者: 混合,攙雜 時(shí)間: 2025-3-22 17:14
The Wrapping Effect, Ellipsoid Arithmetic, Stability and Confidence Regions,nterval ellipsoid arithmetic..Applications are given to the verification of stability regions for nonlinear discrete dynamical systems and to the computation of rigorous confidence regions for nonlinear functions of normally distributed random vectors.作者: ADJ 時(shí)間: 2025-3-22 21:51 作者: mitten 時(shí)間: 2025-3-23 01:32
0344-8029 systems of linear and nonlinear equations, differential and integral equations and certain applications from technical sciences. Furthermore some papers which improve the tools are included. The book is a must for scientists working in numerical analysis, computer science and in technical fields.978作者: 嘴唇可修剪 時(shí)間: 2025-3-23 08:53
On a Unified Concept of Mathematics,this paper I wish to submit some thoughts justifing my belief in the unification of Mathematics. Besides that, I make a proposal for replacement of the structureblock for questions (with two or more answers) in structuregrams, which not only makes the structuregrams more representative and comprehen作者: Concrete 時(shí)間: 2025-3-23 12:41 作者: ABASH 時(shí)間: 2025-3-23 17:07 作者: 貴族 時(shí)間: 2025-3-23 20:22 作者: Scleroderma 時(shí)間: 2025-3-23 23:21 作者: archetype 時(shí)間: 2025-3-24 03:53 作者: MOT 時(shí)間: 2025-3-24 10:03
A Verified Computation of Fourier-Representations of Solutions for Functional Equations,such so-called . the spectrum of a function can be included with arbitrary accuracy. This calculus can be used for example to solve periodical differential and integral equations. An example shows the computed inclusion of the spectrum of a solution.作者: 會(huì)議 時(shí)間: 2025-3-24 11:49
The Cluster Problem in Global Optimization: the Univariate Case,nds obtained with interval arithmetic, along with the “midpoint test,” but no acceleration procedures. Unless the lower bound is exact, the algorithm without acceleration procedures in general gives an undesirable Cluster of intervals around each minimizer. In this article, we analyze this problem i作者: Terminal 時(shí)間: 2025-3-24 15:37
Developing Expert Systems for Validating Numerics,there are more than one mathematically equivalent self-validating methods with completely different behavior on a Computer. Therefore only a quantitative valuation of the available software modules rather than qualitative can lead to a satisfactory result. First the design of a shell suitable for th作者: 匯總 時(shí)間: 2025-3-24 19:46
,Computation of Interval Bounds for Weierstrass’ Elliptic Function ?(,),s of the characteristic polynomial (arbitrary period lattices) is presented. The function is approximated by its truncated Laurent series at zero. An error bound is derived for the remainder term. If necessary, the periodicity of ?, the homogeneity relations and the addition formulas are used to per作者: 清楚說(shuō)話 時(shí)間: 2025-3-25 02:40 作者: 颶風(fēng) 時(shí)間: 2025-3-25 06:27 作者: Sigmoidoscopy 時(shí)間: 2025-3-25 07:36 作者: aqueduct 時(shí)間: 2025-3-25 12:33 作者: cartilage 時(shí)間: 2025-3-25 16:45 作者: Working-Memory 時(shí)間: 2025-3-25 20:17
FORTRAN-XSC A Portable Fortran 90 Module Library for Accurate and Reliable Scientific Computing, 77 [2]. However, numerical problems persist since the new standard contains no accuracy requirements for the arithmetic operators and mathematical functions, making reliable computation extremely difficult. Even with IEEE arithmetic [3], results may vary widely depending on code optimization and ve作者: 征服 時(shí)間: 2025-3-26 02:59 作者: 征服 時(shí)間: 2025-3-26 05:42 作者: 商品 時(shí)間: 2025-3-26 08:53 作者: avarice 時(shí)間: 2025-3-26 16:01
On the Existence and the Verified Determination of Homoclinic and Heteroclinic Orbits of the Originstarting intervals at some distance from 0, whose width is not more than two units of the last mantissa digit, and (b) a step-size controlled version of Lohner’s enclosure algorithm for IVPs yields the continuations.作者: 憤憤不平 時(shí)間: 2025-3-26 20:23
eich — wie schon erw?hnt — viele der Messungen einen erheblichen Aufwand an Interpretation erfordern, bevor sie verstehbar werden. Die Milchstra?e besteht vor allem aus Sternen, und wir beginnen dieses Kapitel mit einer zusammenfassenden Beschreibung einiger Eigenschaften von Sternen unterschiedlich作者: 實(shí)施生效 時(shí)間: 2025-3-26 23:27 作者: conifer 時(shí)間: 2025-3-27 03:05 作者: 仔細(xì)檢查 時(shí)間: 2025-3-27 08:03 作者: 睨視 時(shí)間: 2025-3-27 12:26 作者: 口音在加重 時(shí)間: 2025-3-27 14:32 作者: 正式演說(shuō) 時(shí)間: 2025-3-27 18:58 作者: 暗語(yǔ) 時(shí)間: 2025-3-28 01:27
E. Kaucher,Ch. Baumhof.. in its own specific, peculiar way. Hence, for a complete description, galaxy taxonomy may ask for finer and finer classification schemes. However, for some applications it may be more fruitful to let details aside and focus on some global properties of galaxies. One is then seeking to measure jus作者: Expurgate 時(shí)間: 2025-3-28 04:32
S. K?nig,C. P. Ullrichr formulation into pharmaceutical preparations with the desired effects and safety in use, and the quality control, stability and storage of the preparations. The field has taken its name from the Greek physician Galen (131-201 A.D.), who had a profound influence on medicine for many centuries becau作者: jaunty 時(shí)間: 2025-3-28 08:45
Mitsuhiro T. Nakaoequations has to be solved at each time level of the time stepping procedure, and our analysis has always assumed that these systems are solved exactly. Because in applications these systems are of high dimension, direct methods are most often not appropriate, and iterative methods have to be used. 作者: 漂亮才會(huì)豪華 時(shí)間: 2025-3-28 10:35
A. Neumaierasic elements of the Galician village—from landholding arrangements and the layout of buildings to the categories of inhabitants and relations among them—all remained fundamentally as they had taken shape during the previous centuries of serfdom. Even though the national movement did not, and could 作者: 揉雜 時(shí)間: 2025-3-28 17:49
H. Schwandtn die Anf?nge der wissenschaftlichen Logik als Methodologie des richtigen Denkens zugeschrieben. Gegenüber der Ideenlehre Platons und dessen philosophischem Idealismus setzte er dadurch neue Akzente, da? er die real existierenden Dinge unserer Welt zum Gegenstand seiner Betrachtungen machte. Er wird作者: chandel 時(shí)間: 2025-3-28 20:49
H. Spreuer,E. Adamscientific method, and therefore as a leading example of scientific rationality. However, as we know, the matter is not so simple. The range of Galileo readings is so varied that one may be led to the conclusion that it is a case of chacun a son Galileo; that here, as with the Bible, or Plato or Kant作者: etiquette 時(shí)間: 2025-3-28 23:10 作者: HAUNT 時(shí)間: 2025-3-29 03:36
Convergence Acceleration for Some Rootfinding Methods,.. We present simple, efficient extrapolation formulas to accelerate the convergence of super-linearly convergent sequences. Applications are given for some rootfinding methods such as Newton’s method and the secant method. Numerical examples are given showing the effectiveness of the extrapolation formulas.作者: 不合 時(shí)間: 2025-3-29 08:08 作者: Oration 時(shí)間: 2025-3-29 11:52 作者: 啟發(fā) 時(shí)間: 2025-3-29 18:07
Computing Supplementahttp://image.papertrans.cn/v/image/980264.jpg作者: lethargy 時(shí)間: 2025-3-29 21:23 作者: Foreknowledge 時(shí)間: 2025-3-30 03:23 作者: 流利圓滑 時(shí)間: 2025-3-30 06:25 作者: Arb853 時(shí)間: 2025-3-30 12:14 作者: 具體 時(shí)間: 2025-3-30 14:50
A Verified Computation of Fourier-Representations of Solutions for Functional Equations,such so-called . the spectrum of a function can be included with arbitrary accuracy. This calculus can be used for example to solve periodical differential and integral equations. An example shows the computed inclusion of the spectrum of a solution.作者: 串通 時(shí)間: 2025-3-30 18:38
Validated Solution of Large Linear Systems,pically of sparse or band structure. There are no prerequisites for the matrix, such as being M-matrix, Symmetric, positive definite or diagonally dominant. For general band matrices of lower, Upper bandwidth ., q of dimension n the Computing time is n · (. + .. + ..). Examples with up to 1.000.000 unknowns will be presented.作者: 撤退 時(shí)間: 2025-3-31 00:12 作者: hypertension 時(shí)間: 2025-3-31 03:41 作者: Iniquitous 時(shí)間: 2025-3-31 06:56
Validation Numerics978-3-7091-6918-6Series ISSN 0344-8029 作者: 否決 時(shí)間: 2025-3-31 09:36 作者: Adulate 時(shí)間: 2025-3-31 14:39
tmasse beitragen, deren Gesamtenergie jedoch von gro?er Bedeutung für die Diskussion der Struktur des interstellaren Mediums ist, wie wir in Kapitel 6 sehen werden. Schlie?lich ist das galaktische Gas durchdrungen von einem ., das um seiner selbst willen schon wichtig ist, aber auch, weil es zur Aus作者: 高調(diào) 時(shí)間: 2025-3-31 18:21 作者: TOXIC 時(shí)間: 2025-4-1 00:17 作者: peritonitis 時(shí)間: 2025-4-1 05:38
Hans-Jürgen Dobneres with new directions to go. New data, new phenomena; but the sentiment was that we were building on a much safer foundation, even if the Universe was unfolding in a much more complex and unexpected way than was previously anticipated. In editing these proceedings a decision was made well in advanc作者: ostracize 時(shí)間: 2025-4-1 08:48
A. Frommer,G. Mayers, perhaps because of the recent merging history of the clusters. We also present a recent analysis of population gradients in clusters which suggests that the observed evolution in cluster populations is consistent with a scenario where changing infall rates drive the fraction of star forming galax作者: Glaci冰 時(shí)間: 2025-4-1 14:01
Weimin Han,F. A. Potra in both Li and Be abundances. These stars place strong constraints on the nature and depth of the mixing processes responsible for their light element abundances. The 7th star (HD 160617) shows the remarkable aspect of deficient B, probably deficient Be, and completely normal Li. No stellar destruc作者: 潰爛 時(shí)間: 2025-4-1 16:24
K.-U Jahnn stars are in that case not metal-rich as previously thought, but they have a metallicity comparable to the LMC, with an age between 0.1–1 Gyr. A significant fraction of the carbon stars still have luminosities fainter than the lower LMC limit of. A similar trend is present among carbon stars found作者: 違法事實(shí) 時(shí)間: 2025-4-1 18:48
