Skip to main content

Semantically correct automatic differentiation

Project description

Proving that automatic differentiation techniques faithfully represent 'standard' differentiation

Coordinator

UNIVERSITEIT UTRECHT
Net EU contribution
€ 187 572,48
Address
Heidelberglaan 8
3584 CS Utrecht
Netherlands

See on map

Region
West-Nederland Utrecht Utrecht
Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 0,00