Computer-assisted proof: Revision history

16 October 2024

• curprev 16:2016:20, 16 October 2024 WillisBlackburn talk contribs 18,521 bytes +15 Update reference with DOI undo Tag: Visual edit
• curprev 16:1516:15, 16 October 2024 WillisBlackburn talk contribs 18,506 bytes −29 Link to the common fixed point problem page; move to the top since the list is chronological undo Tag: Visual edit

4 September 2024

• curprev 21:5321:53, 4 September 2024 Barabum talk contribs 18,535 bytes −18 Cleaned up headings undo Tag: Visual edit

31 August 2024

• curprev 22:1722:17, 31 August 2024 Jochen Burghardt talk contribs 18,553 bytes 0 →Theorems proved with the help of computer programs: fix layout undo
• curprev 21:5721:57, 31 August 2024 WillisBlackburn talk contribs 18,553 bytes +411 →Theorems proved with the help of computer programs undo

17 May 2024

• curprev 05:3105:31, 17 May 2024 Neils51 talk contribs m 18,142 bytes +6 replaced: it's → its undo Tag: AWB

25 January 2024

• curprev 17:4217:42, 25 January 2024 Citation bot talk contribs 18,136 bytes −2 Altered title. | Use this bot. Report bugs. | Suggested by Abductive | Category:Automated theorem proving | #UCB_Category 24/39 undo

11 December 2023

• curprev 02:1202:12, 11 December 2023 Dabed talk contribs 18,138 bytes +55 →Applications: "See also" template: +Proof assistant#Notable formalized proofs undo Tag: Visual edit

7 December 2023

• curprev 21:5721:57, 7 December 2023 Siddharthist talk contribs 18,083 bytes +456 →Theorems proved with the help of computer programs: Add citation for four-color theorem undo Tag: 2017 wikitext editor

19 October 2023

• curprev 08:2808:28, 19 October 2023 MustachioedPistachio talk contribs 17,627 bytes −955 Deleted "theorems for sale" sections which is of no interest to anybody beyond being what appears to be an unsuccessful PR gimmick by attention-seeking academics undo
• curprev 08:2208:22, 19 October 2023 MustachioedPistachio talk contribs m 18,582 bytes +136 →Theorems proved with the help of computer programs: added reference for Rubik's cube proof undo

7 September 2023

• curprev 06:3406:34, 7 September 2023 Citation bot talk contribs 18,446 bytes −1 Alter: title, template type. Add: chapter. Removed parameters. | Use this bot. Report bugs. | Suggested by Corvus florensis | #UCB_webform 2351/2500 undo

25 July 2023

• curprev 00:0600:06, 25 July 2023 Citation bot talk contribs 18,447 bytes +1 Misc citation tidying. | Use this bot. Report bugs. | #UCB_CommandLine undo

29 May 2023

• curprev 19:3019:30, 29 May 2023 Citation bot talk contribs 18,446 bytes −41 Alter: template type. Add: eprint, class, authors 1-1. Removed proxy/dead URL that duplicated identifier. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox | #UCB_webform_linked 7/41 undo

20 April 2023

• curprev 15:2815:28, 20 April 2023 Dabed talk contribs 18,487 bytes +759 →Applications: +"The packing chromatic number of the infinite square grid is 15, by Subercaseaux and Heule in 2023 (See also: Hadwiger–Nelson problem for the chromatic number of the plane)" + 2 ref undo Tag: Visual edit

10 February 2023

• curprev 06:2706:27, 10 February 2023 Citation bot talk contribs 17,728 bytes +17 Add: hdl. | Use this bot. Report bugs. | Suggested by Corvus florensis | #UCB_webform 1976/2999 undo

24 December 2022

• curprev 16:0616:06, 24 December 2022 Conan talk contribs m 17,711 bytes −37 Bot: Removing category Category:Artificial intelligence which is already in Category:Argument technology undo

28 September 2022

