axiom-developer

This forum is an archive for the mailing list axiom-developer@nongnu.org (more options) Messages posted here will be sent to this mailing list.
Axiom Developers
12345 ... 104
Topics (3638)
Replies Last Post Views
Scratchpad II Newsletters by Tim Daly
2
by Eugene Surowtz
Request by Tim Daly
0
by Tim Daly
Naming the pain in developing scientific software by Tim Daly
0
by Tim Daly
Stewardship of open source by Tim Daly
1
by Camm Maguire-2
Compiling Axiom on Debian 9 by Shakthi Kannan-5
3
by Camm Maguire-2
QED Manifesto and Symbolic Algebra by Tim Daly
2
by Tim Daly
PLOS Rules for documenting scientific software by Tim Daly
2
by Tim Daly
The QED Manifesto by Tim Daly
0
by Tim Daly
Compiling Axiom on Debian 9 by Shakthi Kannan-4
0
by Shakthi Kannan-4
ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS by Tim Daly
1
by Tim Daly
parametricity by Tim Daly
1
by Frank Pfenning
axiom-developer is not down by Tim Daly
0
by Tim Daly
insight by Tim Daly
1
by Tim Daly
Quote from "This Old Lisp" talk.... by Tim Daly
1
by Camm Maguire-2
McCarthy on dataspaces by Tim Daly
1
by Robert Harper
Running an open source project by Tim Daly
0
by Tim Daly
Proving Axiom Sane and Continuous Reasoning by Tim Daly
0
by Tim Daly
Axiom and Ubuntu18.04 by Tim Daly
4
by Fabio S.-2
Ubuntu 18.04 and Axiom by Tim Daly
0
by Tim Daly
Re: Ubuntu 18.04 by Tim Daly
0
by Tim Daly
Broken package for Ubuntu 18.04? by Fabio S.-2
0
by Fabio S.-2
Sum infinite series by Tim Daly
2
by Ralf Hemmecke-4
Re: Obtaining Axiom by Tim Daly
0
by Tim Daly
Guido steps down after community turmoil by Tim Daly
0
by Tim Daly
Re: Axiom on Windows by Tim Daly
1
by Tim Daly
Proving Axiom Sane by Tim Daly
0
by Tim Daly
The Great Theorem Prover Showdown by Tim Daly
0
by Tim Daly
Your Article on Robust Computer Algebra and Theorem Proving by Tim Daly
0
by Tim Daly
AMS article about trusting CAS by Tim Daly
1
by Kurt Pagani
Proving Axiom Correct by Tim Daly
12
by Henri Tuhola
Literate Programming by Tim Daly
0
by Tim Daly
Proving Axiom Correct by Tim Daly
0
by Tim Daly
Re: Bug#890776: fork_Axiom: Failed to reopen server: No such file or directory by Camm Maguire-2
3
by Tim Daly
Exposing the preparser output by Henri Tuhola
0
by Henri Tuhola
[15-819] Proofs as math objects by Tim Daly
0
by Tim Daly
12345 ... 104