AD Tool: COSY INFINITY
Introduction
Applications
Tools
Research Groups
Workshops
Publications
My Account
About

COSY INFINITY


Summary:
COSY is an open platform to support automatic differentiation, in particular to high order and in many variables. It also supports validated computation of Taylor models. The tools can be used as objects in F95 and C++ and through direct calls in F77 and C, as well as in the COSY scripting language which supports dynamic typing.

URL: http://cosy.pa.msu.edu/

Developers:
Mode: Forward
 
Method: Operator overloading
 
Supported Language: C/C++
Fortran77
Fortran95

Reference:
Martin Berz, Kyoko Makino, Khodr Shamseddine, Georg H. Hoffstätter, Weishi Wan
COSY INFINITY and Its Applications in Nonlinear Dynamics
Computational Differentiation: Techniques, Applications, and Tools, SIAM, 1996

Martin Berz
COSY INFINITY Version 8.1 --- User's Guide and Reference Manual
Department of Physics and Astronomy, Michigan State University, 2002



Features:

  • FUNCTIONALITY:

    The COSY system provides a transparent environment to utilize
    differential algebraic concepts including higher order
    automatic differentiation tools and rigorously validated Taylor
    models. The tool is based on a language independent platform
    which is supported in F77, C, F95, C++, and the COSYScript
    language.


    COSY also supports the concept of Taylor models, which allow
    validated computations that are much less susceptible to
    overestimation than conventional interval techniques.


    Extensive libraries for COSY exist for Taylor integration of
    ODEs, global optimization, and nonlinear dynamics, with an
    emphasis on problems in beam physics.

  • HIGHLIGHTS:

    • High Order Derivatives:
      Full exploitation of sparsity in derivative tensors through
      efficient bookkeeping in the internal addressing routines.

    • Validated Remainder Bounds:
      If desired, validated enclosures of the Taylor remainder to
      a given set of coefficients can be computed in parallel. The
      method is significanly sharper than computation of remainder
      bounds through interval AD.

    • Language Independent Platform:
      User code is simultaneously availabe for F77, C, F95 and C++,
      for the latter as specific objects.

    • Also Available: COSY Script language environment:
      Integrated support for non-standard data types;
      dynamic typing allows the direct use of existing code in
      various types.



AwardsAlfred P. Sloan Fellowship and Fellowship of American Physical Society for Development of the theoretical background of the tool.

Supported Platforms:
  • Windows
    Mac
    Unix/Linux


Licensing: free with restrictions

Entries in our publication database that actually use COSY INFINITY in the numerical experiments:  7

The following diagram shows these entries versus the year of the publication.

10+
#Entries
0
1
2
1
1
2
'88 '96 '01 '02 '05
Year
  

Contact:
autodiff.org
Username:
Password:
(lost password)