[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-developer] Compiling to Categories

From: Tim Daly
Subject: [Axiom-developer] Compiling to Categories
Date: Tue, 11 Jun 2019 09:33:54 -0400

Well, THIS is interesting. By compiling programs to categories it is
possible to do things like computing program derivatives. Watch
the video.

and the website:

This introduces an interesting wrinkle in computer algebra.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]