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