Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Zumkeller, Roland - Department of Mathematics, University of Pittsburgh
Formal Global Optimisation with Taylor Models Roland Zumkeller
Global Optimization in Type Theory Roland Zumkeller