Page 11/08/2017 15:18:10

Project 9: New symbolic mathematics algorithms for partial differential equations

Suitable Majors

Applied Mathematics, Electrical & Computer Engineering, Computer Science, Electrical Engineering, Mathematics, Physics

Research Area

Computer Science, Mathematics

Internship Description

Develop new algorithms to automate the proof of theorems in partial differential equations.
Methodology: Basic calculus. Functional programming.  


Some experience in programming will be helpful. Most of the material will be learned during the internship


Implementation of new algorithms in Mathematica. 

Other Comments

​Internship date: 19 May to 26 July or 23 June to 29 August or 7 July to 14 September​


Computer, Electrical and Mathematical Sciences and Engineering

Faculty Name

Diogo Gomes