Axiom (computer algebra system): Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 04:0704:07, 9 May 2025 WikiCleanerBot talk contribs m 21,475 bytes 0 v2.05b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

curprev 14:5114:51, 29 July 2024 Daly talk contribs 21,643 bytes +5,084 Undid revision 1213286639 by HyperAccelerated (talk) undo Tag: Undo

curprev 03:1303:13, 12 March 2024 HyperAccelerated talk contribs 16,559 bytes −5,084 Remove three sections of documentation, because Wikipedia is not a site for hosting documentation undo Tag: Reverted

curprev 17:5517:55, 13 January 2024 Rehsarb talk contribs 21,643 bytes +1,049 Restored revision 1184811820 by ElliAWB (talk): Rv removal of cited material by for non-WP:NOPV reasons undo Tags: Twinkle Undo
curprev 17:5417:54, 13 January 2024 Jartine talk contribs 20,594 bytes −1,619 It sullies the names of these IBM researchers to be publicly associated with the hobby project of Tim Daly who is a controversial and polarizing figure. undo Tag: Reverted
curprev 15:5215:52, 13 January 2024 Jartine talk contribs 22,213 bytes +589 Tim Daly won't edit or maintain the Axiom codebase until he can publish completed research proving its mathematics down to the hardware level with RISC-V. undo Tag: Reverted
curprev 15:2515:25, 13 January 2024 Jartine talk contribs 21,624 bytes −19 Make it clear that Tim Daly works alone on Axiom. undo Tag: Reverted

curprev 19:5319:53, 12 November 2023 ElliAWB talk contribs m 21,643 bytes +15 Disambiguating links to Coq (link changed to Coq (software)) using DisamAssist. undo

curprev 19:0019:00, 23 August 2023 Citation bot talk contribs 21,628 bytes −57 Alter: template type. Removed proxy/dead URL that duplicated identifier. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox3 | #UCB_webform_linked 149/1947 undo

curprev 20:3220:32, 15 August 2023 Rc4 talk contribs m 21,685 bytes +16 Wikification undo

curprev 18:3518:35, 13 August 2023 OAbot talk contribs m 21,669 bytes +16 Open access bot: doi added to citation with #oabot. undo

curprev 23:3423:34, 3 August 2023 Citation bot talk contribs 21,653 bytes +4 Alter: template type. | Use this bot. Report bugs. | Suggested by Headbomb | #UCB_toolbar undo

curprev 22:3222:32, 24 July 2023 Citation bot talk contribs 21,649 bytes +4 Misc citation tidying. | Use this bot. Report bugs. | #UCB_CommandLine undo

curprev 14:5514:55, 28 April 2023 WikiCleanerBot talk contribs m 21,645 bytes −3 v2.05b - Bot T5 CW#16 - Fix errors for CW project (Unicode control characters) undo Tag: WPCleaner

curprev 23:2423:24, 14 February 2023 WikiCleanerBot talk contribs m 21,648 bytes 0 v2.05b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

