Title of article
COSY INFINITY Version 9
Author/Authors
Makino، نويسنده , , Kyoko and Berz، نويسنده , , Martin، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2006
Pages
5
From page
346
To page
350
Abstract
In this paper, we review the features in the newly released version of COSY INFINITY, which currently has a base of more than 1000 registered users, focusing on the topics which are new and some topics which became available after the first release of the previous versions 8 and 8.1. The recent main enhancements of the code are devoted to reliability and efficiency of the computation, to verified integration, and to rigorous global optimization. There are various data types available in COSY INFINITY to support these goals, and the paper also reviews the feature and usage of those data types.
Keywords
COSY INFINITY , Verified computation , Taylor model , Differential algebra , interval arithmetic
Journal title
Nuclear Instruments and Methods in Physics Research Section A
Serial Year
2006
Journal title
Nuclear Instruments and Methods in Physics Research Section A
Record number
2199800
Link To Document