User contributions for 130.243.94.123
Appearance
For 130.243.94.123 talk block log logs filter log
5 July 2024
- 13:1813:18, 5 July 2024 diff hist 0 Mälardalen University No edit summary current
14 June 2024
- 14:3314:33, 14 June 2024 diff hist +172 Quiver (mathematics) →Path algebra: Remark on different meanings of ‘path’ in quiver vs. graph theory. current
- 14:2414:24, 14 June 2024 diff hist +322 Quiver (mathematics) →Category-theoretic definition: Expanded some category-theoretic statements in elementary terms.
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!