subjectheading:[Numerical calculations] - Search Results - University of Southern Indiana

login

Home > Search Results: subjectheading:[Numerical calculations]

Search:

Search Tips :: Advanced Search :: Browse Resources (beta)

Sort by

ascending
descending

Display

Collections

Select collection

Format

Select output format

1.	Navigating through number and operations in grades 6-8 / Sid Rachlin ... [et al.] ; Susan N. Friel, grades 6-8 editor. Rachlin, Sid.; Friel, Susan N.; National Council of Teachers of Mathematics. Reston, VA : The National Council of Teachers of Mathematics, c2006. QA13 .N385 2006 \| Map It \| Detailed record - Similar records
2.	Formal verification of structurally complex multipliers / Alireza Mahzoon, Daniel Große, Rolf Drechsler. Mahzoon, Alireza, author.; Grosse, Daniel, author.; Drechsler, Rolf, author. Cham, Switzerland : Springer, 2023. QA299 \| View e-resource \| Available Online \| Detailed record - Similar records
3.	Numerical verification methods and computer-assisted proofs for partial differential equations / Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Wata[...] Nakao, Mitsuhiro T. author.; Plum, Michael, author.; Watanabe, Yoshitaka, author. Singapore : Springer, 2019. QA377 \| View e-resource \| Available Online \| Detailed record - Similar records
4.	Scientific computing, computer arithmetic, and validated numerics [electronic resource] : 16th International Symposium, SCAN 2014, Würzburg, Ger[...] GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic [...] Switzerland : Springer, 2016. QA76.95 \| View e-resource \| Available Online \| Detailed record - Similar records
5.	Accuracy verification methods [electronic resource] : theory and algorithms / Olli Mali, Pekka Neittaanmäki, Sergey Repin. Mali, Olli, author.; Neittaanmäki, P. (Pekka), author.; Repin, Sergey I., author. Dordrecht : Springer, 2014. QA297 \| View e-resource \| Available Online \| Detailed record - Similar records
6.	Validated numerics : a short introduction to rigorous computations / Warwick Tucker. Tucker, Warwick, 1961- Princeton : Princeton University Press, c2011. QA76.95 .T83 2011 \| Map It \| Detailed record - Similar records
7.	Apple numerics manual / [Apple Computer, Inc.]. Apple Computer, Inc.; Reed, Don. Reading, Mass. : Addison-Wesley Publishing Co., 1986. QA297 .A66 \| Map It \| Detailed record - Similar records

Interested in being notified about new results for this query?
Set up a personal email alert or subscribe to the RSS feed.