gmane.comp.mathematics.axiom.devel

21933 articles on record, showing the most recent 50.

Re: Types capturing Definitions
Thu, 8 Jan 2026 09:43:27 -0500
Tim Daly <[email protected]> • #21949
Types capturing Definitions
Thu, 8 Jan 2026 08:48:37 -0500
Tim Daly <[email protected]> • #21948
Re: Wikipedia
Fri, 30 May 2025 10:31:11 -0400
Camm Maguire <[email protected]> • #21947
Re: Wikipedia
Fri, 30 May 2025 10:23:52 -0400
Tim Daly <[email protected]> • #21946
Re: Wikipedia
Fri, 30 May 2025 09:34:51 -0400
Camm Maguire <[email protected]> • #21945
Re: Wikipedia
Fri, 9 May 2025 08:19:28 -0400
Tim Daly <[email protected]> • #21944
Re: Wikipedia
Thu, 8 May 2025 15:14:51 -0400
Tim Daly <[email protected]> • #21943
Re: Wikipedia
Thu, 08 May 2025 09:18:49 -0400
Camm Maguire <[email protected]> • #21942
Re: Wikipedia
Wed, 7 May 2025 19:00:05 -0400
Tim Daly <[email protected]> • #21941
Re: Wikipedia
Wed, 07 May 2025 11:42:35 -0400
Camm Maguire <[email protected]> • #21940
Re: Wikipedia
Tue, 6 May 2025 16:27:47 -0400
Tim Daly <[email protected]> • #21939
Wikipedia
Tue, 06 May 2025 12:55:23 -0400
Camm Maguire <[email protected]> • #21938
Assistance with regression tests
Mon, 05 May 2025 13:37:41 -0400
Camm Maguire <[email protected]> • #21937
Re: [EXTERNAL] AXIOM
Mon, 5 May 2025 01:49:39 -0400
Sit Yu <[email protected]> • #21936
Re: AXIOM
Mon, 05 May 2025 07:03:28 -0400
Camm Maguire <[email protected]> • #21935
Re: [EXTERNAL] AXIOM
Mon, 5 May 2025 00:45:19 +0000
William Sit <[email protected]> • #21934
AXIOM
Sat, 03 May 2025 14:43:35 -0400
Camm Maguire <[email protected]> • #21933
Re: Axiom Website Restored
Sun, 13 Apr 2025 23:16:55 +0200
Kurt Pagani <[email protected]> • #21932
Axiom Website Restored
Sat, 12 Apr 2025 17:24:41 -0400
Camm Maguire <[email protected]> • #21931
gcl-2.7.1 released [stable]
Fri, 11 Apr 2025 12:14:38 -0400
Camm Maguire <[email protected]> • #21930
Re: Project website
Sat, 08 Feb 2025 09:19:42 -0500
Camm Maguire <[email protected]> • #21929
Re: Re: Project website
Fri, 07 Feb 2025 10:00:57 -0500
Camm Maguire <[email protected]> • #21928
Re: Re: Project website
Thu, 6 Feb 2025 19:19:14 -0500
Tim Daly <[email protected]> • #21927
Re: [fricas-devel] Re: Project website
Thu, 6 Feb 2025 17:50:33 +0000
Arthur Norman <[email protected]> • #21926
Re: [EXTERNAL] Re: Project website
Thu, 06 Feb 2025 15:19:11 +0200
Svjatoslav Agejenko <[email protected]> • #21925
Re: Re: Project website
Thu, 6 Feb 2025 06:42:36 -0500
Tim Daly <[email protected]> • #21924
Re: [fricas-devel] Re: Project website
Thu, 6 Feb 2025 09:58:26 +0000
Arthur Norman <[email protected]> • #21923
Re: Re: Project website
Wed, 5 Feb 2025 21:09:55 -0500
Tim Daly <[email protected]> • #21922
Re: Re: Project website
Thu, 6 Feb 2025 08:08:50 +0800
Qian Yun <[email protected]> • #21921
Re: Re: Project website
Wed, 5 Feb 2025 18:08:41 -0500
Tim Daly <[email protected]> • #21920
Re: [EXTERNAL] Re: Project website
Wed, 5 Feb 2025 17:50:28 -0500
Tim Daly <[email protected]> • #21919
Re: [EXTERNAL] Re: Project website
Wed, 5 Feb 2025 17:41:16 -0500
Tim Daly <[email protected]> • #21918
Re: [EXTERNAL] Re: Project website
Wed, 5 Feb 2025 16:26:45 -0600
Jay Belanger <[email protected]> • #21917
Re: [EXTERNAL] Re: Project website
Wed, 05 Feb 2025 23:53:11 +0200
Svjatoslav Agejenko <[email protected]> • #21916
Re: Re: Project website
Wed, 5 Feb 2025 14:28:24 -0600
Dima Pasechnik <[email protected]> • #21915
Re: [EXTERNAL] Re: Project website
Wed, 5 Feb 2025 19:52:37 +0000
William Sit <[email protected]> • #21914
Re: Project website
Wed, 5 Feb 2025 14:16:56 -0500
Tim Daly <[email protected]> • #21913
Project website
Wed, 05 Feb 2025 12:50:31 -0500
Camm Maguire <[email protected]> • #21912
Re: TODO list
Mon, 15 Apr 2024 22:54:25 -0500
Jay Belanger <[email protected]> • #21911
Re: TODO list
Tue, 16 Apr 2024 01:48:58 +0300
Svjatoslav Agejenko <[email protected]> • #21910
TODO list
Sun, 14 Apr 2024 18:02:38 -0500
Jay Belanger <[email protected]> • #21909
Can I install Axiom on Windows 7?
Mon, 25 Mar 2024 16:58:48 +0800
PaulKC Lee <[email protected]> • #21908
Conway's Law, Axiom, and Axiom SANE
Sat, 19 Aug 2023 09:44:29 -0400
Tim Daly <[email protected]> • #21907
TLA+ mini-course
Fri, 30 Jun 2023 06:29:56 -0400
Tim Daly <[email protected]> • #21906
Re: Literate Programming, Axiom, and Physically Based Rendering
Mon, 3 Apr 2023 07:38:14 -0400
Tim Daly <[email protected]> • #21905
Re: Literate Programming, Axiom, and Physically Based Rendering
Mon, 3 Apr 2023 18:32:10 +0800
"Johann 'Myrkraverk' Oskarsson" <[email protected]> • #21904
Re: Literate Programming, Axiom, and Physically Based Rendering
Sun, 2 Apr 2023 05:34:49 -0400
Tim Daly <[email protected]> • #21903
Re: Literate Programming, Axiom, and Physically Based Rendering
Sun, 2 Apr 2023 05:16:24 -0400
Tim Daly <[email protected]> • #21902
Re: Literate Programming, Axiom, and Physically Based Rendering
Sun, 2 Apr 2023 14:49:24 +0800
"Johann 'Myrkraverk' Oskarsson" <[email protected]> • #21901
Re: Literate Programming, Axiom, and Physically Based Rendering
Sun, 02 Apr 2023 08:29:58 +0300
Svjatoslav Agejenko <[email protected]> • #21900