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: Sun Sep 18 2016 23:30:04 -0400
Messages in reverse chronological order
[
Next Period
]
September 18, 2016
[Axiom-developer] Proving Axiom correct, derivations, and CAD
,
Tim Daly
,
23:30
September 08, 2016
Re: [Axiom-developer] Buchberger Jenks Award?
,
Ilias Kotsireas
,
14:03
[Axiom-developer] Buchberger Jenks Award?
,
Tim Daly
,
05:10
[Axiom-developer] Twenty Pieces of Advice for a Young (and also not so young) Mathematician
,
Tim Daly
,
04:59
September 01, 2016
Re: [Axiom-developer] Design of Semantic Latex
,
Tim Daly
,
08:25
[
Prev Period
]
[
Next Period
]
Mail converted by
MHonArc