axiom-developer
[Top][All Lists]
Advanced

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

[Axiom-developer] UDR diagram


From: daly
Subject: [Axiom-developer] UDR diagram
Date: Fri, 6 Mar 2015 15:39:48 -0500 (EST)

I must say that I'm impressed with this.

>> There is a technology called d3.js that looks especially interesting: 
>> https://github.com/mbostock/d3/wiki/Gallery and I have spent a little 
>> time looking at it. It is data driven so Axiom can feed it data just 
>> like it does for the current graphics. A websocket connection would 
>> allow two-way interaction with Axiom. 
>Leaving aside technicalities I think that
>http://www.math.wm.edu/~leemis/chart/UDR/UDR.html
>is an illustration of an effective way to organize some mathematical 
>structures/relationships.  So far as I can see there is no reason calls 
>(or code) couldn't be automatically generated from an illustration like 
>this.  The background explanations (obtained by clicking) could be 
>expanded or linked to code.  IMHO it's not complete but an excellent 
>start for people trying to model statistical data.  For instance draging 
>and dropping particular distributions into an "analyser" for 
>comparisons, etc..., is a logical extension.
>Of course the missing ingredient is an abstraction direction allowing 
>focusing on particular properties; say different ranges, data types, and 
>so forth.  But those ideas are rendered obvious once the "style" is visible.

I'd like to develop a similar diagram for Axiom categories listing all of
the axioms that underpin each category. The links would go to the section
of the book for that category. I already have an SVG graph of the categories,
domains, and packages on the Axiom website.

Tim



reply via email to

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