### Abstract

The talk provides an introduction to interval arithmetic based techniques for the verification of mathematical models. Illustrative examples are described from the fields of circlepacking, chaotic behaviour dynamical systems, and process network synthesis.

Original language | English |
---|---|

Title of host publication | Proceedings of the 10th International Symposium on Operational Research in Slovenia, SOR 2009 |

Publisher | SLOVENIAN SOCIETY INFORMATIKA |

Pages | 13-21 |

Number of pages | 9 |

ISBN (Print) | 9789616165303 |

Publication status | Published - 2009 |

Event | 10th International Symposium on Operational Research in Slovenia, SOR 2009 - Nova Gorica, Slovenia Duration: Sep 23 2009 → Sep 25 2009 |

### Other

Other | 10th International Symposium on Operational Research in Slovenia, SOR 2009 |
---|---|

Country | Slovenia |

City | Nova Gorica |

Period | 9/23/09 → 9/25/09 |

### Fingerprint

### Keywords

- Circle packing
- Computer assisted
- Dynamical systems
- Interval methods
- Process network synthesis
- Theorem proving

### ASJC Scopus subject areas

- Management of Technology and Innovation
- Strategy and Management
- Computational Theory and Mathematics
- Management Science and Operations Research
- Modelling and Simulation
- Numerical Analysis

### Cite this

*Proceedings of the 10th International Symposium on Operational Research in Slovenia, SOR 2009*(pp. 13-21). SLOVENIAN SOCIETY INFORMATIKA.

**Reliable optimization techniques and their application.** / Csendes, T.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

*Proceedings of the 10th International Symposium on Operational Research in Slovenia, SOR 2009.*SLOVENIAN SOCIETY INFORMATIKA, pp. 13-21, 10th International Symposium on Operational Research in Slovenia, SOR 2009, Nova Gorica, Slovenia, 9/23/09.

}

TY - GEN

T1 - Reliable optimization techniques and their application

AU - Csendes, T.

PY - 2009

Y1 - 2009

N2 - The talk provides an introduction to interval arithmetic based techniques for the verification of mathematical models. Illustrative examples are described from the fields of circlepacking, chaotic behaviour dynamical systems, and process network synthesis.

AB - The talk provides an introduction to interval arithmetic based techniques for the verification of mathematical models. Illustrative examples are described from the fields of circlepacking, chaotic behaviour dynamical systems, and process network synthesis.

KW - Circle packing

KW - Computer assisted

KW - Dynamical systems

KW - Interval methods

KW - Process network synthesis

KW - Theorem proving

UR - http://www.scopus.com/inward/record.url?scp=84903615983&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84903615983&partnerID=8YFLogxK

M3 - Conference contribution

SN - 9789616165303

SP - 13

EP - 21

BT - Proceedings of the 10th International Symposium on Operational Research in Slovenia, SOR 2009

PB - SLOVENIAN SOCIETY INFORMATIKA

ER -