• curprev 17:3417:34, 28 September 2022 InternetArchiveBot talk contribs 17,748 bytes +166 Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.9.2) (Tslawrk - 10679 undo
• curprev 12:2312:23, 28 September 2022 Citation bot talk contribs 17,582 bytes +55 Add: s2cid, authors 1-1. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by BrownHairedGirl | #UCB_webform 398/1914 undo

19 September 2022

• curprev 06:2906:29, 19 September 2022 WikiCleanerBot talk contribs m 17,527 bytes 0 v2.05b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

15 September 2022

• curprev 20:4420:44, 15 September 2022 Leibniz1646 talk contribs m 17,527 bytes −8 →Theorems proved with the help of computer programs undo
• curprev 20:4020:40, 15 September 2022 Leibniz1646 talk contribs m 17,535 bytes +16 →Theorems proved with the help of computer programs undo

13 September 2022

• curprev 16:1716:17, 13 September 2022 Jochen Burghardt talk contribs 17,519 bytes 0 →Theorems proved with the help of computer programs: prefer (new) more specific redirect link undo
• curprev 06:1006:10, 13 September 2022 Leibniz1646 talk contribs m 17,519 bytes +145 →Theorems proved with the help of computer programs undo

12 September 2022

• curprev 06:4106:41, 12 September 2022 Leibniz1646 talk contribs m 17,374 bytes +2,450 Added Kouril and Ahmed's contributions in proving exact values of van der Waerden numbers using SAT-solvers undo

10 September 2022

• curprev 10:2910:29, 10 September 2022 RDBrown talk contribs 14,924 bytes +916 →cite journal, new, remove likely dup, tweak cites | Alter: journal, doi, url. URLs might have been anonymized. Add: archive-date, archive-url, s2cid, bibcode. | Use this tool. Report bugs. | #UCB_Gadget undo

9 September 2022

• curprev 12:2112:21, 9 September 2022 RDBrown talk contribs 14,008 bytes +327 →Further reading: →cite thesis, book undo

3 September 2022

• curprev 18:4018:40, 3 September 2022 Mgkrupa talk contribs 13,681 bytes +23 Added {{Mathematical logic}} undo

30 August 2022

• curprev 19:5819:58, 30 August 2022 Blaze Wolf talk contribs m 13,658 bytes −103 Reverted edits by 2620:101:C040:860:B0EF:739A:AC5F:598 (talk) to last revision by Blaze Wolf: using Wikipedia for advertising/promotion undo Tags: Rollback SWViewer [1.4]
• curprev 19:5819:58, 30 August 2022 2620:101:c040:860:b0ef:739a:ac5f:598 talk 13,761 bytes +103 →Applications undo Tag: Reverted
• curprev 19:5319:53, 30 August 2022 Blaze Wolf talk contribs m 13,658 bytes −105 Reverted edits by 2620:101:C040:860:B0EF:739A:AC5F:598 (talk) to last revision by Jarble: using Wikipedia for advertising/promotion undo Tags: Rollback SWViewer [1.4]
• curprev 19:5319:53, 30 August 2022 2620:101:c040:860:b0ef:739a:ac5f:598 talk 13,763 bytes +26 →Theorems proved with the help of computer programs undo Tag: Reverted
• curprev 19:5119:51, 30 August 2022 2620:101:c040:860:b0ef:739a:ac5f:598 talk 13,737 bytes +79 →Theorems proved with the help of computer programs undo Tag: Reverted

13 July 2022

• curprev 23:0123:01, 13 July 2022 Jarble talk contribs 13,658 bytes +35 linking undo

1 June 2022

• curprev 15:4415:44, 1 June 2022 GreenC bot talk contribs 13,623 bytes +43 Rescued 1 archive link. Wayback Medic 2.5 undo

9 May 2022

• curprev 06:1806:18, 9 May 2022 Tea2min talk contribs 13,580 bytes −21 →See also: Proof checking redirects to Proof assistent, already linked from the lead section. undo
• curprev 06:1306:13, 9 May 2022 Tea2min talk contribs 13,601 bytes −24 Machine reasoning redirects to Automated reasoning. undo
• curprev 05:5605:56, 9 May 2022 Tea2min talk contribs m 13,625 bytes 0 →See also: Skip redirect from Logic theorist to Logic Theorist. undo

8 May 2022

• curprev 15:0715:07, 8 May 2022 221.124.104.188 talk 13,625 bytes +21 →See also undo Tags: Mobile edit Mobile web edit

18 March 2022

• curprev 05:5805:58, 18 March 2022 Citation bot talk contribs 13,604 bytes +14 Add: class, eprint. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Abductive | #UCB_webform 86/299 undo

9 March 2022

• curprev 06:1406:14, 9 March 2022 Hellacioussatyr talk contribs 13,590 bytes +8 →Methods undo Tags: Mobile edit Mobile web edit Advanced mobile edit

26 January 2022

• curprev 20:3620:36, 26 January 2022 Citation bot talk contribs 13,582 bytes −53 Alter: template type, title. Add: volume, authors 1-1. Removed proxy/dead URL that duplicated identifier. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_webform 287/1972 undo

25 January 2022

• curprev 13:0913:09, 25 January 2022 Jack Beda talk contribs m 13,635 bytes +52 →Theorems for sale undo Tag: Visual edit

8 December 2021

• curprev 21:1321:13, 8 December 2021 Shakatok talk contribs m 13,583 bytes +106 →External links: moved link to weeb.archive.org undo

9 October 2021

• curprev 17:0017:00, 9 October 2021 Jochen Burghardt talk contribs 13,477 bytes +10 Undid revision 1049061369 by 42.108.32.127 (talk) undo Tag: Undo
• curprev 16:3616:36, 9 October 2021 42.108.32.127 talk 13,467 bytes −10 No edit summary undo Tag: Reverted

8 October 2021

• curprev 18:1518:15, 8 October 2021 Keith D talk contribs m 13,477 bytes −3 Fix PMC warnings undo
• curprev 17:4017:40, 8 October 2021 Dabed talk contribs 13,480 bytes +1,112 →Applications: Added the Keller's conjecture in dimension 7 the only remaining case in 2020 with a 200 gigabyte proof undo Tag: Visual edit

7 October 2021

• curprev 19:3719:37, 7 October 2021 NoonIcarus talk contribs 12,368 bytes +4 →Theorems proved with the help of computer programs: Link undo Tag: Visual edit

6 October 2021

• curprev 21:2221:22, 6 October 2021 Arjayay talk contribs m 12,364 bytes −4 Duplicate word removed undo