×

Found 122 Documents (Results 1–100)

Solving linear systems with polynomial parameter dependency with application to the verified solution of problems in structural mechanics. (English) Zbl 1311.65033

Chinchuluun, Altannar (ed.) et al., Optimization, simulation, and control. New York, NY: Springer (ISBN 978-1-4614-5130-3/hbk; 978-1-4614-5131-0/ebook). Springer Optimization and Its Applications 76, 301-318 (2013).
PDFBibTeX XMLCite
Full Text: DOI

Verified determination of singularities in chemical processes. (English) Zbl 1395.92192

Krämer, Walter (ed.) et al., Scientific computing, validated numerics, interval methods, Karlsruhe, Germany, September 19–22, 2000. New York, NY: Springer (ISBN 978-0-306-46706-6/hbk; 978-1-4757-6484-0/ebook). 305-316 (2001).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software