Vanished user aQHcAoOGMwJgmhlpQhXm
Joined 15 November 2020
(Redirected from User:Redactedentity)
|
|---|
| Element | What has been done |
|---|---|
| Leiden Manifesto | created article (98.9%) |
| Enumeration reducibility | created article (percentage pending) |
| Element | What has been done |
|---|---|
| Open access | Science link fix, link addition of Leiden Manifesto |
| Kummer surface | lede naming fix to show Ernst Kummer |
| Template:Order-of-approx | redid svg image to show a more applicable Big O notation: |
| Big O notation | image caption formulae updated to show LaTeX as opposed to plain text |
| Reduction (recursion theory) | reformat of formulae to <math>; link addition of Enumeration reducibility |
| Element | What is to be done | Difficulty |
|---|---|---|
| Kleene–Rosser paradox | expand stub, there are plenty of sources. | moderate |
| Template:Reducibilities | create template to categorize and collectivize the several methods of reducibilities (Turing, many-one, truth-table, arithmetic, enumeration) | easy |
| Annals of Pure and Applied Logic | create article, main source: Elsevier | difficult |
| The Metric Tide | create article; confer with DORA and Leiden Manifesto | long |
| Shinji Sato | create article; cite fishmans wiki as main source, CC-BY-SA 3.0 | novice |