Digitizing mathematics: ODEs, Special Functions and Solutions to Einstein's Equations - Maple Application Center
Application Center Applications Digitizing mathematics: ODEs, Special Functions and Solutions to Einstein's Equations

Digitizing mathematics: ODEs, Special Functions and Solutions to Einstein's Equations

Author
: Maplesoft AuthorDr. Edgardo Cheb-Terrab
Engineering software solutions from Maplesoft
This Application runs in Maple. Don't have Maple? No problem!
 Try Maple free for 15 days!
The material below was presented in the Semantic Representation of Mathematical Knowledge Workshop, February 3-5, 2016 at the Fields Institute, University of Toronto. It shows the approach used for “digitizing mathematical knowledge" regarding Differential Equations, Special Functions and Solutions to Einstein's equations. While for these areas using databases of information helps (for example textbooks frequently contain these sort of databases), these are areas that, at the same time, are very suitable for using algorithmic mathematical approaches, that result in much richer mathematics than what can be hard-coded into a database. The material also focuses on an interesting cherry-picked collection of Maple functionality, that I think is beautiful, not well know, and seldom focused inter-related as here.

This application is also featured in a MaplePrimes blog post.

Application Details

Publish Date: October 07, 2016
Created In: Maple 2016
Language: English

Tags

relativity

More Like This

Quantum Mechanics: Schrödinger vs Heisenberg picture
The Gross-Pitaevskii equation and Bogoliubov spectrum
The Landau criterion for Superfluidity
Ground state of a quantum system of identical boson particles
Computer Algebra in Theoretical Physics (IOP Webinar)
Mini-Course: Computer Algebra for Physicists
0
Equivalence problem in General Relativity
General Relativity using Computer Algebra
Exact solutions to Einstein's equations
Tetrads and Weyl scalars in canonical form
ODEs, PDEs and Special Functions
MathematicalFunctions:-Sequences
0