gmane.comp.mathematics.axiom.devel archive
375 archived articles, newest first (page 1 of 4). Latest articles →
Re: Types capturing Definitions
Thu, 8 Jan 2026 09:43:27 -0500Types capturing Definitions
Thu, 8 Jan 2026 08:48:37 -0500Re: Wikipedia
Fri, 30 May 2025 10:31:11 -0400Re: Wikipedia
Fri, 30 May 2025 10:23:52 -0400Re: Wikipedia
Fri, 30 May 2025 09:34:51 -0400Re: Wikipedia
Fri, 9 May 2025 08:19:28 -0400Re: Wikipedia
Thu, 8 May 2025 15:14:51 -0400Re: Wikipedia
Thu, 08 May 2025 09:18:49 -0400Re: Wikipedia
Wed, 7 May 2025 19:00:05 -0400Re: Wikipedia
Wed, 07 May 2025 11:42:35 -0400Re: Wikipedia
Tue, 6 May 2025 16:27:47 -0400Wikipedia
Tue, 06 May 2025 12:55:23 -0400Assistance with regression tests
Mon, 05 May 2025 13:37:41 -0400Re: [EXTERNAL] AXIOM
Mon, 5 May 2025 01:49:39 -0400Re: AXIOM
Mon, 05 May 2025 07:03:28 -0400Re: [EXTERNAL] AXIOM
Mon, 5 May 2025 00:45:19 +0000AXIOM
Sat, 03 May 2025 14:43:35 -0400Re: Axiom Website Restored
Sun, 13 Apr 2025 23:16:55 +0200Axiom Website Restored
Sat, 12 Apr 2025 17:24:41 -0400gcl-2.7.1 released [stable]
Fri, 11 Apr 2025 12:14:38 -0400Re: Project website
Sat, 08 Feb 2025 09:19:42 -0500Re: Re: Project website
Fri, 07 Feb 2025 10:00:57 -0500Re: Re: Project website
Thu, 6 Feb 2025 19:19:14 -0500Re: [fricas-devel] Re: Project website
Thu, 6 Feb 2025 17:50:33 +0000Re: [EXTERNAL] Re: Project website
Thu, 06 Feb 2025 15:19:11 +0200Re: Re: Project website
Thu, 6 Feb 2025 06:42:36 -0500Re: [fricas-devel] Re: Project website
Thu, 6 Feb 2025 09:58:26 +0000Re: Re: Project website
Wed, 5 Feb 2025 21:09:55 -0500Re: Re: Project website
Thu, 6 Feb 2025 08:08:50 +0800Re: Re: Project website
Wed, 5 Feb 2025 18:08:41 -0500Re: [EXTERNAL] Re: Project website
Wed, 5 Feb 2025 17:50:28 -0500Re: [EXTERNAL] Re: Project website
Wed, 5 Feb 2025 17:41:16 -0500Re: [EXTERNAL] Re: Project website
Wed, 5 Feb 2025 16:26:45 -0600Re: [EXTERNAL] Re: Project website
Wed, 05 Feb 2025 23:53:11 +0200Re: Re: Project website
Wed, 5 Feb 2025 14:28:24 -0600Re: [EXTERNAL] Re: Project website
Wed, 5 Feb 2025 19:52:37 +0000Re: Project website
Wed, 5 Feb 2025 14:16:56 -0500Project website
Wed, 05 Feb 2025 12:50:31 -0500Re: TODO list
Mon, 15 Apr 2024 22:54:25 -0500Re: TODO list
Tue, 16 Apr 2024 01:48:58 +0300TODO list
Sun, 14 Apr 2024 18:02:38 -0500Can I install Axiom on Windows 7?
Mon, 25 Mar 2024 16:58:48 +0800Conway's Law, Axiom, and Axiom SANE
Sat, 19 Aug 2023 09:44:29 -0400TLA+ mini-course
Fri, 30 Jun 2023 06:29:56 -0400Re: Literate Programming, Axiom, and Physically Based Rendering
Mon, 3 Apr 2023 07:38:14 -0400Re: Literate Programming, Axiom, and Physically Based Rendering
Mon, 3 Apr 2023 18:32:10 +0800Re: Literate Programming, Axiom, and Physically Based Rendering
Sun, 2 Apr 2023 05:34:49 -0400Re: Literate Programming, Axiom, and Physically Based Rendering
Sun, 2 Apr 2023 05:16:24 -0400Re: Literate Programming, Axiom, and Physically Based Rendering
Sun, 2 Apr 2023 14:49:24 +0800Re: Literate Programming, Axiom, and Physically Based Rendering
Sun, 02 Apr 2023 08:29:58 +0300Literate Programming, Axiom, and Physically Based Rendering
Fri, 31 Mar 2023 22:21:55 -0400Re: Axiom git
Tue, 07 Mar 2023 11:01:46 +0200Re: Axiom git
Mon, 6 Mar 2023 19:10:30 -0500Re: Axiom git
Tue, 07 Mar 2023 01:08:42 +0200Riding the research waves
Sun, 26 Feb 2023 08:50:44 -0500Re: Axiom git
Wed, 15 Feb 2023 01:15:42 -0500Re: Axiom git
Wed, 15 Feb 2023 07:34:48 +0200Re: Axiom git
Tue, 14 Feb 2023 20:09:40 -0500Re: Axiom git
Tue, 14 Feb 2023 14:47:25 -0500Re: Axiom git
Mon, 13 Feb 2023 14:42:12 -0500Axiom git
Mon, 13 Feb 2023 09:38:03 -0500Re: needing an fpga...
Mon, 13 Feb 2023 09:30:06 -0500Scratchpad in BYTE magazine
Sat, 21 Jan 2023 13:07:27 -0500Re: Literate Executables
Sun, 4 Dec 2022 03:14:43 -0500Re: Literate Executables
Sat, 3 Dec 2022 08:20:25 -0500Re: Literate Executables
Sat, 3 Dec 2022 01:01:38 -0500 (EST)Re: Literate Executables
Fri, 2 Dec 2022 11:49:08 -0500Re: Solve system of equations over finite field?
Fri, 2 Dec 2022 15:13:36 +0100Solve system of equations over finite field?
Fri, 2 Dec 2022 16:28:06 +0300Re: Literate Executables
Thu, 1 Dec 2022 22:00:01 -0500 (EST)Literate Executables
Wed, 30 Nov 2022 20:55:40 -0500Re: Literate programming
Wed, 20 Jul 2022 02:06:52 +0300Re: Literate programming
Wed, 20 Jul 2022 01:10:03 +0300Re: Literate programming
Tue, 19 Jul 2022 18:06:15 -0400Re: Literate programming
Tue, 19 Jul 2022 23:36:05 +0300Re: Literate programming
Tue, 19 Jul 2022 12:38:46 -0400Re: Literate programming
Tue, 19 Jul 2022 12:19:56 -0400Re: Literate programming
Tue, 19 Jul 2022 08:32:59 -0400Re: Literate programming
Tue, 19 Jul 2022 06:15:37 +0300Literate programming
Mon, 18 Jul 2022 11:56:00 -0400Axiom musings ... The Lean Mathematical Library
Sat, 2 Jul 2022 05:18:58 -0400Axiom musings ... proof specificity
Tue, 7 Jun 2022 00:11:56 -0400Re: Axiom musings ... runtime computation of first-class dependent types
Mon, 30 May 2022 11:19:47 +0100Re: Axiom musings ... runtime computation of first-class dependent types
Sun, 29 May 2022 16:31:36 -0400Re: Axiom musings ... runtime computation of first-class dependent types
Sun, 29 May 2022 17:44:24 +0100Axiom musings ... runtime computation of first-class dependent types
Sun, 29 May 2022 03:50:42 -0400Axiom musings ... SANE and long term viability
Wed, 25 May 2022 05:49:43 -0400Re: Axiom musings ... Hamming and SANE
Thu, 5 May 2022 13:03:05 -0400Axiom musings ... Hamming and SANE
Wed, 27 Apr 2022 09:22:45 -0400Re: Axiom musings...
Sun, 27 Mar 2022 03:10:14 -0400Re: Axiom musings...
Wed, 23 Mar 2022 01:53:03 -0400Re: Axiom musings...
Sun, 13 Mar 2022 04:01:19 -0400Re: Axiom musings...
Fri, 11 Mar 2022 09:46:48 -0500Re: Axiom musings...
Fri, 25 Feb 2022 18:05:46 -0500Re: Axiom musings...
Thu, 24 Feb 2022 10:24:07 -0500Locked out of github
Sun, 6 Feb 2022 02:14:11 -0500Re: Axiom musings...
Sat, 22 Jan 2022 21:16:18 -0500Re: A NN Solves and Generates Math Problems
Mon, 10 Jan 2022 07:28:24 -0500Re: A NN Solves and Generates Math Problems
Sun, 9 Jan 2022 16:56:37 -0500Re: A NN Solves and Generates Math Problems
Sun, 9 Jan 2022 13:22:31 -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.