Posted by: holdenlee | August 19, 2014

Talk: Proving Mathematical Theorems Using Computers


UPDATE: Code from my project (and a poster) is available at https://github.com/holdenlee/Isabelle and http://afp.sourceforge.net/entries/VectorSpace.shtml

The slides from the talk are available at https://dl.dropboxusercontent.com/u/27883775/math%20notes/IFV.pdf (source). I will post a more complete report when I finish my project, in about 2-3 weeks, so do check back.

Advertisements

Responses

  1. […] formalized some basic linear algebra in Isabelle, my official project this summer (see the previous post). Unfortunately, I made rather little progress, so I was glad I spent time on learning about […]


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

Categories

%d bloggers like this: