gmane.comp.mathematics.axiom.devel archive
376 archived articles, newest first (page 3 of 4). Latest articles →
Re: Axiom musings...
Wed, 11 Dec 2019 13:36:55 -0500Re: New Release
Mon, 09 Dec 2019 11:45:39 -0500Re: Axiom musings...
Sun, 8 Dec 2019 23:55:58 -0500New Release
Sun, 8 Dec 2019 17:45:56 -0500Neural Net outperforms MMA on integration?
Thu, 5 Dec 2019 18:41:47 -0500Re: Axiom musings...
Thu, 28 Nov 2019 16:18:33 -0500Re: Axiom musings...
Thu, 28 Nov 2019 00:28:45 -0500Re: Axiom musings...
Wed, 27 Nov 2019 23:47:26 -0500Re: Axiom musings...
Tue, 26 Nov 2019 04:08:26 -0500Axiom musings...
Tue, 26 Nov 2019 03:56:26 -0500Axiom musings....
Mon, 11 Nov 2019 04:12:11 -0500Latest Axiom update pushed... Volume 15 included
Sat, 12 Oct 2019 12:38:09 -0400Re: Axiom Sane musings (SEL4)
Wed, 25 Sep 2019 12:41:32 -0400Re: Axiom Sane musings (SEL4)
Wed, 25 Sep 2019 00:44:03 +0530Re: Axiom Sane musings (SEL4)
Sun, 22 Sep 2019 14:00:37 -0400Re: Axiom Sane musings (SEL4)
Sun, 22 Sep 2019 18:24:35 +0100Re: Axiom Sane musings (SEL4)
Sat, 21 Sep 2019 20:22:18 -0400Re: Axiom Sane musings (SEL4)
Sat, 21 Sep 2019 16:38:01 +0100Re: Axiom Sane musings (SEL4)
Sat, 21 Sep 2019 15:40:41 +0300Re: Axiom Sane musings (SEL4)
Sat, 21 Sep 2019 09:49:37 +0100Re: Axiom Sane musings (SEL4)
Fri, 20 Sep 2019 23:28:44 -0400Re: Axiom Sane musings (SEL4)
Fri, 20 Sep 2019 20:31:46 +0300Re: Axiom Sane musings (SEL4)
Fri, 20 Sep 2019 12:37:27 -0400Re: Axiom Sane musings (SEL4)
Fri, 20 Sep 2019 15:40:56 +0300Axiom Sane musings (SEL4)
Fri, 20 Sep 2019 01:56:46 -0400Re: Minor insight
Fri, 23 Aug 2019 15:08:18 -0400Re: Axiom musings...
Tue, 20 Aug 2019 16:01:45 -0400Re: Axiom musings...
Mon, 19 Aug 2019 09:12:33 -0400Re: Axiom musings...
Sun, 18 Aug 2019 11:09:53 -0400Re: Axiom musings...
Sun, 18 Aug 2019 08:08:18 -0400Axiom musings...
Sun, 4 Aug 2019 14:02:38 -0400Axiom runs on the new Raspberry Pi 4
Sat, 27 Jul 2019 22:36:02 -0400Re: AI is coming for my job!
Sun, 21 Jul 2019 10:35:56 -0400AI is coming for my job!
Sun, 21 Jul 2019 08:29:03 -0400Re: Axiom's Sane redesign musings
Sat, 20 Jul 2019 22:55:21 -0400Axiom's Sane redesign musings
Sat, 20 Jul 2019 03:27:53 -0400Fwd: [software-design-book] A Philosophy of Software Design
Mon, 15 Jul 2019 23:52:52 -0400Fwd: [software-design-book] A Philosophy of Software Design
Mon, 15 Jul 2019 23:52:30 -0400Fwd: [software-design-book] A Philosophy of Software Design
Mon, 15 Jul 2019 23:52:09 -0400Fwd: [software-design-book] A Philosophy of Software Design
Mon, 15 Jul 2019 23:51:48 -0400Fwd: A Philosophy of Software Design
Mon, 15 Jul 2019 23:51:23 -0400Re: [EXTERNAL] Re: Axiom's Sane redesign musings
Fri, 12 Jul 2019 23:57:13 -0400Re: [EXTERNAL] Re: Axiom's Sane redesign musings
Fri, 12 Jul 2019 21:45:56 +0000Re: [EXTERNAL] Re: Axiom's Sane redesign musings
Fri, 12 Jul 2019 05:11:40 -0400Fwd: [EXTERNAL] Re: Axiom's Sane redesign musings
Tue, 9 Jul 2019 22:57:45 -0400Re: [EXTERNAL] Re: Axiom's Sane redesign musings
Sun, 30 Jun 2019 15:18:29 -0400Re: [EXTERNAL] Re: Axiom's Sane redesign musings
Sun, 30 Jun 2019 11:40:21 -0400Re: [EXTERNAL] Re: Axiom's Sane redesign musings
Sun, 30 Jun 2019 08:11:57 +0100Re: [EXTERNAL] Re: Axiom's Sane redesign musings
Sat, 29 Jun 2019 21:17:04 -0400Re: [EXTERNAL] Re: Axiom's Sane redesign musings
Thu, 27 Jun 2019 09:44:46 -0400Re: [EXTERNAL] Re: Axiom's Sane redesign musings
Wed, 26 Jun 2019 05:27:44 -0400Re: [EXTERNAL] Re: Axiom's Sane redesign musings
Wed, 26 Jun 2019 08:22:28 +0100Re: [EXTERNAL] Re: Axiom's Sane redesign musings
Tue, 25 Jun 2019 20:16:12 -0400Re: [EXTERNAL] Re: Axiom's Sane redesign musings
Tue, 25 Jun 2019 22:51:27 +0100Re: [EXTERNAL] Re: Axiom's Sane redesign musings
Tue, 25 Jun 2019 14:28:22 -0400Re: [EXTERNAL] Re: Axiom's Sane redesign musings
Tue, 25 Jun 2019 17:44:03 +0000Re: Axiom's Sane redesign musings
Wed, 19 Jun 2019 13:02:25 -0400Re: Axiom's Sane redesign musings
Wed, 19 Jun 2019 16:29:31 +0100Axiom's Sane redesign musings
Wed, 19 Jun 2019 07:18:31 -0400Re: The Coming Persistence Apocalypse
Tue, 11 Jun 2019 20:10:24 +0300Compiling to Categories
Tue, 11 Jun 2019 09:33:54 -0400The Coming Persistence Apocalypse
Tue, 11 Jun 2019 06:58:42 -0400Program Synthesis and Computer Algebra
Fri, 7 Jun 2019 21:23:35 -0400Re: Competing on "features" is for game programmers, not mathematicians
Wed, 5 Jun 2019 11:38:27 -0400Re: Competing on "features" is for game programmers, not mathematicians
Sat, 1 Jun 2019 15:36:47 -0400Competing on "features" is for game programmers, not mathematicians
Sat, 1 Jun 2019 07:00:03 -0400Axiom on Windows
Thu, 9 May 2019 06:48:26 -0400Fast Multiplication
Fri, 12 Apr 2019 15:59:35 -0400Wolfram posting
Wed, 3 Apr 2019 00:53:09 -0400Axiom on Windows 10 with HyperDoc
Fri, 29 Mar 2019 06:54:34 -0400Axiom on Windows 10
Fri, 29 Mar 2019 05:44:58 -0400Proving Axiom Sane [PAS]: Bagn19 paper
Mon, 25 Mar 2019 00:26:39 -0400email address
Wed, 20 Mar 2019 22:50:01 -0400Re: credit ... who are these people?
Wed, 20 Mar 2019 16:14:53 +0000Re: credit ... who are these people?
Wed, 20 Mar 2019 11:57:46 -0400Re: Aldor Design Doc
Tue, 19 Mar 2019 16:47:23 +0100Aldor Design Doc
Tue, 19 Mar 2019 11:09:01 -0400credit ... who are these people?
Tue, 19 Mar 2019 02:18:52 -0400Re: Scratchpad II Newsletters
Wed, 13 Mar 2019 16:52:30 -0400Request
Wed, 13 Mar 2019 14:49:33 -0400Re: Scratchpad II Newsletters
Tue, 12 Mar 2019 15:00:18 -0400Scratchpad II Newsletters
Tue, 19 Feb 2019 04:50:27 -0500Naming the pain in developing scientific software
Wed, 13 Feb 2019 23:48:09 -0500TeX updates
Thu, 07 Feb 2019 13:36:19 -0500Stewardship of open source
Sun, 27 Jan 2019 09:01:50 -0500Re: Compiling Axiom on Debian 9
Wed, 02 Jan 2019 10:42:20 -0500Re: Compiling Axiom on Debian 9
Wed, 02 Jan 2019 09:29:57 +0000Re: QED Manifesto and Symbolic Algebra
Sun, 23 Dec 2018 23:44:59 -0500Re: PLOS Rules for documenting scientific software
Sun, 23 Dec 2018 23:36:28 -0500Re: QED Manifesto and Symbolic Algebra
Sun, 23 Dec 2018 17:39:01 -0500Re: PLOS Rules for documenting scientific software
Sun, 23 Dec 2018 02:32:33 +0000QED Manifesto and Symbolic Algebra
Sat, 22 Dec 2018 17:17:51 -0500The QED Manifesto
Sat, 22 Dec 2018 17:14:35 -0500PLOS Rules for documenting scientific software
Sat, 22 Dec 2018 15:41:13 -0500Re: Compiling Axiom on Debian 9
Sat, 15 Dec 2018 13:36:42 -0500Compiling Axiom on Debian 9
Fri, 14 Dec 2018 06:22:29 +0000Compiling Axiom on Debian 9
Fri, 14 Dec 2018 06:20:23 +0000Re: ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS
Mon, 12 Nov 2018 07:45:16 -0500ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS
Sun, 11 Nov 2018 19:09:53 -0500Re: parametricity
Wed, 7 Nov 2018 20:18:33 -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.