Home › Categories › Technology› 2006 Sep 26 - Christopher Anand, McMaster University

2006 Sep 26 - Christopher Anand, McMaster University.pdf

2006 Sep 26 - Christopher Anand.pdf

Preview of 2006 Sep 26 - Christopher Anand, McMaster University

🔗 Source: uleth.ca

📊 Size: 40 KB

📄 Pages: 1 page

⬇️ Downloads: 30

Summary

Christopher Anand from McMaster University presented his project, Coconut (COde CONstructing User Tool), aimed at creating a comprehensive tool to translate mathematical specifications into machine code. The project goes beyond existing smart tools by offering advanced features like symbolic model manipulation, parallelization, and various optimizations.

Key highlights:

- Progress: Initial design and prototyping have demonstrated significant advantages over current tools, particularly in recognizing and utilizing recurrence relations and differential equation structures for code optimization.
- Applications: The project has real-world applications in fields such as Magnetic Resonance Imaging (MRI) and Spectroscopy.
- Formalization: Work is underway to formalize the language of applied mathematics to ensure generated code accurately implements the intended system specification. This includes addressing common mistakes, like incorrect Fourier Transform applications, by attaching type information to mathematical objects.
- Challenges: The presentation argued against relying on "folklore" and "common practice" (e.g., Matlab or Maple) as these can lead to errors and misinterpretations.

Download File

Description

Christopher Anand from McMaster University presents 'The Coconut Project: Teaching Computers Mathematics', a tool that transforms mathematical specifications into machine code, offering advanced optimization techniques with applications in MRI and spectroscopy.

Technical Information

File Format: PDF
File Size: 40 KB
Pages: 1
Language: EN
Total Downloads: 30
Last Updated: 3 weeks ago

Document Overview

This PDF document about 2006 Sep 26 - Christopher Anand, McMaster University provides comprehensive information and guidance. Whether you're a beginner or advanced user, this resource offers valuable insights into 2006 Sep 26 - Christopher Anand, McMaster University.