axiom-developer  

Messages by Thread

• • Re: [Axiom-developer] [Proving Axiom Correct] Bootstrapping a library Kurt Pagani
  • Re: [Axiom-developer] [Proving Axiom Correct] Bootstrapping a library Renaud Rioboo
  • Re: [Axiom-developer] [Proving Axiom Correct] Bootstrapping a library Tim Daly
  • Re: [Axiom-developer] [Proving Axiom Correct] Bootstrapping a library Tim Daly
• [Axiom-developer] Axiom on Slackware Tim Daly
• [Axiom-developer] Why focus on education? Tim Daly
• [Axiom-developer] axiom don't compile under slackware Blatrix
• [Axiom-developer] Axiom, COQ, and Proof General Tim Daly
• [Axiom-developer] Proving Axiom Correct. COQ/Axiom type matching Tim Daly
• [Axiom-developer] The QED Manifesto Tim Daly
  • [Axiom-developer] The QED Manifesto Tim Daly
• [Axiom-developer] Towards a Semantic Language of Mathematics Tim Daly
  • Re: [Axiom-developer] Towards a Semantic Language of Mathematics Raymond Rogers
• [Axiom-developer] Proving Axiom Correct: Mathematical Components book Tim Daly
• Re: [Axiom-developer] Clifford Algebra (Physics, Geometry, Algebra) Tim Daly
  • Re: [Axiom-developer] Clifford Algebra (Physics, Geometry, Algebra) Martin Baker
• [Axiom-developer] Computational Math and Terence Tao's three stages of mathematics Tim Daly
  • Re: [Axiom-developer] Computational Math and Terence Tao's three stages of mathematics Tim Daly
  • [Axiom-developer] Clifford Algebra Martin Baker
  • Re: [Axiom-developer] Computational Math and Terence Tao's three stages of mathematics Tim Daly
• [Axiom-developer] org.codehaus.stax2.StAXException missing in axiom-api:1.0 in org.apache.axiom.om.impl.stream.stax.StAXExceptionUtil Martin Gainty
  • Re: [Axiom-developer] org.codehaus.stax2.StAXException missing in Waldek Hebisch
  • Re: [Axiom-developer] org.codehaus.stax2.StAXException missing in axiom-api:1.0 in org.apache.axiom.om.impl.stream.stax.StAXExceptionUtil Tatu Saloranta
• [Axiom-developer] Oral Tradition in Software Engineering Tim Daly
• [Axiom-developer] [Category Theory] Lecture on Category Theory Tim Daly
• [Axiom-developer] [quantum] Geometric Algebra Tim Daly
  • Re: [Axiom-developer] [quantum] Geometric Algebra Arthur Ralfs
  • Re: [Axiom-developer] [quantum] Geometric Algebra Bertfried Fauser
  • Re: [Axiom-developer] [quantum] Geometric Algebra Arthur Ralfs
• [Axiom-developer] [quantum] Axiom's Quantum Computing implementation Tim Daly
• [Axiom-developer] GCL on Fedora Tim Daly
• [Axiom-developer] Latest Ubuntu compile fail Lawrence Bottorff
• [Axiom-developer] Fedora build failure Martin Irungu
  • Re: [Axiom-developer] Fedora Build Failure Tim Daly
  • Re: [Axiom-developer] Fedora Build Failure Tim Daly
• Re: [Axiom-developer] Axiom-developer Digest, Vol 155, Issue 1 Jovan Trujillo
• [Axiom-developer] Future research directions (Deep Neural Networks) Tim Daly
• [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

• Earlier messages
• Later messages