Messages by Thread
-
-
[Axiom-developer] Compiling to Categories
Tim Daly
-
[Axiom-developer] The Coming Persistence Apocalypse
Tim Daly
-
[Axiom-developer] Program Synthesis and Computer Algebra
Tim Daly
-
[Axiom-developer] Competing on "features" is for game programmers, not mathematicians
Tim Daly
-
[Axiom-developer] Fast Multiplication
Tim Daly
-
[Axiom-developer] Wolfram posting
Tim Daly
-
[Axiom-developer] Axiom on Windows 10 with HyperDoc
Tim Daly
-
[Axiom-developer] Axiom on Windows 10
Tim Daly
-
[Axiom-developer] Proving Axiom Sane [PAS]: Bagn19 paper
Tim Daly
-
[Axiom-developer] email address
Tim Daly
-
[Axiom-developer] Aldor Design Doc
Tim Daly
-
[Axiom-developer] credit ... who are these people?
Tim Daly
-
[Axiom-developer] Request
Tim Daly
-
[Axiom-developer] Scratchpad II Newsletters
Tim Daly
-
[Axiom-developer] Naming the pain in developing scientific software
Tim Daly
-
[Axiom-developer] Stewardship of open source
Tim Daly
-
[Axiom-developer] QED Manifesto and Symbolic Algebra
Tim Daly
-
[Axiom-developer] PLOS Rules for documenting scientific software
Tim Daly
-
[Axiom-developer] Compiling Axiom on Debian 9
Shakthi Kannan
-
[Axiom-developer] ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS
Tim Daly
-
[Axiom-developer] parametricity
Tim Daly
-
[Axiom-developer] axiom-developer is not down
Tim Daly
-
[Axiom-developer] Quote from "This Old Lisp" talk....
Tim Daly
-
[Axiom-developer] insight
Tim Daly
-
[Axiom-developer] McCarthy on dataspaces
Tim Daly
-
[Axiom-developer] Running an open source project
Tim Daly
-
[Axiom-developer] Proving Axiom Sane and Continuous Reasoning
Tim Daly
-
[Axiom-developer] Axiom and Ubuntu18.04
Tim Daly
-
[Axiom-developer] Ubuntu 18.04 and Axiom
Tim Daly
-
Re: [Axiom-developer] Ubuntu 18.04
Tim Daly
-
[Axiom-developer] Broken package for Ubuntu 18.04?
Fabio Stumbo
-
[Axiom-developer] Sum infinite series
Tim Daly
-
Re: [Axiom-developer] Obtaining Axiom
Tim Daly
-
[Axiom-developer] Guido steps down after community turmoil
Tim Daly
-
[Axiom-developer] Proving Axiom Sane
Tim Daly
-
[Axiom-developer] The Great Theorem Prover Showdown
Tim Daly
-
[Axiom-developer] Your Article on Robust Computer Algebra and Theorem Proving
Tim Daly
-
[Axiom-developer] AMS article about trusting CAS
Tim Daly
-
Re: [Axiom-developer] Bug#890776: fork_Axiom: Failed to reopen server: No such file or directory
Camm Maguire
-
[Axiom-developer] Exposing the preparser output
Henri Tuhola
-
[Axiom-developer] [15-819] Proofs as math objects
Tim Daly
-
[Axiom-developer] Must see video
Tim Daly
-
[Axiom-developer] Request for references
Tim Daly
-
[Axiom-developer] Literate programs
Tim Daly
-
[Axiom-developer] both mailing lists please
powerline
-
[Axiom-developer] Boot code
Tim Daly
-
[Axiom-developer] Catching up on internals
Nicolas Doye
-
[Axiom-developer] 20170501
Camm Maguire
-
[Axiom-developer] Axiom Goals (collected query replies)
Tim Daly
-
[Axiom-developer] introduction
bondo
-
[Axiom-developer] Mathematica article
Tim Daly
-
Re: [Axiom-developer] Axiom-developer Digest, Vol 163, Issue 2
Jovan Trujillo
-
Re: [Axiom-developer] Axiom for Windows
Tim Daly
-
[Axiom-developer] Axiom for Windows 32 / 64 bit
Dr. M Kanagasabapathy
-
[Axiom-developer] [Axiom] Progress report
Tim Daly
-
[Axiom-developer] Reconciling Seqents and Hoare Triples
Tim Daly
-
Re: [Axiom-developer] Axiom course
Tim Daly
-
Re: [Axiom-developer] MathScheme project
Tim Daly
-
Re: [Axiom-developer] Small documentation problem
Tim Daly
-
[Axiom-developer] Small documentation issue
Martin Baker
-
[Axiom-developer] Proving Axiom Correct: Homotopy Type Theory
Tim Daly
-
Re: [Axiom-developer] Proving Axiom Correct -- at the C level
Tim Daly
-
[Axiom-developer] Proving Axiom Correct, "state of the art" report
Tim Daly
-
[Axiom-developer] Terry Tso's three stages of mathematics
Tim Daly
-
Re: [Axiom-developer] Problem building axiom on Fedora 25
Tim Daly
-
[Axiom-developer] [IGNORE] Receipt for 9 year renewal of axiom-developer.org
Tim Daly
-
[Axiom-developer] Roads and Bridges (re: open source software)
Tim Daly
-
[Axiom-developer] Type Theory and Axiom
Tim Daly
-
[Axiom-developer] Ad-hoc polymorphism paper
Tim Daly
-
[Axiom-developer] Proving Axiom Correct -- Design musings
Tim Daly
-
[Axiom-developer] Proving Axiom Correct ... midnight musings
Tim Daly
-
[Axiom-developer] [Proving Axiom Correct] Kurt's comments and reply
Tim Daly
-
[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] Towards a Semantic Language of Mathematics
Tim Daly
-
[Axiom-developer] Proving Axiom Correct: Mathematical Components book
Tim Daly
-
Re: [Axiom-developer] Clifford Algebra (Physics, Geometry, Algebra)
Tim Daly
-
[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
-
[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
-
[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] Axiom-developer Digest, Vol 155, Issue 1
Jovan Trujillo
-
[Axiom-developer] Future research directions (Deep Neural Networks)
Tim Daly