Archives are refreshed every 30 minutes - for details, please visit
the main index
.
You can also
download the archives in mbox format
.
axiom-developer (thread)
[
Date Index
][
Top
][
All Lists
]
Advanced
[
Prev Period
]
Last Modified: Fri Dec 30 2016 18:09:43 -0500
Threads in reverse chronological order
[
Next Period
]
[Axiom-developer] Proving Axiom Correct. COQ/Axiom type matching
,
Tim Daly
,
2016/12/30
[Axiom-developer] The QED Manifesto
,
Tim Daly
,
2016/12/30
[Axiom-developer] Towards a Semantic Language of Mathematics
,
Tim Daly
,
2016/12/30
Re: [Axiom-developer] Towards a Semantic Language of Mathematics
,
Raymond Rogers
,
2016/12/30
[Axiom-developer] Proving Axiom Correct: Mathematical Components book
,
Tim Daly
,
2016/12/28
Re: [Axiom-developer] Clifford Algebra (Physics, Geometry, Algebra)
,
Tim Daly
,
2016/12/08
Re: [Axiom-developer] Clifford Algebra (Physics, Geometry, Algebra)
,
Martin Baker
,
2016/12/09
[Axiom-developer] Computational Math and Terence Tao's three stages of mathematics
,
Tim Daly
,
2016/12/02
Message not available
Re: [Axiom-developer] Computational Math and Terence Tao's three stages of mathematics
,
Tim Daly
,
2016/12/08
[Axiom-developer] Clifford Algebra
,
Martin Baker
,
2016/12/08
Message not available
Re: [Axiom-developer] Computational Math and Terence Tao's three stages of mathematics
,
Tim Daly
,
2016/12/08
[Axiom-developer] org.codehaus.stax2.StAXException missing in axiom-api:1.0 in org.apache.axiom.om.impl.stream.stax.StAXExceptionUtil
,
Martin Gainty
,
2016/12/02
Re: [Axiom-developer] org.codehaus.stax2.StAXException missing in
,
Waldek Hebisch
,
2016/12/02
Re: [Axiom-developer] org.codehaus.stax2.StAXException missing in axiom-api:1.0 in org.apache.axiom.om.impl.stream.stax.StAXExceptionUtil
,
Tatu Saloranta
,
2016/12/02
[
Prev Period
]
[
Next Period
]
Mail converted by
MHonArc