CAP 发表于 2025-3-21 18:03:07

书目名称Numerical Toolbox for Verified Computing I影响因子(影响力)<br>        http://figure.impactfactor.cn/if/?ISSN=BK0669236<br><br>        <br><br>书目名称Numerical Toolbox for Verified Computing I影响因子(影响力)学科排名<br>        http://figure.impactfactor.cn/ifr/?ISSN=BK0669236<br><br>        <br><br>书目名称Numerical Toolbox for Verified Computing I网络公开度<br>        http://figure.impactfactor.cn/at/?ISSN=BK0669236<br><br>        <br><br>书目名称Numerical Toolbox for Verified Computing I网络公开度学科排名<br>        http://figure.impactfactor.cn/atr/?ISSN=BK0669236<br><br>        <br><br>书目名称Numerical Toolbox for Verified Computing I被引频次<br>        http://figure.impactfactor.cn/tc/?ISSN=BK0669236<br><br>        <br><br>书目名称Numerical Toolbox for Verified Computing I被引频次学科排名<br>        http://figure.impactfactor.cn/tcr/?ISSN=BK0669236<br><br>        <br><br>书目名称Numerical Toolbox for Verified Computing I年度引用<br>        http://figure.impactfactor.cn/ii/?ISSN=BK0669236<br><br>        <br><br>书目名称Numerical Toolbox for Verified Computing I年度引用学科排名<br>        http://figure.impactfactor.cn/iir/?ISSN=BK0669236<br><br>        <br><br>书目名称Numerical Toolbox for Verified Computing I读者反馈<br>        http://figure.impactfactor.cn/5y/?ISSN=BK0669236<br><br>        <br><br>书目名称Numerical Toolbox for Verified Computing I读者反馈学科排名<br>        http://figure.impactfactor.cn/5yr/?ISSN=BK0669236<br><br>        <br><br>

Dri727 发表于 2025-3-21 22:55:31

Numerical Toolbox for Verified Computing I978-3-642-78423-1Series ISSN 0179-3632 Series E-ISSN 2198-3712

小木槌 发表于 2025-3-22 01:07:55

The Features of PASCAL-XSCIn this chapter, we give a short overview of the new concepts of the programming language PASCAL-XSC, a universal PASCAL e.tension for .cientific .omputation with extensive predefined modules for scientific computation. For a complete language reference and examples, we refer to and .

储备 发表于 2025-3-22 04:35:39

http://reply.papertrans.cn/67/6693/669236/669236_4.png

Dorsal-Kyphosis 发表于 2025-3-22 11:19:05

Linear Systems of EquationsFinding the solution of a linear system of equations is one of the basic problems in numerical algebra. We will develop a verification algorithm for square systems with full matrix based on a Newton-like method for an equivalent fixed-point problem.

HILAR 发表于 2025-3-22 13:29:57

Linear OptimizationA linear programming problem consists of a linear function to be maximized (or minimized) subject to linear equality and inequality constraints. Any linear program (LP) can be put by well-known transformations into standard form.where . is a real . x . matrix, . ., c . ., and .. The input data of (11.1) are given by the triple . = (.) .

bioavailability 发表于 2025-3-22 19:15:29

http://reply.papertrans.cn/67/6693/669236/669236_7.png

彩色的蜡笔 发表于 2025-3-22 22:54:01

http://reply.papertrans.cn/67/6693/669236/669236_8.png

Infusion 发表于 2025-3-23 03:19:34

Introduction provide theory, algorithmic descriptions, and implementations for methods to solve some basic numerical problems in a reliable way. Also, this book can help you learn how to develop such methods and how to proceed for other problems beyond the scope of the book.

民间传说 发表于 2025-3-23 08:48:03

http://reply.papertrans.cn/67/6693/669236/669236_10.png
页: [1] 2 3 4 5 6
查看完整版本: Titlebook: Numerical Toolbox for Verified Computing I; Basic Numerical Prob Ulrich Kulisch,Rolf Hammer,Matthias Hocks Book 1993 Springer-Verlag Berlin