User:Siddharthist
|
Welcome! I'm an editor interested in computer science, especially program analysis. You can find some statistics about my editing on XTools.
Significant contributions
[edit]These are pages and sections I've written at least half of.
Pages
[edit]- Category theory:
- Computer science:
- Category:Streaming algorithms
- Misra-Gries summary
- Polynomial functor (type theory)
- E-graph
- Hyperproperty
- Soufflé (programming language)
- Path explosion
- Polyvariance
- Disjunctive Datalog
- LogicBlox
- Worst-case optimal join algorithm
- Syntax and semantics of logic programming
- Comparison of data structures
- Cooperating Validity Checker
- Constrained Horn clauses
- Topology:
- Representation theory:
Sections
[edit]- Mathematics:
- Computer science:
- Inductive type#W- and M-types
- Maximum satisfiability problem#Weighted MAX-SAT
- Smallest-circle problem#Welzl's algorithm
- Shortest common supersequence problem#Shortest common superstring
- Negligible function#Closure properties
- Chosen-plaintext attack#One-time pads
- Datalog#Syntax
- Datalog#Semantics
- Datalog#Evaluation
- Pointer analysis#Flow-insensitive approaches
- Abstract interpretation#Machine word abstract domains
- Fuzzing#List of popular fuzzers
- Program synthesis#Syntax-guided synthesis
- Coq (software)#Tactic language
- Formal methods#Solvers and competitions
- Satisfiability modulo theories#Relationship to automated theorem proving
- Satisfiability modulo theories#Decidable theories
- Proof assistant#Notable formalized proofs
- Philosophy:
Templates
[edit]Drafts
[edit]TODO
[edit]The following are some edits I'd like to make but haven't yet.
Simple
[edit]These should take ten minutes or less.
- Improve hash consing
- Add more properties to Opposite category
- Replace diagrams on initial topology and final topology with SVGs
- Add a citation to Awodey for the diagonal functor
- Add weak higher groupoid associator to the examples on Coherence condition
- Add examples of generated groups to Generating set of a group and Finitely generated group
- Maybe note that all examples in "Finitely generated" are examples of "Generating set" and all examples of presentations on Presentation of a group are also examples of generating sets?
- Add Lambek's Lemma to Initial algebra
Middling
[edit]These should take a half hour or less.
- Create Property-based testing (see Software testing#Property testing)
- Create page on Hypothesis Python library
- Clean up https://en.wikipedia.org/wiki/Symbolic_execution#Tools
- Add examples to Initial algebra and Final coalgebra
- Add the weighted approximation to Set cover problem
- Add the example of vertex cover to Linear programming relaxation
- Expand Real representation with Liebeck
- Add the application to mere propositions to subterminal object, add properties from nLab (subterminal object at the nLab), add Johnstone's topos theory as a reference.
- More fully split top type from singly rooted hierarchy. The former should contain information on type theoretical subtyping, whereas the latter should contain information on inheritance. They should both have paragraphs in their introductions distinguishing between the two.
- Semi-streaming algorithms
- Improve Calculus of constructions with descriptions of CIC, C(co)IC, pCuIC, etc.
- Add Misra-Gries to Element distinctness problem
- Improve Complex conjugate representation. Is it related to the dual representation?
- Add a "History" section to Betti number, based on Emmy Noether
- Add a "Formal definition" section to Free abelian group
- Create Draft:Path space, based on Glossary of algebraic topology#path space, https://ncatlab.org/nlab/show/path+space, and Homotopy type theory
- Add citations to Section (category theory)
- Read Lee's definition of Reduced homology and possibly add it as a reference on that page
- Verify the ring axioms in the definition of Group ring
- Expand coinduction (reference: Coqart)
- (After the new year 2018): Merge Category algebra into higher-dimensional algebra, or delete it.
Category Theory
[edit]There are many pages on category theory that are extremely short, but I am not very familiar with the concepts.
- Anafunctor
- Category of categories
- 2-functor
- Tensor-hom adjunction
- Natural number object
- Improve the end of Direct sum
- Investigate the relationship between Congruence (abstract algebra) and equalizers.
- Justify Top as a Distributive category
- Add properties to Distributive category
- Add a section on the free groupoid to the Free category page. References on nLab.[1]
- Add the fundamental groupoid of a path-connected space as an example of a Connected category
- Simpler examples of Isomorphism of categories
- Add section "In homotopy type theory" to Category (mathematics), discussing the difference between "precategories" and univalent categories.
- Rewrite the definition of a Group object to be less steeped in category theoretical vocabulary and conventions
- Improve Church–Rosser theorem
Intensive
[edit]One hour
[edit]- Create a section on Pointer analysis with CFL reachability: https://ieeexplore.ieee.org/abstract/document/6957254
- Create SV-COMP
- Create a section about decidability on Separation logic
- Create a page on Bi-abduction
- Move Constrained Horn clauses to a section of Constraint logic programming
- Create C Bounded Model Checker
- Create Univalence axiom
- Add a "Motivation" section to Group representation based on the action of the dihedral group on the plane
- Add citation to the HoTT book to n-connected, rewrite and add examples. Add section on the fundamental groupoid.
- Proof irrelevance
Universes
[edit]I'm partiularly interested in the concept of a mathematical universe. Here are some ways I'd like to improve the discussion on Wikipedia, with the goal of a complete overhaul of Universe (mathematics).
- Improve top type
- Split the "Implementation" section of top type to singly rooted hierarchy
- Do research and find out more about the top type in subtyped systems
- Add a Universes section to Calculus of Constructions. Use this paper or this one.
- Create Girard's Paradox (see also Category:Mathematical paradoxes, List of paradoxes#Mathematics)
- Overhaul Universe (mathematics)
- An outline of the sections:
- Set theory
- A universal set and Russell's Paradox
- Motivation (model theory)
- Set-theoretic universes
- Category theory
- Motivation (category of categories)
- Lawvere's work: Elementary theory of the category of categories
- Universes in topos theory
- Cosmoses as a setting for category theory https://ncatlab.org/nlab/show/cosmos
- Type theory
- Motivation (dependent types)
- Motivation (formalization of mathematics)
- Universes in the Calculus of (co)Inductive Constructions
- Universes in Homotopy Type Theory
- Set theory
- An outline of the sections:
The Stanford Encyclopedia of Philosophy and Springer EOM should come in handy for the page creation aspects.
More
[edit]- Create computational type theory
- Understand Preadditive category enough to add a categorical definition to Endomorphism ring
- Understand Monad (category theory) enough to improve it and add examples
- Create Algebraic category
- Merge braid theory into braid group, add the formal definition from Configuration space (mathematics)
- Distinguish and/or blend Homology (mathematics) with Chain (algebraic topology)
- Improve the "Intuition" section of Fundamental group, possibly adding figures.
- Add a section (or just a note) on the algorithmic complexity of choosing an optimal Morse function to Discrete morse theory
- Research Topological complexity to get that article to non-stub status
- Make sense of the definition of 2-group
- Explain the Common string reference model better
- Create a page on Cubical homology
- Rethink and expand the Introduction section of Homotopy group
- Improve the definition of Homotopy group, especially the spherical version (read Hatcher and Lee)
- Page on globular sets? See Awodey survey on HoTT, which has more references
- Create Homotopy n-type[2], with subsection on h-level
- Create Path space, improve Path space fibration (which assumes all spaces are compactly generated Hausdorff... in a note??)
- Add alternative definition to Natural equivalence from Topology and Groupoids[3]
- Research and rethink the Subobject classifier
Meta
[edit]These are not edits to articles.
- Create a representation theory navbar, based on Template:Topology and Outline of representation theory
- Create a sidebar for finite groups. Properties: order, presentation, abelian, simple, solvable, nilpotent.
- Create a sidebar for topological spaces. Properties: (locally) connected, (locally) compact, connected components, homology groups, fundamental group, CW decomposition
Ongoing/meta
[edit]Big picture:
- Wikipedia:Maintenance
- Wikipedia:WikiProject Categories
- Wikipedia:Template messages
- Wikipedia:WikiProject Mathematics#Things to do
Important guidelines:
Math templates
[edit]- Clean up Category:Mathematics navigational boxes.
- Add Glossary, Portal, Wikibooks and Wikiversity links to templates
- Add more from Category:Mathematics templates?
- Balance content between navboxes and "outlines"
Stub sorting
[edit]- Guidelines on placement: Wikipedia:Manual of Style/Layout#Standard appendices and footers
- Edit message: Stub-sorting. You can help!
- Favorite categories:
Other Wikimedia resources
[edit]- Footer/external links templates:
- Template:Wikitionary
- Template:Wikibooks (check out the other arguments in particular)
- Template:Wikiversity
{{EB1911 poster|{{PAGENAME}}}}
Less Serious
[edit]- Create a Userbox for Reed College
- Create a Userbox for NixOS
References
[edit]- ^ "free groupoid in nLab". ncatlab.org. Retrieved 2017-09-13.
- ^ "homotopy n-type in nLab". ncatlab.org. Retrieved 2017-09-14.
- ^ Ronald,, Brown, (June 2006). Topology and Groupoids. Academic Search Complete. North Charleston: CreateSpace. ISBN 1419627228. OCLC 712629429.
{{cite book}}
: CS1 maint: extra punctuation (link) CS1 maint: multiple names: authors list (link)