<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
On 10/4/2017 5:13 AM, Chris Burrows wrote:<br>
<blockquote type="cite"
cite="mid:000301d33d0a$29697220$7c3c5660$@cfbsoftware.com">
<pre wrap=""> and Mathematical Programming extensions to Oberon.</pre>
</blockquote>
In took a look at their paper and although much better than explicit<br>
loops still does not "look" like what a mathematician would write.
<br>
The use of MathType to document math is good but lacks<br>
the numeric capabilities. We need to merge both forms AND combine<br>
them with symbolic processing, e.g. proof checkers.<br>
<br>
-Doug Danforth<br>
</body>
</html>