Ability to Specify Identities and Axioms for a given Domain.

Brought to you by: whebisch

#8 Ability to Specify Identities and Axioms for a given Domain.

Milestone: Next_Release_(example)

Status: open

Owner: nobody

Labels: None

Priority: 5

Updated: 2014-04-13

Created: 2014-04-13

Creator: Martin Baker

Private: No

I have explained this more on the page here:
http://www.euclideanspace.com/maths/standards/program/axiomsInAxiom/

Discussion

Log in to post a comment.