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:

• Beam Theory and Dynamical Systems Group, Michigan State University
  
  

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

Reference:


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.
    
  
  

Awards

Alfred 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