axiom-developer  

Messages by Date

• 2016/12/09 Re: [Axiom-developer] Clifford Algebra (Physics, Geometry, Algebra) Martin Baker
• 2016/12/08 Re: [Axiom-developer] Clifford Algebra (Physics, Geometry, Algebra) Tim Daly
• 2016/12/08 [Axiom-developer] Clifford Algebra Martin Baker
• 2016/12/08 Re: [Axiom-developer] Computational Math and Terence Tao's three stages of mathematics Tim Daly
• 2016/12/08 Re: [Axiom-developer] Computational Math and Terence Tao's three stages of mathematics Tim Daly
• 2016/12/02 [Axiom-developer] Computational Math and Terence Tao's three stages of mathematics Tim Daly
• 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 Re: [Axiom-developer] org.codehaus.stax2.StAXException missing in Waldek Hebisch
• 2016/12/02 [Axiom-developer] org.codehaus.stax2.StAXException missing in axiom-api:1.0 in org.apache.axiom.om.impl.stream.stax.StAXExceptionUtil Martin Gainty
• 2016/11/29 [Axiom-developer] Oral Tradition in Software Engineering Tim Daly
• 2016/11/16 [Axiom-developer] [Category Theory] Lecture on Category Theory Tim Daly
• 2016/11/14 Re: [Axiom-developer] [quantum] Geometric Algebra Arthur Ralfs
• 2016/11/14 Re: [Axiom-developer] [quantum] Geometric Algebra Bertfried Fauser
• 2016/11/14 Re: [Axiom-developer] [quantum] Geometric Algebra Arthur Ralfs
• 2016/11/14 [Axiom-developer] [quantum] Geometric Algebra Tim Daly
• 2016/11/14 [Axiom-developer] [quantum] Axiom's Quantum Computing implementation Tim Daly
• 2016/11/11 [Axiom-developer] GCL on Fedora Tim Daly
• 2016/11/09 [Axiom-developer] Latest Ubuntu compile fail Lawrence Bottorff
• 2016/11/08 Re: [Axiom-developer] Fedora Build Failure Tim Daly
• 2016/11/08 Re: [Axiom-developer] Fedora Build Failure Tim Daly
• 2016/11/07 [Axiom-developer] Fedora build failure Martin Irungu
• 2016/11/07 Re: [Axiom-developer] Axiom-developer Digest, Vol 155, Issue 1 Jovan Trujillo
• 2016/11/07 [Axiom-developer] Future research directions (Deep Neural Networks) Tim Daly
• 2016/11/07 [Axiom-developer] Future research directions (Universal Numbers) Tim Daly
• 2016/11/07 [Axiom-developer] Future research directions (Quantum Computing) Tim Daly
• 2016/10/30 [Axiom-developer] Best reason to document code... Tim Daly
• 2016/10/29 Re: [Axiom-developer] Comp failed Kurt Pagani
• 2016/10/29 Re: [Axiom-developer] Comp failed Tim Daly
• 2016/10/29 Re: [Axiom-developer] Comp failed Tim Daly
• 2016/10/28 Re: [Axiom-developer] Comp failed: guthub,ubuntu Kurt Pagani
• 2016/10/27 [Axiom-developer] Comp failed: guthub,ubuntu Kurt Pagani
• 2016/10/27 Re: [Axiom-developer] Comp failed: guthub,ubuntu Kurt Pagani
• 2016/10/27 [Axiom-developer] Axiom 2016 / 30 Year Horizon "State of the Union" review Tim Daly
• 2016/10/21 Re: [Axiom-developer] Dictionary of Algorithms... contributions? Black, Paul E. (Fed)
• 2016/10/21 [Axiom-developer] Dictionary of Algorithms... contributions? Tim Daly
• 2016/10/14 Re: [Axiom-developer] The purpose of GCL Tim Daly
• 2016/10/14 Re: [Axiom-developer] Problem building Axiom Tim Daly
• 2016/10/14 [Axiom-developer] Problem building Axiom Malcolm MacCallum
• 2016/10/11 Re: [Axiom-developer] Proving Axiom correct, derivations, and CAD Camm Maguire
• 2016/10/05 Re: [Axiom-developer] Design of Semantic Latex Tim Daly
• 2016/10/05 Re: [Axiom-developer] Design of Semantic Latex James Davenport
• 2016/09/18 [Axiom-developer] Proving Axiom correct, derivations, and CAD Tim Daly
• 2016/09/08 Re: [Axiom-developer] Buchberger Jenks Award? Ilias Kotsireas
• 2016/09/08 [Axiom-developer] Buchberger Jenks Award? Tim Daly
• 2016/09/08 [Axiom-developer] Twenty Pieces of Advice for a Young (and also not so young) Mathematician Tim Daly
• 2016/09/01 Re: [Axiom-developer] Design of Semantic Latex Tim Daly
• 2016/08/27 Re: [Axiom-developer] Design of Semantic Latex Tim Daly
• 2016/08/27 Re: [Axiom-developer] Design of Semantic Latex Richard Fateman
• 2016/08/27 Re: [Axiom-developer] Design of Semantic Latex Tim Daly
• 2016/08/27 [Axiom-developer] Design of Semantic Latex Tim Daly
• 2016/08/25 Re: [Axiom-developer] Design Thoughts on Semantic Latex (SELATEX) Tim Daly
• 2016/08/25 Re: [Axiom-developer] Design Thoughts on Semantic Latex (SELATEX) William Sit
• 2016/08/25 Re: [Axiom-developer] Design Thoughts on Semantic Latex (SELATEX) Tim Daly
• 2016/08/25 Re: [Axiom-developer] Design Thoughts on Semantic Latex (SELATEX) Tim Daly
• 2016/08/25 Re: [Axiom-developer] Design Thoughts on Semantic Latex (SELATEX) William Sit
• 2016/08/25 Re: [Axiom-developer] Design Thoughts on Semantic Latex (SELATEX) William Sit
• 2016/08/25 Re: [Axiom-developer] Design Thoughts on Semantic Latex (SELATEX) Tim Daly
• 2016/08/23 Re: [Axiom-developer] Design Thoughts on Semantic Latex (SELATEX) Tim Daly
• 2016/08/21 Re: [Axiom-developer] Design Thoughts on Semantic Latex (SELATEX) Tim Daly
• 2016/08/21 Re: [Axiom-developer] Design Thoughts on Semantic Latex (SELATEX) Tim Daly
• 2016/08/21 Re: [Axiom-developer] Design Thoughts on Semantic Latex (SELATEX) Tim Daly
• 2016/08/20 Re: [Axiom-developer] Design Thoughts on Semantic Latex (SELATEX) Tim Daly
• 2016/08/18 Re: [Axiom-developer] Design Thoughts on Semantic Latex (SELATEX) Tim Daly
• 2016/08/18 Re: [Axiom-developer] Design Thoughts on Semantic Latex (SELATEX) Richard Fateman
• 2016/08/18 Re: [Axiom-developer] Design Thoughts on Semantic Latex (SELATEX) Raymond Rogers
• 2016/08/18 [Axiom-developer] Design Thoughts on Semantic Latex (SELATEX) Tim Daly
• 2016/08/17 [Axiom-developer] Design Thoughts on Semantic Latex (SELATEX) Tim Daly
• 2016/08/15 Re: [Axiom-developer] Semantic Latex James Davenport
• 2016/08/15 Re: [Axiom-developer] Semantic Latex Tim Daly
• 2016/08/14 Re: [Axiom-developer] Semantic Latex Richard Fateman
• 2016/08/14 Re: [Axiom-developer] autoconf revisited Arthur Ralfs
• 2016/08/10 [Axiom-developer] Semantic Latex Tim Daly
• 2016/08/08 [Axiom-developer] autoconf revisited Tim Daly
• 2016/08/06 Re: [Axiom-developer] Under-appreciated aspects of literate programming Tim Daly
• 2016/08/06 Re: [Axiom-developer] Under-appreciated aspects of literate programming Ralf Hemmecke
• 2016/08/06 Re: [Axiom-developer] Under-appreciated aspects of literate programming Tim Daly
• 2016/08/06 Re: [Axiom-developer] Under-appreciated aspects of literate programming Ralf Hemmecke
• 2016/08/05 Re: [Axiom-developer] Under-appreciated aspects of literate programming Tim Daly
• 2016/08/05 Re: [Axiom-developer] Under-appreciated aspects of literate programming Ralf Hemmecke
• 2016/08/05 [Axiom-developer] Under-appreciated aspects of literate programming Tim Daly
• 2016/08/05 Re: [Axiom-developer] Axiom project goals oldk1331
• 2016/08/05 Re: [Axiom-developer] Axiom project goals Tim Daly
• 2016/08/04 Re: [Axiom-developer] Axiom project goals Tim Daly
• 2016/08/02 Re: [Axiom-developer] Axiom project goals Tim Daly
• 2016/07/21 Re: [Axiom-developer] Roadmap Tim Daly
• 2016/06/13 [Axiom-developer] `personality change failure 1` when running Axiom within docker on OS X Nix Sherrington
• 2016/05/30 Re: [Axiom-developer] Axiom now runs on your cell phone James Cloos
• 2016/05/08 [Axiom-developer] Proving Axiom Correct daly
• 2016/04/22 [Axiom-developer] Mathpix.com -- Handwritten mathematics daly
• 2016/04/09 [Axiom-developer] Numerical Linear Algebra daly
• 2016/03/30 [Axiom-developer] Documentation daly
• 2016/03/29 Re: [Axiom-developer] Axiom now runs on your cell phone Eugene Surowtz
• 2016/03/29 Re: [Axiom-developer] Axiom now runs on your cell phone daly
• 2016/03/29 Re: [Axiom-developer] Axiom now runs on your cell phone Verizon
• 2016/03/29 Re: [Axiom-developer] Axiom now runs on your cell phone daly
• 2016/03/29 Re: [Axiom-developer] Axiom mathematical algorithms... Notation matters daly
• 2016/03/29 [Axiom-developer] Axiom now runs on your cell phone daly
• 2016/03/20 Re: [Axiom-developer] Axiom mathematical algorithms... Notation matters daly
• 2016/03/20 Re: [Axiom-developer] Axiom mathematical algorithms... Notation matters Eugene Surowtz
• 2016/03/19 [Axiom-developer] Axiom mathematical algorithms... Notation matters daly
• 2016/02/28 [Axiom-developer] Towards an exploratory medium for mathematics daly
• 2016/02/07 Re: [Axiom-developer] [fricas-devel] Bug in conditional exports daly
• 2015/12/15 [Axiom-developer] Axiom documentation and Ted Nelson daly
• 2015/12/15 [Axiom-developer] Conceptualizing Large Software Systems daly
• 2015/12/07 [Axiom-developer] OutOfMemory issue with Axiom Rohit Singh
• 2015/12/01 [Axiom-developer] Proving Axiom correct daly
• 2015/11/30 [Axiom-developer] Proving Axiom correct daly
• 2015/11/24 [Axiom-developer] running a lisp behind a server daly
• 2015/11/20 Re: [Axiom-developer] Combinatorics daly
• 2015/11/20 [Axiom-developer] GCL, >2Gb memory, and si::*code-block-reserve* Camm Maguire
• 2015/11/19 [Axiom-developer] Computational Mathematics Documentation daly
• 2015/11/17 Re: [Axiom-developer] Drawing two curves simultaneously, daly
• 2015/11/17 Re: [Axiom-developer] Using a polynomial inside a function daly
• 2015/11/15 Re: [Axiom-developer] compile errors Camm Maguire
• 2015/11/15 Re: [Axiom-developer] Problem with displayed digits Raymond Rogers
• 2015/11/15 Re: [Axiom-developer] Axiom Ubuntu 15.10 build failure m__gmpz_add question Camm Maguire
• 2015/11/15 Re: [Axiom-developer] Problem with displayed digits daly
• 2015/11/10 [Axiom-developer] GCL Ubuntu 15.10 build failure m__gmpz_add question daly
• 2015/11/10 [Axiom-developer] Axiom Ubuntu 15.10 build failure m__gmpz_add question daly
• 2015/10/20 [Axiom-developer] bug in server code Camm Maguire
• 2015/10/17 Re: [Axiom-developer] A question about differential equations Alasdair McAndrew
• 2015/10/17 Re: [Axiom-developer] A question about differential equations Waldek Hebisch
• 2015/10/17 Re: [Axiom-developer] A question about differential equations daly
• 2015/10/09 Re: [Axiom-developer] compile errors daly
• 2015/10/09 Re: [Axiom-developer] compile errors Lawrence Bottorff
• 2015/10/08 Re: [Axiom-developer] compile errors daly
• 2015/10/07 Re: [Axiom-developer] Numerical Libraries Alasdair McAndrew
• 2015/10/07 Re: [Axiom-developer] Starting Hyperdoc from TeXmacs daly
• 2015/10/07 Re: [Axiom-developer] Numerical Libraries daly
• 2015/10/05 Re: [Axiom-developer] Fonts for HyperDoc? daly
• 2015/10/05 [Axiom-developer] Denesting radicals? daly
• 2015/10/05 Re: [Axiom-developer] Fonts for HyperDoc? daly
• 2015/10/02 Re: [Axiom-developer] Hard integrals Waldek Hebisch
• 2015/10/02 Re: [Axiom-developer] Compiling Axiom on Ubuntu 14.04, 64 bit daly
• 2015/10/02 Re: [Axiom-developer] Compiling Axiom on Ubuntu 14.04, 64 bit Alasdair McAndrew
• 2015/10/01 Re: [Axiom-developer] Compiling Axiom on Ubuntu 14.04, 64 bit Waldek Hebisch
• 2015/10/01 Re: [Axiom-developer] Compiling Axiom on Ubuntu 14.04, 64 bit daly
• 2015/09/27 [Axiom-developer] Proving Axiom Correct: video worth watching daly
• 2015/09/12 [Axiom-developer] Proving Axiom Correct daly
• 2015/08/16 Re: [Axiom-developer] Trouble with make on clojure literate daly
• 2015/08/16 [Axiom-developer] Trouble with make on clojure literate Lawrence Bottorff
• 2015/08/15 [Axiom-developer] Proving Axiom Correct daly
• 2015/08/01 Re: [Axiom-developer] Proving Axiom Correct Raymond Rogers
• 2015/07/31 [Axiom-developer] Proving Axiom Correct daly
• 2015/07/27 Re: [Axiom-developer] Call for help daly
• 2015/07/27 Re: [Axiom-developer] Call for help Martin Baker
• 2015/07/27 Re: [Axiom-developer] Call for help daly
• 2015/07/27 Re: [Axiom-developer] Call for help daly
• 2015/07/27 Re: [Axiom-developer] Call for help Martin Baker
• 2015/07/26 Re: [Axiom-developer] Call for help daly
• 2015/07/26 Re: [Axiom-developer] Call for help Kurt Pagani
• 2015/07/26 Re: [Axiom-developer] Call for help daly
• 2015/07/26 Re: [Axiom-developer] Call for help daly
• 2015/07/26 Re: [Axiom-developer] Call for help Raymond Rogers
• 2015/07/26 Re: [Axiom-developer] Call for help Martin Baker
• 2015/07/25 Re: [Axiom-developer] Call for help Raymond Rogers
• 2015/07/25 Re: [Axiom-developer] Call for help daly
• 2015/07/25 Re: [Axiom-developer] Call for help Raymond Rogers
• 2015/07/25 [Axiom-developer] Call for help daly
• 2015/07/18 [Axiom-developer] MPL declarative style proofs daly
• 2015/07/18 Re: [Axiom-developer] Proving Axiom Correct Kurt Pagani
• 2015/07/15 [Axiom-developer] Proving Axiom Correct daly
• 2015/07/15 [Axiom-developer] Proving Axiom Correct daly
• 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

• Earlier messages
• Later messages