axiom-developer  

Messages by Thread

• [Axiom-developer] Future research directions (Universal Numbers) Tim Daly
• [Axiom-developer] Future research directions (Quantum Computing) Tim Daly
• [Axiom-developer] Best reason to document code... Tim Daly
• Re: [Axiom-developer] Comp failed Tim Daly
  • Re: [Axiom-developer] Comp failed Tim Daly
  • Re: [Axiom-developer] Comp failed Kurt Pagani
• [Axiom-developer] Axiom 2016 / 30 Year Horizon "State of the Union" review Tim Daly
  • [Axiom-developer] Comp failed: guthub,ubuntu Kurt Pagani
  • Re: [Axiom-developer] Comp failed: guthub,ubuntu Kurt Pagani
  • Re: [Axiom-developer] Comp failed: guthub,ubuntu Kurt Pagani
• [Axiom-developer] Dictionary of Algorithms... contributions? Tim Daly
  • Re: [Axiom-developer] Dictionary of Algorithms... contributions? Black, Paul E. (Fed)
• Re: [Axiom-developer] The purpose of GCL Tim Daly
• [Axiom-developer] Problem building Axiom Malcolm MacCallum
  • Re: [Axiom-developer] Problem building Axiom Tim Daly
• [Axiom-developer] Proving Axiom correct, derivations, and CAD Tim Daly
  • Re: [Axiom-developer] Proving Axiom correct, derivations, and CAD Camm Maguire
• [Axiom-developer] Buchberger Jenks Award? Tim Daly
  • Re: [Axiom-developer] Buchberger Jenks Award? Ilias Kotsireas
• [Axiom-developer] Twenty Pieces of Advice for a Young (and also not so young) Mathematician Tim Daly
• [Axiom-developer] Design of Semantic Latex Tim Daly
  • Re: [Axiom-developer] Design of Semantic Latex Tim Daly
  • Re: [Axiom-developer] Design of Semantic Latex Richard Fateman
  • Re: [Axiom-developer] Design of Semantic Latex Tim Daly
  • Re: [Axiom-developer] Design of Semantic Latex Tim Daly
  • Re: [Axiom-developer] Design of Semantic Latex James Davenport
  • Re: [Axiom-developer] Design of Semantic Latex Tim Daly
• [Axiom-developer] Design Thoughts on Semantic Latex (SELATEX) Tim Daly
  • [Axiom-developer] Design Thoughts on Semantic Latex (SELATEX) Tim Daly
  • Re: [Axiom-developer] Design Thoughts on Semantic Latex (SELATEX) Raymond Rogers
  • Re: [Axiom-developer] Design Thoughts on Semantic Latex (SELATEX) Richard Fateman
  • Re: [Axiom-developer] Design Thoughts on Semantic Latex (SELATEX) Tim Daly
  • Re: [Axiom-developer] Design Thoughts on Semantic Latex (SELATEX) Tim Daly
  • Re: [Axiom-developer] Design Thoughts on Semantic Latex (SELATEX) Tim Daly
  • Re: [Axiom-developer] Design Thoughts on Semantic Latex (SELATEX) Tim Daly
  • Re: [Axiom-developer] Design Thoughts on Semantic Latex (SELATEX) Tim Daly
  • Re: [Axiom-developer] Design Thoughts on Semantic Latex (SELATEX) Tim Daly
  • Re: [Axiom-developer] Design Thoughts on Semantic Latex (SELATEX) Tim Daly
  • Re: [Axiom-developer] Design Thoughts on Semantic Latex (SELATEX) William Sit
  • Re: [Axiom-developer] Design Thoughts on Semantic Latex (SELATEX) Tim Daly
  • Re: [Axiom-developer] Design Thoughts on Semantic Latex (SELATEX) William Sit
  • Re: [Axiom-developer] Design Thoughts on Semantic Latex (SELATEX) Tim Daly
  • Re: [Axiom-developer] Design Thoughts on Semantic Latex (SELATEX) William Sit
  • Re: [Axiom-developer] Design Thoughts on Semantic Latex (SELATEX) Tim Daly
• [Axiom-developer] Semantic Latex Tim Daly
  • Re: [Axiom-developer] Semantic Latex James Davenport
  • Re: [Axiom-developer] Semantic Latex Richard Fateman
  • Re: [Axiom-developer] Semantic Latex Tim Daly
• [Axiom-developer] autoconf revisited Tim Daly
  • Re: [Axiom-developer] autoconf revisited Arthur Ralfs
• [Axiom-developer] Under-appreciated aspects of literate programming Tim Daly
  • Re: [Axiom-developer] Under-appreciated aspects of literate programming Ralf Hemmecke
  • Re: [Axiom-developer] Under-appreciated aspects of literate programming Tim Daly
  • Re: [Axiom-developer] Under-appreciated aspects of literate programming Ralf Hemmecke
  • Re: [Axiom-developer] Under-appreciated aspects of literate programming Tim Daly
  • Re: [Axiom-developer] Under-appreciated aspects of literate programming Ralf Hemmecke
  • Re: [Axiom-developer] Under-appreciated aspects of literate programming Tim Daly
