gmane.comp.mathematics.axiom.devel archive
376 archived articles, newest first (page 2 of 4). Latest articles →
A NN Solves and Generates Math Problems
Thu, 6 Jan 2022 10:29:43 -0500A NN Solves and Generates Math Problems
Thu, 6 Jan 2022 09:58:14 -0500Re: Axiom musings...
Thu, 30 Dec 2021 18:46:18 -0500Re: Axiom musings...
Mon, 13 Dec 2021 00:30:28 -0500Re: Lean4 and dependent type theory
Fri, 3 Dec 2021 13:20:46 -0500Lean4 and dependent type theory
Fri, 3 Dec 2021 12:03:47 -0500Re: Axiom musings...
Thu, 25 Nov 2021 09:43:39 -0500Re: Axiom musings...
Sat, 13 Nov 2021 17:28:28 -0500Re: Axiom musings...
Mon, 25 Oct 2021 19:42:25 -0400Re: Axiom musings...
Thu, 21 Oct 2021 09:50:48 -0400Re: Axiom musings...
Mon, 18 Oct 2021 02:00:50 -0400Re: Axiom musings...
Sun, 10 Oct 2021 16:40:31 -0400Re: Axiom musings...
Mon, 27 Sep 2021 11:23:16 -0400Re: Axiom musings...
Mon, 27 Sep 2021 10:35:38 -0400Re: Axiom musings...
Sun, 26 Sep 2021 19:57:00 -0400Re: Axiom musings...
Sun, 26 Sep 2021 17:21:06 -0400Re: Axiom musings...
Thu, 19 Aug 2021 02:52:19 -0400Re: Axiom musings...
Fri, 13 Aug 2021 03:24:51 -0400Re: Axiom musings...
Tue, 29 Jun 2021 10:51:06 -0400Re: Andrej Bauer gave an extraordinarilly clear talk
Sun, 27 Jun 2021 21:31:24 -0400Re: Andrej Bauer gave an extraordinarilly clear talk
Sun, 27 Jun 2021 01:55:17 -0400Re: needing an fpga...
Fri, 18 Jun 2021 19:10:32 -0400Re: needing an fpga...
Thu, 17 Jun 2021 22:20:30 -0400Re: needing an fpga...
Thu, 17 Jun 2021 14:35:30 -0400Re: needing an fpga...
Thu, 17 Jun 2021 12:58:55 -0400Information request
Tue, 15 Jun 2021 23:22:28 +0000 (UTC)Re: needing an fpga...
Mon, 14 Jun 2021 15:50:17 -0500Re: needing an fpga...
Mon, 14 Jun 2021 15:29:02 -0400Re: Axiom musings...
Sat, 5 Jun 2021 02:09:09 -0400Symbiflow and Axiom
Sat, 29 May 2021 13:39:38 -0400Down to the metal...
Wed, 26 May 2021 05:36:00 -0400axiom installation failed
Wed, 5 May 2021 21:31:29 +0200Re: Axiom musings...
Wed, 5 May 2021 01:36:00 -0400Re: trivial calculator problem
Mon, 3 May 2021 08:01:24 +0100 (GMT Summer Time)Re: trivial calculator problem
Mon, 3 May 2021 08:30:48 +0200trivial calculator problem
Mon, 03 May 2021 03:10:47 +0300Trouble getting Axiom to run with Docker in macOS
Fri, 9 Apr 2021 09:22:46 +0200Re: Axiom musings...
Sat, 27 Feb 2021 22:42:28 -0500Re: Axiom musings...
Thu, 18 Feb 2021 18:27:53 -0500Re: Axiom musings...
Fri, 5 Feb 2021 15:22:50 -0500Re: Axiom musings...
Tue, 19 Jan 2021 23:43:41 -0500Re: Axiom musings...
Tue, 19 Jan 2021 22:22:02 -0500Re: Axiom musings...
Fri, 1 Jan 2021 20:07:52 -0500Re: Axiom musings...
Fri, 1 Jan 2021 19:53:03 -0500Re: Axiom musings...
Thu, 31 Dec 2020 09:05:46 -0500Re: [EXTERNAL] Re: Axiom musings...
Mon, 21 Dec 2020 07:10:02 -0500Re: [EXTERNAL] Re: Axiom musings...
Fri, 18 Dec 2020 03:23:59 -0500Re: [EXTERNAL] Re: Axiom musings...
Fri, 18 Dec 2020 02:59:53 -0500Re: Axiom musings...
Wed, 9 Dec 2020 22:36:38 -0500Re: GCL failure to build
Fri, 04 Dec 2020 09:54:58 -0500Re: Axiom musings...
Thu, 3 Dec 2020 02:49:10 -0500Re: Axiom musings...
Thu, 3 Dec 2020 02:06:11 -0500Proving Theorems with Computers
Mon, 30 Nov 2020 00:14:34 -0500Re: Axiom musings...
Sun, 29 Nov 2020 02:29:35 -0500Re: Axiom musings...
Fri, 27 Nov 2020 07:57:39 -0500Re: Axiom musings...
Tue, 10 Nov 2020 02:14:24 -0500Re: Axiom musings...
Fri, 9 Oct 2020 11:17:03 -0400Re: Axiom musings...
Wed, 7 Oct 2020 18:11:50 -0400Re: Axiom musings...
Sat, 3 Oct 2020 22:57:03 -0400GCL failure to build
Fri, 2 Oct 2020 20:52:18 -0400Re: Axiom musings...
Thu, 1 Oct 2020 15:32:17 -0400Re: Axiom musings...
Mon, 28 Sep 2020 09:50:59 -0400Axiom musings...
Mon, 28 Sep 2020 03:03:20 -0400Re: [EXTERNAL] Re: Axiom musings...
Fri, 25 Sep 2020 19:57:40 -0400Re: [EXTERNAL] Re: Axiom musings...
Fri, 25 Sep 2020 21:58:16 +0000Re: Axiom musings...
Thu, 24 Sep 2020 04:26:51 -0400Re: Axiom musings...
Thu, 24 Sep 2020 03:28:57 -0400Re: Axiom musings...
Thu, 24 Sep 2020 00:35:24 -0500Re: Axiom musings...
Thu, 24 Sep 2020 01:06:36 -0400Re: Axiom musings...
Wed, 23 Sep 2020 01:26:10 -0400Re: Axiom musings...
Sat, 5 Sep 2020 01:35:37 -0400Re: Axiom musings...
Sat, 5 Sep 2020 01:19:02 -0400Re: Axiom musings...
Fri, 21 Aug 2020 06:15:37 -0400Re: Axiom musings...
Sat, 8 Aug 2020 07:52:30 -0400Provisos
Fri, 7 Aug 2020 13:15:44 -0400Re: Permission to quote
Wed, 5 Aug 2020 08:54:54 -0400Deep Learning for Symbolic Mathematics
Thu, 30 Jul 2020 08:24:41 -0400Re: Axiom musings...
Thu, 30 Jul 2020 07:28:59 -0400Re: [EXTERNAL] Re: Axiom musings...
Sun, 26 Jul 2020 08:18:43 +0000Re: [EXTERNAL] Re: Axiom musings...
Sat, 25 Jul 2020 05:18:59 -0400Re: [EXTERNAL] Re: Axiom musings...
Tue, 21 Jul 2020 19:34:29 -0400Re: [EXTERNAL] Re: Axiom musings...
Tue, 21 Jul 2020 17:36:32 +0000Re: [EXTERNAL] Re: Axiom musings...
Mon, 20 Jul 2020 16:44:33 -0400Re: [EXTERNAL] Re: Axiom musings...
Mon, 20 Jul 2020 13:30:45 +0000Re: [EXTERNAL] Re: Axiom musings...
Sun, 19 Jul 2020 17:33:47 -0400Re: [EXTERNAL] Re: Axiom musings...
Sun, 19 Jul 2020 16:21:23 +0000Re: Axiom musings...
Sat, 18 Jul 2020 18:28:08 -0400Re: Foundations post
Thu, 2 Jul 2020 08:17:42 -0400Re: Axiom musings...
Thu, 2 Jul 2020 07:15:33 -0400Foundations
Sat, 20 Jun 2020 14:02:16 -0400Re: Axiom musings...
Tue, 16 Jun 2020 22:59:08 -0400Re: Axiom musings...
Tue, 24 Mar 2020 11:00:26 -0400Re: Axiom musings...
Sat, 7 Mar 2020 15:22:44 -0500Re: Axiom musings...
Fri, 7 Feb 2020 00:57:11 -0500Re: Axiom musings...
Thu, 9 Jan 2020 18:33:22 -0500Re: Axiom musings...
Thu, 9 Jan 2020 17:47:21 -0500Re: Axiom musings...
Fri, 3 Jan 2020 02:56:39 -0500Re: New Release
Sat, 21 Dec 2019 09:56:31 -0500Re: Axiom musings...
Mon, 16 Dec 2019 11:31:15 +0000Re: Axiom musings...
Sun, 15 Dec 2019 19:52:51 -0500
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.