axiom-mail
[Top][All Lists]
Advanced

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

[Axiom-mail] Which CAS to Choose?


From: Glen Ritchie
Subject: [Axiom-mail] Which CAS to Choose?
Date: Tue, 15 Aug 2017 17:08:30 -0500

Hi, new to Axiom. Looks wonderful! However, there are 3 of them. (axiom, fricas, openaxiom)

Is there still development being done with Axiom?

Watched 2 great videos from Tim D. Would like to help out, if basics make any sense?
But, seems Axiom perhaps locked? into program proving.


--
---
From GR's Mobile Gmail

reply via email to

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