• Re: [Axiom-developer] Axiom project goals Tim Daly
  • Re: [Axiom-developer] Axiom project goals Tim Daly
  • Re: [Axiom-developer] Axiom project goals oldk1331
  • Re: [Axiom-developer] Axiom project goals Tim Daly
• Re: [Axiom-developer] Roadmap Tim Daly
• [Axiom-developer] `personality change failure 1` when running Axiom within docker on OS X Nix Sherrington
• [Axiom-developer] Mathpix.com -- Handwritten mathematics daly
• [Axiom-developer] Numerical Linear Algebra daly
• Re: [Axiom-developer] Axiom mathematical algorithms... Notation matters daly
• [Axiom-developer] Axiom now runs on your cell phone daly
  • Re: [Axiom-developer] Axiom now runs on your cell phone Verizon
  • Re: [Axiom-developer] Axiom now runs on your cell phone daly
  • Re: [Axiom-developer] Axiom now runs on your cell phone Eugene Surowtz
  • Re: [Axiom-developer] Axiom now runs on your cell phone daly
  • Re: [Axiom-developer] Axiom now runs on your cell phone James Cloos
• [Axiom-developer] Axiom mathematical algorithms... Notation matters daly
  • Re: [Axiom-developer] Axiom mathematical algorithms... Notation matters Eugene Surowtz
  • Re: [Axiom-developer] Axiom mathematical algorithms... Notation matters daly
• [Axiom-developer] Towards an exploratory medium for mathematics daly
• Re: [Axiom-developer] [fricas-devel] Bug in conditional exports daly
• [Axiom-developer] Axiom documentation and Ted Nelson daly
• [Axiom-developer] Conceptualizing Large Software Systems daly
• [Axiom-developer] OutOfMemory issue with Axiom Rohit Singh
• [Axiom-developer] running a lisp behind a server daly
• Re: [Axiom-developer] Combinatorics daly
• [Axiom-developer] GCL, >2Gb memory, and si::*code-block-reserve* Camm Maguire
• [Axiom-developer] Computational Mathematics Documentation daly
• Re: [Axiom-developer] Drawing two curves simultaneously, daly
• Re: [Axiom-developer] Using a polynomial inside a function daly
• Re: [Axiom-developer] Problem with displayed digits daly
  • Re: [Axiom-developer] Problem with displayed digits Raymond Rogers
• [Axiom-developer] GCL Ubuntu 15.10 build failure m__gmpz_add question daly
• [Axiom-developer] Axiom Ubuntu 15.10 build failure m__gmpz_add question daly
  • Re: [Axiom-developer] Axiom Ubuntu 15.10 build failure m__gmpz_add question Camm Maguire
• Re: [Axiom-developer] A question about differential equations daly
  • Re: [Axiom-developer] A question about differential equations Waldek Hebisch
  • Re: [Axiom-developer] A question about differential equations Alasdair McAndrew
• Re: [Axiom-developer] compile errors daly
  • Re: [Axiom-developer] compile errors daly
  • Re: [Axiom-developer] compile errors Lawrence Bottorff
  • Re: [Axiom-developer] compile errors Camm Maguire
  • [Axiom-developer] bug in server code Camm Maguire
• Re: [Axiom-developer] Starting Hyperdoc from TeXmacs daly
• Re: [Axiom-developer] Numerical Libraries daly
  • Re: [Axiom-developer] Numerical Libraries Alasdair McAndrew
• [Axiom-developer] Denesting radicals? daly
• Re: [Axiom-developer] Fonts for HyperDoc? daly
  • Re: [Axiom-developer] Fonts for HyperDoc? daly
• Re: [Axiom-developer] Compiling Axiom on Ubuntu 14.04, 64 bit daly
  • Re: [Axiom-developer] Compiling Axiom on Ubuntu 14.04, 64 bit Waldek Hebisch
  • Re: [Axiom-developer] Compiling Axiom on Ubuntu 14.04, 64 bit Alasdair McAndrew
  • Re: [Axiom-developer] Hard integrals Waldek Hebisch
  • Re: [Axiom-developer] Compiling Axiom on Ubuntu 14.04, 64 bit daly
• [Axiom-developer] Proving Axiom Correct: video worth watching daly
• [Axiom-developer] Trouble with make on clojure literate Lawrence Bottorff
  • Re: [Axiom-developer] Trouble with make on clojure literate daly
• [Axiom-developer] Call for help daly
  • Re: [Axiom-developer] Call for help Raymond Rogers
  • Re: [Axiom-developer] Call for help Martin Baker
  • Re: [Axiom-developer] Call for help Raymond Rogers
  • Re: [Axiom-developer] Call for help Kurt Pagani
  • Re: [Axiom-developer] Call for help daly
  • Re: [Axiom-developer] Call for help Raymond Rogers
  • Re: [Axiom-developer] Call for help daly
  • Re: [Axiom-developer] Call for help daly
  • Re: [Axiom-developer] Call for help Martin Baker
  • Re: [Axiom-developer] Call for help daly
  • Re: [Axiom-developer] Call for help daly
  • Re: [Axiom-developer] Call for help Martin Baker
  • Re: [Axiom-developer] Call for help daly
  • Re: [Axiom-developer] Call for help daly
