W3C home > Mailing lists > Public > www-archive@w3.org > October 2008

Euler SEM SWIG status

From: <jos.deroo@agfa.com>
Date: Tue, 21 Oct 2008 02:33:32 +0200
To: www-archive@w3.org
Message-ID: <OFD6C7F595.8B49D8B1-ONC12574E9.0000EE6B-C12574E9.00031203@agfa.com>
1/ see http://eulersharp.sourceforge.net/GUIDE 

2/ in 
http://eulersharp.svn.sourceforge.net/viewvc/eulersharp/trunk/2006/02swap/semj_test.ref?revision=2440
the variable substitutions are in the object list tail of r:source

3/ 
http://eulersharp.svn.sourceforge.net/viewvc/eulersharp/trunk/2007/07test/pd_hes_tactic.n3?revision=2441
is an initial attempt to have proof tactics formulated in N3 and it works 
as proof of concept for
the proof of Hessenberg's theorem which is included in 
http://eulersharp.svn.sourceforge.net/viewvc/eulersharp/trunk/2007/07test/semj_test.ref?revision=2440
after #pd_hes......

4/ tested with 
http://downloads.sourceforge.net/eulersharp/Euler-2008-10-21.zip
and README is at http://eulersharp.sourceforge.net/README


Jos De Roo | Agfa HealthCare
Senior Researcher | HE/Advanced Clinical Applications Research
T  +32 3444 7618
 http://www.agfa.com/w3c/jdroo/

Quadrat NV, Kortrijksesteenweg 157, 9830 Sint-Martens-Latem, Belgium
http://www.agfa.com/healthcare
Received on Tuesday, 21 October 2008 00:34:16 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 7 November 2012 14:18:19 GMT