gmane.comp.mathematics.axiom.devel archive
380 archived articles, newest first (page 4 of 4). Latest articles →
parametricity
Wed, 7 Nov 2018 14:54:14 -0500axiom-developer is not down
Tue, 6 Nov 2018 17:39:50 -0500Re: insight
Sat, 27 Oct 2018 20:27:58 -0400Re: Quote from "This Old Lisp" talk....
Fri, 19 Oct 2018 18:28:27 -0400Quote from "This Old Lisp" talk....
Fri, 19 Oct 2018 17:08:16 -0400insight
Wed, 17 Oct 2018 13:01:29 -0400Re: McCarthy on dataspaces
Sat, 15 Sep 2018 10:19:43 -0400McCarthy on dataspaces
Sat, 15 Sep 2018 04:47:42 -0400Running an open source project
Wed, 22 Aug 2018 22:10:51 -0400Proving Axiom Sane and Continuous Reasoning
Mon, 20 Aug 2018 04:49:02 -0400Re: Axiom and Ubuntu18.04
Mon, 13 Aug 2018 00:09:14 +0200Re: Axiom and Ubuntu18.04
Sun, 12 Aug 2018 09:54:46 -0400Re: Axiom and Ubuntu18.04
Sun, 12 Aug 2018 14:44:35 +0200Re: Axiom and Ubuntu18.04
Sun, 12 Aug 2018 10:17:27 -0400Axiom and Ubuntu18.04
Sun, 12 Aug 2018 01:23:30 -0400Ubuntu 18.04 and Axiom
Sat, 11 Aug 2018 23:08:52 -0400Re: Ubuntu 18.04
Tue, 7 Aug 2018 08:18:18 -0400Broken package for Ubuntu 18.04?
Thu, 2 Aug 2018 13:05:14 +0200Re: Sum infinite series
Fri, 20 Jul 2018 19:20:39 +0200Re: Sum infinite series
Fri, 20 Jul 2018 12:23:07 -0400Sum infinite series
Fri, 20 Jul 2018 10:28:30 -0400Re: Obtaining Axiom
Sat, 14 Jul 2018 14:13:11 -0400Guido steps down after community turmoil
Thu, 12 Jul 2018 19:48:14 -0400Re: Axiom on Windows
Sun, 3 Jun 2018 20:39:38 -0400Re: Axiom on Windows
Sun, 3 Jun 2018 02:11:53 -0400Proving Axiom Sane
Fri, 4 May 2018 15:19:47 -0400The Great Theorem Prover Showdown
Thu, 26 Apr 2018 04:38:11 -0400Your Article on Robust Computer Algebra and Theorem Proving
Thu, 19 Apr 2018 07:13:42 -0400Re: AMS article about trusting CAS
Sun, 15 Apr 2018 23:02:55 +0200AMS article about trusting CAS
Sun, 15 Apr 2018 15:20:02 -0400Re: Proving Axiom Correct
Fri, 13 Apr 2018 03:03:32 +0300Re: Proving Axiom Correct
Sun, 8 Apr 2018 16:49:20 -0400Re: Proving Axiom Correct
Fri, 6 Apr 2018 17:44:33 -0400Re: Proving Axiom Correct
Fri, 6 Apr 2018 16:50:41 -0400Re: Proving Axiom Correct
Fri, 6 Apr 2018 16:04:39 -0400Re: Proving Axiom Correct
Fri, 6 Apr 2018 17:48:29 +0000Re: Proving Axiom Correct
Fri, 6 Apr 2018 05:23:08 +0000Re: Proving Axiom Correct
Fri, 6 Apr 2018 06:34:23 -0400Re: Proving Axiom Correct
Thu, 5 Apr 2018 02:59:46 -0400Re: Proving Axiom Correct
Wed, 4 Apr 2018 22:03:49 +0000Re: Proving Axiom Correct
Tue, 3 Apr 2018 17:45:02 -0400Re: Proving Axiom Correct
Mon, 2 Apr 2018 21:34:45 +0100Proving Axiom Correct
Mon, 2 Apr 2018 13:37:20 -0400Literate Programming
Sat, 31 Mar 2018 21:41:00 -0400Re: Bug#890776: fork_Axiom: Failed to reopen server: No such file or directory
Mon, 19 Feb 2018 16:11:29 -0500Proving Axiom Correct
Sun, 4 Mar 2018 03:57:56 -0500Re: Bug#890776: fork_Axiom: Failed to reopen server: No such file or directory
Fri, 23 Feb 2018 17:08:28 -0500Re: Bug#890776: fork_Axiom: Failed to reopen server: No such file or directory
Fri, 23 Feb 2018 13:56:55 -0500Re: Bug#890776: fork_Axiom: Failed to reopen server: No such file or directory
Tue, 20 Feb 2018 11:25:19 +0100Exposing the preparser output
Sun, 28 Jan 2018 03:06:48 +0200[15-819] Proofs as math objects
Thu, 18 Jan 2018 03:57:04 -0500Must see video
Wed, 3 Jan 2018 03:40:01 -0500Re: Fwd: Request for references
Wed, 13 Dec 2017 11:36:15 -0500Request for references
Wed, 6 Dec 2017 04:06:50 -0500Re: Catching up on internals
Sat, 25 Nov 2017 12:43:47 -0500Literate programs
Thu, 16 Nov 2017 08:06:37 -0500Re: Catching up on internals
Wed, 8 Nov 2017 08:13:00 -0500both mailing lists please
Tue, 7 Nov 2017 14:15:18 -0700Re: Catching up on internals
Tue, 7 Nov 2017 15:34:12 +0000Re: Catching up on internals
Sat, 4 Nov 2017 18:02:28 +0000Re: Catching up on internals
Sat, 4 Nov 2017 12:18:13 -0400Re: Catching up on internals
Sat, 4 Nov 2017 08:38:34 +0000Re: Catching up on internals
Fri, 3 Nov 2017 20:42:01 -0400Re: Catching up on internals
Fri, 3 Nov 2017 18:27:58 +0000Re: Catching up on internals
Thu, 2 Nov 2017 17:10:56 -0400Re: Catching up on internals
Wed, 1 Nov 2017 16:03:22 -0400Re: Catching up on internals
Wed, 1 Nov 2017 18:05:33 +0000Re: Catching up on internals
Tue, 31 Oct 2017 08:29:16 -0400Re: Catching up on internals
Sat, 28 Oct 2017 18:02:45 +0100Re: Catching up on internals
Fri, 27 Oct 2017 15:05:59 -0400Boot code
Tue, 5 Sep 2017 12:58:26 -0400Re: 20170501
Tue, 05 Sep 2017 11:45:54 -0400Catching up on internals
Tue, 5 Sep 2017 14:33:46 +0100Re: 20170501
Sat, 2 Sep 2017 10:51:15 -0400Re: 20170501
Sat, 2 Sep 2017 10:39:36 -040020170501
Fri, 01 Sep 2017 11:13:13 -040020170501
Fri, 01 Sep 2017 11:47:29 -0400Axiom Goals (collected query replies)
Wed, 16 Aug 2017 07:06:06 -0400introduction
Tue, 1 Aug 2017 18:24:42 -0400Mathematica article
Tue, 25 Jul 2017 21:09:27 -0400
lmpx.com only provides a reader for public news (NNTP) servers. It is not
affiliated with the servers or forums shown here and is not responsible for
the content of articles, which is written by their respective authors.