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 May 30 2014 13:12:50 -0400
Messages in reverse chronological order
[
Next Period
]
May 30, 2014
[Axiom-developer] Axiom and proofs
,
daly
,
13:12
Re: [Axiom-developer] Books versus "Tunneling"
,
daly
,
01:02
May 27, 2014
Re: [Axiom-developer] Computational Mathematics, proofs, and correctness
,
daly
,
13:39
May 26, 2014
Re: [Axiom-developer] Computational Mathematics, proofs, and correctness
,
daly
,
23:47
Re: [Axiom-developer] Computational Mathematics, proofs, and correctness
,
daly
,
23:39
[Axiom-developer] PVS
,
daly
,
23:30
Re: [Axiom-developer] Computational Mathematics, proofs, and correctness
,
jiazhaoconga
,
22:08
[Axiom-developer] Computational Mathematics, proofs, and correctness
,
daly
,
15:15
Re: [Axiom-developer] Computational Mathematics, proofs, and correctness
,
Waldek Hebisch
,
12:26
Re: [Axiom-developer] Computational Mathematics, proofs, and correctness
,
Martin Baker
,
10:29
[Axiom-developer] Computational Mathematics, proofs, and correctness
,
daly
,
05:01
May 22, 2014
Re: [Axiom-developer] Heidegger, literate programming, and communication
,
Gary Johnson
,
20:14
Re: [Axiom-developer] Heidegger, literate programming, and communication
,
Gary Johnson
,
20:14
Re: [Axiom-developer] Heidegger, literate programming, and communication
,
Mars0i
,
18:21
Re: [Axiom-developer] Heidegger, literate programming, and communication
,
Mars0i
,
15:19
Re: [Axiom-developer] Heidegger, literate programming, and communication
,
Tim Daly
,
14:47
Re: [Axiom-developer] Heidegger, literate programming, and communication
,
Tim Daly
,
13:37
Re: [Axiom-developer] Heidegger, literate programming, and communication
,
Fabio S.
,
13:25
Re: [Axiom-developer] Heidegger, literate programming, and communication
,
dastew
,
12:00
Re: [Axiom-developer] Heidegger, literate programming, and communication
,
Ralf Hemmecke
,
09:53
Re: [Axiom-developer] Heidegger, literate programming, and communication
,
Fabio S.
,
09:29
Re: [Axiom-developer] Heidegger, literate programming, and communication
,
Ralf Hemmecke
,
05:40
Re: [Axiom-developer] Heidegger, literate programming, and communication
,
Gregg Reynolds
,
05:21
Re: [Axiom-developer] Heidegger, literate programming, and communication
,
Gregg Reynolds
,
03:22
Re: [Axiom-developer] Heidegger, literate programming, and communication
,
u1204
,
02:17
May 21, 2014
Re: [Axiom-developer] Heidegger, literate programming, and communication
,
Mars0i
,
20:08
Re: [Axiom-developer] Heidegger, literate programming, and communication
,
Mars0i
,
20:08
[Axiom-developer] Heidegger, literate programming, and communication
,
daly
,
07:03
May 20, 2014
[Axiom-developer] Nelson Beebe quote
,
daly
,
18:40
[Axiom-developer] documentation
,
daly
,
17:14
Re: [Axiom-developer] Axiom mentioned in an LP talk by Bart Childs
,
John Kitchin
,
16:40
May 19, 2014
Re: [Axiom-developer] On syntactic coloring of language
,
William Sit
,
15:06
Re: [Axiom-developer] On syntactic coloring of language
,
Ralf Hemmecke
,
10:32
Re: [Axiom-developer] On syntactic coloring of language
,
William Sit
,
08:58
[Axiom-developer] On syntactic coloring of language
,
daly
,
04:08
May 18, 2014
[Axiom-developer] open-axiom-1.4.2 cannot be built with sbcl-1.1.18
,
daly
,
13:13
Re: [Axiom-developer] open-axiom-1.4.2 cannot be built with sbcl-1.1.18
,
Gabriel Dos Reis
,
10:46
Re: [Axiom-developer] open-axiom-1.4.2 cannot be built with sbcl-1.1.18
,
Gabriel Dos Reis
,
10:42
Re: [Axiom-developer] Axiom mentioned in an LP talk by Bart Childs
,
Martin Baker
,
03:42
[Axiom-developer] Axiom mentioned in an LP talk by Bart Childs
,
daly
,
02:44
May 13, 2014
[Axiom-developer] open-axiom-1.4.2 cannot be built with sbcl-1.1.18
,
daly
,
13:34
[Axiom-developer] open-axiom-1.4.2 cannot be built with sbcl-1.1.18
,
Helmut Jarausch
,
11:58
[Axiom-developer] open-axiom-1.4.2 cannot be built with sbcl-1.1.18
,
daly
,
09:14
May 12, 2014
Re: [Axiom-developer] Must hear....
,
daly
,
06:10
Re: [Axiom-developer] Must hear...
,
Martin Baker
,
03:22
May 11, 2014
[Axiom-developer] ouch
,
daly
,
17:48
Re: [Axiom-developer] Must hear...
,
Tim Daly
,
16:33
[Axiom-developer] address@hidden: First Call for Papers: 26. OpenMath Workshop (at CICM 2014; July 7. July 2014)]
,
Tim Daly
,
15:39
Re: [Axiom-developer] Must hear...
,
u1204
,
15:36
Re: [Axiom-developer] Must hear...
,
Martin Baker
,
04:57
May 09, 2014
[Axiom-developer] Polynomial GCD code
,
daly
,
16:38
[Axiom-developer] Must hear...
,
daly
,
13:44
[Axiom-developer] Must hear...
,
Tim Daly
,
13:17
[
Prev Period
]
[
Next Period
]
Mail converted by
MHonArc