User contributions for 130.243.94.123

4 March 2024

• 18:2918:29, 4 March 2024 diff hist 0‎ PNG ‎ →‎History and development: The realization came in 1994, not the patenting.

27 February 2024

• 12:1612:16, 27 February 2024 diff hist +12‎ M-matrix ‎ Top: "Real part" is more about complex numbers than reals, so changed link. current

15 February 2024

• 17:1717:17, 15 February 2024 diff hist +1,603‎ Transcendental number ‎ →‎Lemma 1: Rewritten to clarify the proof
• 15:0915:09, 15 February 2024 diff hist −20‎ Transcendental number ‎ →‎Sketch of a proof that {{mvar|e}} is transcendental: Turned lemmas into proper subheadings
• 15:0015:00, 15 February 2024 diff hist +34‎ Transcendental number ‎ →‎Sketch of a proof that {{mvar|e}} is transcendental: Made it a subsection

14 February 2024

• 13:2313:23, 14 February 2024 diff hist +400‎ Transcendental number ‎ →‎Sketch of a proof that {{mvar|e}} is transcendental: Give indication of what we gain by multiplying by that integral. Adjusted spacing in formulae.

12 February 2024

• 18:1118:11, 12 February 2024 diff hist +385‎ Liouville number ‎ →‎Liouville numbers and transcendence: Got rid of pointless contradiction. Made use of math tag with display="block" attribute.
• 17:2317:23, 12 February 2024 diff hist +367‎ Talk:Liouville number ‎ →‎Elementary proof of the transcendence of Liouville's constant

25 January 2024

• 17:3317:33, 25 January 2024 diff hist +622‎ Talk:Computably enumerable set ‎ →‎Origin of enumerable = partial?: Found answer
• 16:4516:45, 25 January 2024 diff hist +803‎ Talk:Computably enumerable set ‎ →‎Origin of enumerable = partial?: new section Tag: New topic
• 12:4012:40, 25 January 2024 diff hist +1,173‎ Range concatenation grammar ‎ →‎Properties: New section
• 12:1212:12, 25 January 2024 diff hist +6‎ Range concatenation grammar ‎ →‎Formal definition: Boldfaced 'concatenated': it's a key concept in the definition.

24 January 2024

• 13:4313:43, 24 January 2024 diff hist +322‎ Range concatenation grammar ‎ →‎Example: Made the grammar an aligned environment. Commenting about multiple matches for first step.
• 13:2613:26, 24 January 2024 diff hist +412‎ Range concatenation grammar ‎ →‎Recognition of strings: Begin by stressing the role of predicates as constraints to be met.
• 13:0913:09, 24 January 2024 diff hist +204‎ Range concatenation grammar ‎ →‎Formal definition: Added some important details about ranges.

15 January 2024

• 17:2517:25, 15 January 2024 diff hist 0‎ Parsing expression grammar ‎ →‎Practical significance: Typo
• 17:1517:15, 15 January 2024 diff hist +2,326‎ Parsing expression grammar ‎ →‎Theory of parsing expression grammars: Undecidability of language emptiness.
• 16:2116:21, 15 January 2024 diff hist +197‎ Parsing expression grammar ‎ →‎Theory of parsing expression grammars: New section
• 13:1513:15, 15 January 2024 diff hist +68‎ Formal grammar ‎ Opening claim is dubious
• 13:1413:14, 15 January 2024 diff hist +1,221‎ Talk:Formal grammar ‎ →‎Not all formal grammars are generative: new section Tag: New topic

4 December 2023

• 13:1513:15, 4 December 2023 diff hist +532‎ Talk:Fredholm alternative ‎ →‎clean up

16 November 2023

• 16:5316:53, 16 November 2023 diff hist +612‎ Parkinson's law ‎ →‎Formula: Warn reader about equation being nonsense. Tag: Reverted

24 October 2023

• 17:2817:28, 24 October 2023 diff hist +754‎ NTRUEncrypt ‎ Rewrote last paragraph of intro to say something about how plaintext and ciphertext compare to each other. Commented upon the cyclic nature of multiplication in these polynomial rings.

23 October 2023

• 15:4515:45, 23 October 2023 diff hist −1‎ Variety (universal algebra) ‎ →‎Definition: It's plane rooted tree, not planar (even though that incorrect terminology is widely used). All trees are planar, so "planar tree" adds nothing. What is being relied upon here is the cyclic order of incident edges that one gets from having picked a particular embedding of the tree into the plane; this means we work with a plane rooted tree.

9 October 2023

• 12:1712:17, 9 October 2023 diff hist +272‎ SHA-3 ‎ →‎Design: Comment upon terminology "permutation" for f.

