[Oberon] Oberon Digest, Vol 160, Issue 21

[Douglas G Danforth]

On 10/4/2017 5:13 AM, Chris Burrows wrote:
>   and Mathematical Programming extensions to Oberon.
In took a look at their paper and although much better than explicit
loops still does not "look" like what a mathematician would write.
The use of MathType to document math is good but lacks
the numeric capabilities.  We need to merge both forms AND combine
them with symbolic processing, e.g. proof checkers.

-Doug Danforth
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.inf.ethz.ch/pipermail/oberon/attachments/20171004/3135478f/attachment.html>