[Oberon] Oberon Digest, Vol 160, Issue 21

Douglas G Danforth danforth at greenwoodfarm.com
Thu Oct 5 01:22:27 CEST 2017

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>

More information about the Oberon mailing list