26 September 2023

• 13:1313:13, 26 September 2023 diff hist +45‎ Guillemet ‎ →‎As quotation marks: Swedish: Changed wording, corrected guillemet direction on last line.

14 September 2023

• 12:2612:26, 14 September 2023 diff hist +1‎ Möbius ladder ‎ Infobox: Girth never exceeds 4, because there is always a 4-cycle across two adjacent rungs on the ladder.

21 August 2023

• 12:3912:39, 21 August 2023 diff hist +616‎ Talk:Eigenvalues and eigenvectors ‎ →‎Notation for determinant: new section Tag: New topic

15 June 2023

• 12:2312:23, 15 June 2023 diff hist +1,310‎ Talk:ElGamal encryption ‎ →‎Is q a prime number?: Staying coprime may be appropriate, but holds surprises
• 11:4011:40, 15 June 2023 diff hist +287‎ ElGamal encryption ‎ →‎Key generation: Remark upon not needing to switch group for every new key
• 11:2511:25, 15 June 2023 diff hist +289‎ ElGamal encryption ‎ →‎The algorithm: Relate algorithm phases to Diffie–Hellman

11 May 2023

• 12:2712:27, 11 May 2023 diff hist +510‎ Ext functor ‎ →‎Construction of Ext in abelian categories: Added commutative diagram showing the squares
• 11:5911:59, 11 May 2023 diff hist +1,855‎ Talk:Ext functor ‎ →‎Promote the Yoneda definition: new section Tag: New topic

20 April 2023

• 14:1314:13, 20 April 2023 diff hist +109‎ Graph product ‎ →‎Mnemonic: Separate paragraphs for separate subtopics. Elaborated mnemonic for lexicographic product.

13 April 2023

• 14:5614:56, 13 April 2023 diff hist +1,189‎ Talk:Graph database ‎ →‎More list columns: new section Tag: New topic
• 14:0414:04, 13 April 2023 diff hist +190‎ Talk:Graph database ‎ →‎Properties section
• 14:0214:02, 13 April 2023 diff hist 0‎ Graph database ‎ →‎List of graph databases: Moved TypeDB to have list by default in alphabetical order
• 13:5413:54, 13 April 2023 diff hist +7‎ Graph database ‎ →‎Graph types: Renamed "Applications" and promoted to section, since it did not fit with its sibling subsections.

31 March 2023

• 14:1614:16, 31 March 2023 diff hist +280‎ Talk:Free lattice ‎ →‎Mistake in the article: Fixed now!
• 14:0714:07, 31 March 2023 diff hist +2,930‎ Free lattice ‎ →‎Formal definition: Examples of applying the universal property Tag: Reverted

29 March 2023

• 16:3916:39, 29 March 2023 diff hist −12‎ NebulaGraph ‎ Infobox: restricted link to open-source from all of "open-source distributed graph database", which seems like a weirdly specific genre

22 March 2023

• 15:4315:43, 22 March 2023 diff hist +29‎ Triplestore ‎ →‎Implementations: Dead link
• 14:0514:05, 22 March 2023 diff hist +1,499‎ Free lattice ‎ →‎Formal definition: Added commutative diagram, rewrote semilattice subsection to remove old incorrect claims.

21 March 2023

• 17:1317:13, 21 March 2023 diff hist 0‎ Free lattice ‎ →‎Formal definition: Typo
• 17:1217:12, 21 March 2023 diff hist +1,195‎ Free lattice ‎ →‎Formal definition: Actually make this definition about the free lattice, rather than about the free semilattice. Tag: Disambiguation links added
• 16:4216:42, 21 March 2023 diff hist +4,177‎ Free lattice ‎ Undid revision 1067953613 by Mathnerd314159 (talk) Removing that section gave the article a poor slant towards questionable content. A further article rewrite would be good, but restoring this helps significantly.

20 March 2023

• 17:0317:03, 20 March 2023 diff hist +24‎ Free lattice ‎ →‎Formal definition: If the free semilattice construction extends to lattices (other than as a recursive definition of evaluation) then it is nontrivial and needs a source!
• 16:2616:26, 20 March 2023 diff hist +20‎ Lattice (order) ‎ →‎Modularity: Put the submodule example first, as it motivates the name.

9 March 2023

• 15:4615:46, 9 March 2023 diff hist +829‎ Talk:Journal Article Tag Suite ‎ →‎Example xmlns weirdness: new section Tag: New topic

20 February 2023

• 15:5615:56, 20 February 2023 diff hist −2‎ Charles Stross bibliography ‎ →‎The Laundry Files: Markup fixes