[isabelle] Gaussian Elimination
- To: isabelle-users at cl.cam.ac.uk
- Subject: [isabelle] Gaussian Elimination
- From: Jens Doll <jd at cococo.de>
- Date: Mon, 29 Aug 2011 16:04:36 +0200
- User-agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; de; rv:184.108.40.206) Gecko/20110616 Lightning/1.0b2 Thunderbird/3.1.11
Thank you Tobias for the theory file about the Gauss-Seidel algorithm.
I'll try to build on this result in my project. My aim is to have an
automatically transformed PL(1) formula from the algorithm, although I
do not know when and how the goal can be reached.
This archive was generated by a fusion of
Pipermail (Mailman edition) and