mathematican
main interest: building axiom sytems
especially building mathematically equivalent systems out of different definitions and axioms
www.relationalgeometry.de
AxiomWriter
Karma: 3
mathematican
main interest: building axiom sytems
especially building mathematically equivalent systems out of different definitions and axioms
www.relationalgeometry.de