axiom-developer

Messages by Date

2015/07/15 [Axiom-developer] Proving Axiom Correct daly
2015/07/12 [Axiom-developer] COQ and Axiom daly
2015/07/10 [Axiom-developer] Verified Computer Algebra in ACL2 daly
2015/07/10 [Axiom-developer] Machine Checked Implementation of BuchBerger's Algorithm daly
2015/07/10 [Axiom-developer] Proving Axiom correct daly
2015/07/10 Re: [Axiom-developer] Literate programming daly
2015/07/10 [Axiom-developer] Literate programming daly
2015/07/07 [Axiom-developer] How to prove large software projects correct daly
2015/07/04 Re: [Axiom-developer] directions daly
2015/07/04 Re: [Axiom-developer] Directions William Sit
2015/07/04 [Axiom-developer] Directions daly
2015/06/28 Re: [Axiom-developer] downloading Axiom to a windows machine running windows 7 daly
2015/06/23 Re: [Axiom-developer] MathML 3.0 2nd Edition standard William Sit
2015/06/23 [Axiom-developer] MathML 3.0 2nd Edition standard daly
2015/06/21 [Axiom-developer] Latest release on Docker daly
2015/06/02 Re: [Axiom-developer] New Axiom Docker release Raymond Rogers
2015/06/02 [Axiom-developer] New Axiom Docker release daly
2015/05/21 [Axiom-developer] Axiom installation David B .
2015/05/17 Re: [Axiom-developer] New Docker Image posted Raymond Rogers
2015/05/16 [Axiom-developer] New Docker Image posted daly
2015/05/09 Re: [Axiom-developer] Why proving Axiom correct is important daly
2015/05/09 Re: [Axiom-developer] Why proving Axiom correct is important Gabriel Dos Reis
2015/05/09 Re: [Axiom-developer] Why proving Axiom correct is important Martin Baker
2015/05/08 Re: [Axiom-developer] Why proving Axiom correct is important daly
2015/05/08 Re: [Axiom-developer] Why proving Axiom correct is important Martin Baker
2015/05/08 [Axiom-developer] (no subject) daly
2015/05/07 [Axiom-developer] Why proving Axiom correct is important daly
2015/05/06 Re: [Axiom-developer] new docker image daly
2015/05/05 [Axiom-developer] Computerising Mathematical Text daly
2015/04/16 [Axiom-developer] How to code an assumption in axiom Brent W. Baccala
2015/04/13 [Axiom-developer] New Docker Image daly
2015/03/17 Re: [Axiom-developer] Continuous Deployment of Axiom Tim Daly
2015/03/16 Re: [Axiom-developer] Continuous Deployment of Axiom Raymond Rogers
2015/03/16 [Axiom-developer] Continuous Deployment of Axiom daly
2015/03/14 [Axiom-developer] Continuous Release and Docker daly
2015/03/13 Re: [Axiom-developer] Robodoc daly
2015/03/13 [Axiom-developer] One more documentation program. Raymond Rogers
2015/03/07 Re: [Axiom-developer] Graph Drawing Raymond Rogers
2015/03/07 [Axiom-developer] Graph Drawing daly
2015/03/06 Re: [Axiom-developer] UDR diagram Raymond Rogers
2015/03/06 [Axiom-developer] UDR diagram daly
2015/03/06 Re: [Axiom-developer] Raising the bar (again) Martin Baker
2015/03/06 Re: [Axiom-developer] (no subject) Raymond Rogers
2015/03/06 [Axiom-developer] (no subject) daly
2015/03/06 Re: [Axiom-developer] Raising the bar (again) Martin Baker
2015/03/05 [Axiom-developer] Raising the bar (again) daly
2015/03/02 [Axiom-developer] Raising the bar (again) daly
2015/02/23 Re: [Axiom-developer] install crashing daly
2015/02/22 [Axiom-developer] Install crashing Lawrence Bottorff
2015/02/13 [Axiom-developer] New Docker image daly
2015/01/30 [Axiom-developer] Proving Axiom correct daly
2015/01/28 Re: [Axiom-developer] Axiom Design musings Raymond Rogers
2015/01/28 [Axiom-developer] Axiom Design musings daly
2015/01/07 [Axiom-developer] Projects: January 7th update daly
2015/01/07 [Axiom-developer] (no subject) daly
2015/01/07 Re: [Axiom-developer] [fricas-devel] documentation standards Gabriel Dos Reis
2015/01/07 Re: [Axiom-developer] Axiom Design Musings Martin Baker
2015/01/07 Re: [Axiom-developer] [Axiom-math] Aldor and Axiom workshop Gabriel Dos Reis
2015/01/06 Re: [Axiom-developer] Aldor and Axiom workshop daly
2015/01/06 [Axiom-developer] Axiom Design Musings daly
2015/01/02 [Axiom-developer] Axiom docker image -- running hyperdoc daly
2015/01/02 Re: [Axiom-developer] Axiom docker image daly
2015/01/02 Re: [Axiom-developer] Axiom docker image Eugene Surowitz
2015/01/02 [Axiom-developer] Axiom docker image daly
2014/12/31 Re: [Axiom-developer] Build failure: grep: int/input/*.regress: No such file or daly
2014/12/31 Re: [Axiom-developer] http://axiom-developer.org/index.html daly
2014/12/30 [Axiom-developer] http://axiom-developer.org/index.html Eugene Surowitz
2014/12/30 Re: [Axiom-developer] The impossible dream Eugene Surowitz
2014/12/30 [Axiom-developer] The impossible dream daly
2014/12/30 Re: [Axiom-developer] [fricas-devel] documentation standards Raymond Rogers
2014/12/30 Re: [Axiom-developer] [fricas-devel] documentation standards Eugene Surowitz
2014/12/29 Re: [Axiom-developer] [fricas-devel] documentation standards Bill Page
2014/12/29 [Axiom-developer] Weekly progress report daly
2014/12/29 [Axiom-developer] Axiom courses online daly
2014/12/28 [Axiom-developer] New Videos daly
2014/12/28 [Axiom-developer] Easter egg in Axiom daly
2014/12/28 [Axiom-developer] Axiom Computer Algebra System Information Sources video daly
2014/12/28 [Axiom-developer] Literate Programming in the Large video daly
2014/12/28 Re: [Axiom-developer] [fricas-devel] documentation standards Gabriel Dos Reis
2014/12/27 Re: [Axiom-developer] Software Checklists and Quality Eugene Surowitz
2014/12/27 Re: [Axiom-developer] [fricas-devel] documentation standards Eugene Surowitz
2014/12/26 [Axiom-developer] Software Checklists and Quality daly
2014/12/26 Re: [Axiom-developer] documenation standards Eugene Surowitz
2014/12/24 [Axiom-developer] documenation standards daly
2014/12/24 Re: [Axiom-developer] [fricas-devel] documentation standards Eugene Surowitz
2014/12/23 [Axiom-developer] project update daly
2014/12/16 Re: [Axiom-developer] GPLv2 Ralf Hemmecke
2014/12/16 [Axiom-developer] GPLv2 daly
2014/12/15 Re: [Axiom-developer] GPLv2 goes to court Ralf Hemmecke
2014/12/15 Re: [Axiom-developer] A Critique daly
2014/12/15 Re: [Axiom-developer] A Critique of the Mathematical Abilities of CA Systems daly
2014/12/15 Re: [Axiom-developer] A Critique of the Mathematical Abilities of CA Systems daly
2014/12/15 [Axiom-developer] GPLv2 goes to court daly
2014/12/15 [Axiom-developer] Lisp function signatures daly
2014/12/14 [Axiom-developer] read the docs daly
2014/12/13 Re: [Axiom-developer] read the docs :-) Raymond Rogers
2014/12/13 [Axiom-developer] read the docs :-) daly
2014/12/13 Re: [Axiom-developer] read the docs :-) Raymond Rogers
2014/12/13 [Axiom-developer] projects progress for week ending 12/13/14 daly
2014/12/12 [Axiom-developer] read the docs :-) daly
2014/12/12 [Axiom-developer] read the docs :-) daly
2014/12/03 [Axiom-developer] projects update daly
2014/12/02 Re: [Axiom-developer] input file examples daly
2014/12/02 [Axiom-developer] help wanted - send algebra examples daly
2014/12/01 Re: [Axiom-developer] [Axiom-math] Pointer update please. daly
2014/12/01 Re: [Axiom-developer] build failure Tim Daly
2014/12/01 Re: [Axiom-developer] build failure Paul Onions
2014/11/29 [Axiom-developer] build failure --with-lisp=clisp daly
2014/11/29 [Axiom-developer] typo daly
2014/11/29 [Axiom-developer] build failure daly
2014/11/29 Re: [Axiom-developer] axiom integrate() return wrong result daly
2014/11/28 Re: [Axiom-developer] Projects Suggestions daly
2014/11/28 Re: [Axiom-developer] Projects Suggestions daly
2014/11/28 [Axiom-developer] new "projects" file daly
2014/11/27 Re: [Axiom-developer] Projects Suggestions Ralf Hemmecke
2014/11/27 [Axiom-developer] Projects Suggestions Sarvagnan
2014/11/26 [Axiom-developer] Reals daly
2014/11/26 [Axiom-developer] new "projects" file daly
2014/11/23 [Axiom-developer] Axiom test suite daly
2014/11/22 Re: [Axiom-developer] problems with integrate Raymond Rogers
2014/11/22 Re: [Axiom-developer] problems with integrate Waldek Hebisch
2014/11/21 [Axiom-developer] problems with integrate daly
2014/11/05 [Axiom-developer] Axiom read problem daly
2014/11/03 [Axiom-developer] Passing of Dr. Gilbert Baumslag daly
2014/11/03 [Axiom-developer] Passing of Dr. Gilbert Baumslag daly
2014/10/28 [Axiom-developer] GCL 2.6.12 is released Camm Maguire
2014/10/26 Re: [Axiom-developer] Trusting computer algebra systems Juan Luis Varona Malumbres
2014/10/26 Re: [Axiom-developer] Trusting computer algebra systems u1204
2014/10/26 Re: [Axiom-developer] Trusting computer algebra systems Juan Luis Varona Malumbres
2014/10/24 [Axiom-developer] Trusting computer algebra systems daly
2014/10/23 Re: [Axiom-developer] CHARYBDIS paper Raymond Rogers
2014/10/23 Re: [Axiom-developer] accessing the input function form in Axiom Ralf Hemmecke
2014/10/23 [Axiom-developer] accessing the input function form in Axiom daly
2014/10/22 Re: [Axiom-developer] [Axiom-mail] manipulating series not as streams but as sumations Ralf Hemmecke
2014/10/22 Re: [Axiom-developer] documentation standards? daly
2014/10/22 Re: [Axiom-developer] documentation standards? daly
2014/10/22 [Axiom-developer] CHARYBDIS paper daly
2014/10/22 Re: [Axiom-developer] [Axiom-mail] manipulating series not as streams but as sumations Tim Daly
2014/10/22 Re: [Axiom-developer] [Axiom-mail] manipulating series not as streams but as sumations Raymond Rogers
2014/10/21 Re: [Axiom-developer] documentation standards? daly
2014/10/21 Re: [Axiom-developer] documentation standards? daly
2014/10/21 Re: [Axiom-developer] Bernoulli puzzle Raymond Rogers
2014/10/21 Re: [Axiom-developer] [Axiom-mail] manipulating series not as streams but as sumations William Sit
2014/10/21 Re: [Axiom-developer] [Axiom-mail] manipulating series not as streams but as sumations Raymond Rogers
2014/10/21 Re: [Axiom-developer] [Axiom-mail] manipulating series not as streams but as sumations Raymond Rogers
2014/10/21 Re: [Axiom-developer] Bernoulli puzzle Raymond Rogers
2014/10/20 Re: [Axiom-developer] Bernoulli puzzle daly
2014/10/20 Re: [Axiom-developer] Bernoulli puzzle Raymond Rogers
2014/10/20 Re: [Axiom-developer] Bernoulli puzzle Ralf Hemmecke
2014/10/20 Re: [Axiom-developer] Bernoulli puzzle daly
2014/10/20 Re: [Axiom-developer] Bernoulli puzzle Waldek Hebisch
2014/10/20 [Axiom-developer] Bernoulli puzzle daly
2014/10/20 Re: [Axiom-developer] [PATCH] small typo -- FIXED daly
2014/10/09 Re: [Axiom-developer] thesis on symbolic summation Ralf Hemmecke
2014/10/09 Re: [Axiom-developer] thesis on symbolic summation William Sit
2014/10/09 Re: [Axiom-developer] thesis on symbolic summation Ralf Hemmecke
2014/10/09 Re: [Axiom-developer] thesis on symbolic summation William Sit
2014/10/08 [Axiom-developer] thesis on symbolic summation daly
2014/10/08 Re: [Axiom-developer] thesis on symbolic summation kp
2014/10/08 Re: [Axiom-developer] thesis on symbolic summation Ralf Hemmecke
2014/10/08 [Axiom-developer] Karr's Indefinite Summation daly
2014/10/08 Re: [Axiom-developer] thesis on symbolic summation Bill Page
2014/10/08 Re: [Axiom-developer] thesis on symbolic summation Victor Adamchik
2014/10/08 Re: [Axiom-developer] thesis on symbolic summation William Sit
2014/10/08 Re: [Axiom-developer] thesis on symbolic summation Victor Adamchik
2014/10/08 Re: [Axiom-developer] thesis on symbolic summation daly
2014/10/07 [Axiom-developer] thesis on symbolic summation daly
2014/10/07 [Axiom-developer] permissions daly
2014/09/25 [Axiom-developer] [off topic but read this] well, this is bad daly
2014/09/17 Re: [Axiom-developer] Server goes OOM when daly
2014/09/15 [Axiom-developer] katex looks very interesting daly
2014/09/15 Re: [Axiom-developer] 3D solid models daly
2014/09/15 [Axiom-developer] 3D solid models daly
2014/09/15 Re: [Axiom-developer] solaris C Y
2014/09/15 Re: [Axiom-developer] solaris C Y
2014/09/15 Re: [Axiom-developer] cl-typesetting C Y
2014/09/14 [Axiom-developer] cl-typesetting daly
2014/09/14 [Axiom-developer] solaris daly
2014/09/14 Re: [Axiom-developer] solaris C Y
2014/09/14 Re: [Axiom-developer] solaris C Y
2014/09/14 [Axiom-developer] solaris daly
2014/09/14 Re: [Axiom-developer] solaris Camm Maguire
2014/09/14 [Axiom-developer] solaris daly
2014/09/14 Re: [Axiom-developer] solaris Aleksej Saushev
2014/09/13 Re: [Axiom-developer] solaris daly
2014/09/13 Re: [Axiom-developer] solaris Aleksej Saushev
2014/09/13 [Axiom-developer] solaris daly
2014/09/13 Re: [Axiom-developer] solaris Aleksej Saushev
2014/09/10 Re: [Axiom-developer] [fricas-devel] Re: CAD package from Renaud Waldek Hebisch
2014/09/09 Re: [Axiom-developer] [fricas-devel] Re: CAD package from Renaud Rioboo Renaud Rioboo
2014/09/09 Re: [Axiom-developer] Cylindrical Algebraic Decomposition added Renaud Rioboo
2014/09/09 [Axiom-developer] license daly
2014/09/09 [Axiom-developer] license daly
2014/09/09 Re: [Axiom-developer] [fricas-devel] Re: CAD package from Renaud Rioboo Waldek Hebisch
2014/09/09 Re: [Axiom-developer] [fricas-devel] Re: CAD package from Renaud Rioboo Ralf Hemmecke
2014/09/09 Re: [Axiom-developer] CAD package from Renaud Rioboo Waldek Hebisch
2014/09/08 Re: [Axiom-developer] CAD package from Renaud Rioboo someone
2014/09/08 Re: [Axiom-developer] Cylindrical Algebraic Decomposition added Ralf Hemmecke
2014/09/08 Re: [Axiom-developer] Cylindrical Algebraic Decomposition added Renaud Rioboo
2014/09/08 Re: [Axiom-developer] CAD package from Renaud Rioboo Raoul