curprev 12:1112:11, 10 February 2023 Sonicrs talk contribs 21,648 bytes +780 Clarified that Axiom does not fully implement the Risch algorithm, at least according to Manuel Bronstein (one of the algorithm's authors) in 2003, and testing done in 2020. Sorry if the sources are sub-par undo Tag: Visual edit

curprev 01:4901:49, 30 January 2023 OAbot talk contribs m 20,868 bytes +38 Open access bot: doi added to citation with #oabot. undo

curprev 22:3722:37, 29 January 2023 Citation bot talk contribs 20,830 bytes −23 Removed parameters. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | Linked from User:AManWithNoPlan/sandbox4 | #UCB_webform_linked 17/130 undo

curprev 16:1216:12, 12 November 2022 1234qwer1234qwer4 talk contribs 20,853 bytes +46 Importing Wikidata short description: Computer algebra system (shortdescs-in-category) undo

curprev 04:5704:57, 26 July 2022 Citation bot talk contribs 20,807 bytes +68 Add: s2cid. | Use this bot. Report bugs. | Suggested by Abductive | #UCB_webform 2919/3850 undo

curprev 22:2722:27, 11 June 2022 Z398731265 talk contribs m 20,739 bytes +4 No edit summary undo Tag: Visual edit

curprev 10:0610:06, 20 May 2022 2403:5803:f35:0:4110:4852:38f0:5b11 talk 20,735 bytes +30 Fixed "Lisp" linking to the speech impairment and not the programming language. undo Tag: Visual edit

curprev 00:2700:27, 25 March 2022 Mathnerd314159 talk contribs 20,705 bytes +344 Docker is really old, use SF repo as preview release (ahead of other repos by 1 commit) undo

curprev 21:0621:06, 22 March 2022 Eric Wieser talk contribs 20,361 bytes 0 Correct programming language (at a guess) undo

curprev 20:3220:32, 15 March 2022 David Eppstein talk contribs 20,361 bytes +4 →History: Patrizia Gianni undo

curprev 16:1116:11, 17 December 2021 Lotje talk contribs m 20,357 bytes +559 Filled in 8 bare reference(s) with reFill 2 undo
curprev 16:0416:04, 17 December 2021 Lotje talk contribs 19,798 bytes −27 <ref></ref> undo
curprev 05:4205:42, 17 December 2021 Daly talk contribs m 19,825 bytes −221 I wrote it in HTML. I don't know Postscript. undo

curprev 04:3404:34, 16 October 2021 Citation bot talk contribs 20,046 bytes +196 Alter: template type. Add: s2cid, isbn, publisher, volume, year, series, title, doi. Changed bare reference to CS1/2. | Use this bot. Report bugs. | Suggested by BrownHairedGirl | Linked from User:BrownHairedGirl/Articles_with_bare_links | #UCB_webform_linked 572/2198 undo

curprev 17:4617:46, 20 August 2021 BrownHairedGirl talk contribs 19,850 bytes −70 →Further reading: fix citations which used unsupported CS1 parameter "book-title" undo

curprev 20:5220:52, 29 July 2021 Citation bot talk contribs 19,920 bytes +51 Add: s2cid. | Use this bot. Report bugs. | Suggested by RoanokeVirginia | Category:CS1 errors: unsupported parameter | #UCB_Category 407/947 undo

curprev 11:3811:38, 6 July 2021 OAbot talk contribs m 19,869 bytes +38 Open access bot: doi added to citation with #oabot. undo

curprev 09:1909:19, 17 June 2021 109.115.245.113 talk 19,831 bytes +40 No edit summary undo

curprev 21:0021:00, 21 May 2021 Tom.Reding talk contribs m 19,791 bytes +22 +{{Authority control}} (1 ID from Wikidata), WP:GenFixes on undo Tag: AWB

curprev 09:2009:20, 26 March 2021 81.104.36.244 talk 19,769 bytes −29 →Philosophy: Remove link to unrelated website undo

curprev 16:0716:07, 1 March 2021 Liyang talk contribs m 19,798 bytes −16 →History: Update FriCAS homepage & history to fricas.github.io undo

curprev 07:0707:07, 26 February 2021 Pi bot talk contribs m 19,814 bytes +28 Changing locally defined but nonexistent Commons category (Category:Axiom) to the one from Wikidata (Category:Axiom (computer algebra software)) undo

curprev 12:5412:54, 13 January 2021 Monkbot talk contribs m 19,786 bytes +14 Task 18 (cosmetic): eval 29 templates: hyphenate params (14×); undo Tag: AWB

curprev 08:2708:27, 3 January 2021 Daly talk contribs m 19,772 bytes +269 →History undo

curprev 14:3014:30, 24 September 2020 90.222.154.148 talk 19,503 bytes −38 Mostly? Is it, or isn't it correct? undo

9 May 2025

6 May 2025

29 July 2024

12 March 2024

13 January 2024

12 November 2023

23 August 2023

15 August 2023

13 August 2023

3 August 2023

24 July 2023

28 April 2023

14 February 2023

10 February 2023

30 January 2023

29 January 2023

12 November 2022

26 July 2022

11 June 2022

20 May 2022

25 March 2022

22 March 2022

15 March 2022

17 December 2021

16 October 2021

20 August 2021

29 July 2021

6 July 2021

17 June 2021

21 May 2021

26 March 2021

1 March 2021

26 February 2021

13 January 2021

3 January 2021

24 September 2020