• [Axiom-developer] MPL declarative style proofs daly
• [Axiom-developer] COQ and Axiom daly
• [Axiom-developer] Verified Computer Algebra in ACL2 daly
• [Axiom-developer] Machine Checked Implementation of BuchBerger's Algorithm daly
• [Axiom-developer] How to prove large software projects correct daly
• [Axiom-developer] Directions daly
  • Re: [Axiom-developer] Directions William Sit
  • Re: [Axiom-developer] directions daly
• Re: [Axiom-developer] downloading Axiom to a windows machine running windows 7 daly
• [Axiom-developer] MathML 3.0 2nd Edition standard daly
  • Re: [Axiom-developer] MathML 3.0 2nd Edition standard William Sit
• [Axiom-developer] Latest release on Docker daly
• [Axiom-developer] New Axiom Docker release daly
  • Re: [Axiom-developer] New Axiom Docker release Raymond Rogers
• [Axiom-developer] Axiom installation David B .
• [Axiom-developer] New Docker Image posted daly
  • Re: [Axiom-developer] New Docker Image posted Raymond Rogers
• [Axiom-developer] Why proving Axiom correct is important daly
  • Re: [Axiom-developer] Why proving Axiom correct is important daly
  • Re: [Axiom-developer] Why proving Axiom correct is important Martin Baker
  • Re: [Axiom-developer] Why proving Axiom correct is important Gabriel Dos Reis
  • Re: [Axiom-developer] Why proving Axiom correct is important daly
• [Axiom-developer] Computerising Mathematical Text daly
• [Axiom-developer] How to code an assumption in axiom Brent W. Baccala
• [Axiom-developer] Continuous Deployment of Axiom daly
  • Re: [Axiom-developer] Continuous Deployment of Axiom Raymond Rogers
  • Re: [Axiom-developer] Continuous Deployment of Axiom Tim Daly
• [Axiom-developer] Continuous Release and Docker daly
• Re: [Axiom-developer] Robodoc daly
• [Axiom-developer] Graph Drawing daly
  • Re: [Axiom-developer] Graph Drawing Raymond Rogers
  • [Axiom-developer] One more documentation program. Raymond Rogers
• [Axiom-developer] UDR diagram daly
  • Re: [Axiom-developer] UDR diagram Raymond Rogers
• [Axiom-developer] Raising the bar (again) daly
  • [Axiom-developer] Raising the bar (again) daly
  • Re: [Axiom-developer] Raising the bar (again) Martin Baker
• [Axiom-developer] Install crashing Lawrence Bottorff
  • Re: [Axiom-developer] install crashing daly
• [Axiom-developer] New Docker image daly
  • [Axiom-developer] New Docker Image daly
  • Re: [Axiom-developer] new docker image daly
• [Axiom-developer] Projects: January 7th update daly
• Re: [Axiom-developer] Aldor and Axiom workshop daly
  • Re: [Axiom-developer] [Axiom-math] Aldor and Axiom workshop Gabriel Dos Reis
• [Axiom-developer] Axiom Design Musings daly
  • Re: [Axiom-developer] Axiom Design Musings Martin Baker
  • [Axiom-developer] Axiom Design musings daly
  • Re: [Axiom-developer] Axiom Design musings Raymond Rogers
• [Axiom-developer] Axiom docker image -- running hyperdoc daly
• [Axiom-developer] Axiom docker image daly
  • Re: [Axiom-developer] Axiom docker image Eugene Surowitz
  • Re: [Axiom-developer] Axiom docker image daly
• Re: [Axiom-developer] Build failure: grep: int/input/*.regress: No such file or daly
• [Axiom-developer] http://axiom-developer.org/index.html Eugene Surowitz
  • Re: [Axiom-developer] http://axiom-developer.org/index.html daly
• [Axiom-developer] The impossible dream daly
  • Re: [Axiom-developer] The impossible dream Eugene Surowitz
• [Axiom-developer] Weekly progress report daly
• [Axiom-developer] Axiom courses online daly
• [Axiom-developer] New Videos daly
• [Axiom-developer] Easter egg in Axiom daly
• [Axiom-developer] Axiom Computer Algebra System Information Sources video daly
• [Axiom-developer] Literate Programming in the Large video daly
• [Axiom-developer] Software Checklists and Quality daly
  • Re: [Axiom-developer] Software Checklists and Quality Eugene Surowitz
• [Axiom-developer] documenation standards daly
  • Re: [Axiom-developer] documenation standards Eugene Surowitz
• Re: [Axiom-developer] [fricas-devel] documentation standards Eugene Surowitz
  • Re: [Axiom-developer] [fricas-devel] documentation standards Gabriel Dos Reis
  • Re: [Axiom-developer] [fricas-devel] documentation standards Bill Page
  • Re: [Axiom-developer] [fricas-devel] documentation standards Eugene Surowitz

• Earlier messages
• Later messages