Scientific Computing, Validated Numerics, Interval Methods
Latest Publications

TOTAL DOCUMENTS

31
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer US

9781441933768, 9781475764840
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

For Reliable and Powerful Scientific Computations

2001 ◽  
pp. 367-377
Author(s):  
Fabienne Jézéquel ◽  
Jean-Marie Chesneaux
Keyword(s):  
Scientific Computations

Verified Determination of Singularities in Chemical Processes

2001 ◽  
pp. 305-316 ◽  
Author(s):  
Christian H. Bischof ◽  
Bruno Lang ◽  
Wolfgang Marquardt ◽  
Martin Mönnigmann
Keyword(s):  
Chemical Processes

A Branch-and-Prune Method for Global Optimization

2001 ◽  
pp. 215-226 ◽  
Author(s):  
Dimitris G. Sotiropoulos ◽  
Theodoula N. Grapsa
Keyword(s):  
Global Optimization ◽  
Branch And Prune

Interval Methods for Global Optimization Using the Boxing Method

2001 ◽  
pp. 205-213 ◽  
Author(s):  
Andras Erik Csallner ◽  
Rudi Klatte ◽  
Dietmar Ratz ◽  
Andreas Wiethoff
Keyword(s):  
Global Optimization ◽  
Interval Methods
Load More ...
Sign in / Sign up

Export Citation Format

Share Document