User:The-erinaceous-one

From Wikidata
Jump to navigation Jump to search
Babel user information
en-N This user has a native understanding of English.
es-1 Este usuario tiene un conocimiento básico del español.
This user is a member of
WikiProject Mathematics
Wikidata-wikiproject-ontology.pngThis user is a member of
WikiProject Ontology
How to use icon.svgThis user is a member of
WikiProject Properties
.
Users by language

My name is Paul Wintz, AKA The Erinaceous One 🦔. I am a PhD student at the University of California, Santa Cruz (Q1047293), where I study control theory (Q6501221) in the Department of Applied Mathematics.

Where to find me accross the internet:

To-do List[edit]

The following are tasks that I am planning to work on.

  1. Add explanation of third-order class (Q24017465) (and similar items) on its talk page. (Maybe track down the "true" documentation for ontology and link it there).
  2. Add a more complete example to defining formula page with demonstrates how to use "calculated from" and "in defining formula"
  3. Add more "generalization of" statements to mathematical items
  4. Create "mathematically equivalent to" property?
  5. Create "has conclusion" property for proof items?
  6. Integrate Wikidata:List of properties/mathematics into the mathematics project page.
  7. Clarify the difference between numerical method has quality A-stability and Euler backward method has quality A-stability.
  8. Why is trio (Q281643) instance of musical term? Isn't that language dependent?
  9. What the relationship between signed curvature and curvature?
  10. Clean up the instances of mathematical object. In particular, shape (Q207961) has many subclasses that should not be mathematical objects.
  11. Develop Template:Instance Criteria

Properties and Templates I Find Useful[edit]

Qualifiers:

Templates[edit]

To talk about templates, use the template {{Tl}}

Questions About Modeling[edit]

How do we represent that instances of dimension of a vector space (Q929302) will be integer values?

Important Math Items[edit]

The following are classes of mathematical objects that I patrol occasionally to make sure the ontology of their instances and subclasses are correct.

I also have some expertise in the following categories, so I try to develop and maintian them:

Frequently misused[edit]

There are several mathematics terms that are easily confused with everyday terms, so I periodically check them for misuse.

Likely to be misused (but not actually) bridge (Q2532492) loop (Q512604) cycle (Q78323458) boundary (Q78323465) quiver (Q493980) knot (Q1188853) flag (Q8563541) image (Q860623) center (Q191166) degree (Q383444) arc (Q147572) cone (Q493171) chain (Q53710222) decade (Q2199357) lattice (Q595364) stack (Q7595945) necklace (Q2983383) fiber (Q1640811) filter (Q1052692)

Property Proposals[edit]

Properties I'm considering proposing:[edit]

Other[edit]

  • "Belmann equation" "necessary condition for" "solution to dynamic program"
  • "solution to dynamic program" "has necessary condition" "Bellman equation"
  • " " "suffcicient condition for" " "
  • " " "is suffcicient condition" " "
  • "control signal" produced by controller
  • "is porportional to"
  • negation truth table <truth table>
  • R^2 cartesian product of "items listed as qualifiers" / of R / of R
  • R^2 direct product of "items listed as qualifiers" / of / of

qualities for this type[edit]

  • Human "qualities for this type" male, female (alternatively, maybe Human "qualities for this type" gender / "possible values" male, female, etc. would be a better model)
  • iterative numerical method "qualities for this type" L-stable, A-stable, zero-stable,

Instances all have quality[edit]

  • Runge-Kutta method "All instances have quality" Butcher tableau
  • linear functional "All instances have quality" "Listed as qualifiers" / codomain field of scalars

Units[edit]

ISQ dimension (P4020)
Preferred rank
SI mass unit power 1
SI time unit power -2
0 references
add reference


add value

Conditions for inclusion of items in class[edit]

Throughout Wikidata, we have a heirarchy of classes, but there is not a clear modeling of what the criteria for a item to by an instance or a subclass of another. There are two solutions I see for this:

The first is to create a template for talk pages that would allow users to describe the criteria (such as necessary and sufficient conditions) for inclusion in the class. When giving a definition, it is generally a good idea to conscribe the scope of the definition by stating non-examples. Thus, we could have several categories:

  • Intensional definition: State the necessary and sufficient conditions for an item to be included in the class
  • Ostensive definition: Provide a list of examples that exemplify the characteristics of the class. Edge cases are also helpful to show the extent of the definition.
  • Non-examples: Several items that might be included in the class, but are not, along with a explanation for each about what characteristic(s) violates the definition.

The second option is to try and model this information in Wikidata statement. The value of such statement seems obvious to me, but would be a substatial addition to the project.

Failed Proposals Worth Revisting[edit]

Wikidata:Property proposal/Implies (necessary condition) (Also includes logical/axiomatic system)

SPARQL Queries[edit]

Runge-Kutta methods[edit]

Show all the Runge-Kutta methods sorted by the number of stages.

select distinct
  ?method
  ?methodLabel
  ?formula
  ?Butcher
  ?stages
  ?orderOfConvergence
where {
  ?method wdt:P31*/wdt:P279* wd:Q725944.
  optional{?method wdt:P2534 ?formula .}
  optional{?method wdt:P8558 ?Butcher.}
  optional{?method p:P1552 [ps:P1552 wd:Q97672364; pq:P1114 ?stages].}
  optional{?method p:P1552 [ps:P1552 wd:Q97940482; pq:P1181 ?orderOfConvergence].}
  SERVICE wikibase:label { bd:serviceParam wikibase:language "[AUTO_LANGUAGE],en". }
} ORDER BY (!bound(?stages)) ASC(?stages) (!bound(?orderOfConvergence)) ASC(?orderOfConvergence)

Try it!

Linear Multistep Methods[edit]

Show all linear multistep methods sorted by the number of steps.

select distinct
  ?method
  ?methodLabel
  ?formula
  ?steps
  ?orderOfConvergence
where {
  ?method wdt:P31*/wdt:P279* wd:Q1462003.
  optional{?method wdt:P2534 ?formula .}
  optional{?method p:P1552 [ps:P1552 wd:Q98293869; pq:P1114 ?steps].}
  optional{?method p:P1552 [ps:P1552 wd:Q97940482; pq:P1181 ?orderOfConvergence].}
  SERVICE wikibase:label { bd:serviceParam wikibase:language "[AUTO_LANGUAGE],en". }
} ORDER BY (!bound(?steps)) ASC(?steps) ASC(?orderOfConvergence)

Try it!

Defining Formulas[edit]

Adapted from User:Toni 001

select
  ?quantity
  (sample(?label) as ?label)
  (sample(?desc) as ?desc)
  (sample(?symbol) as ?symbol)
  (sample(?formula) as ?formula)
  (
    strdt(
      concat(
        "<", "math><mtable columnalign=left>",
        group_concat(?symbolAndLabel),
        "</mtable></math>"
      ),
      <http://www.w3.org/1998/Math/MathML>
    ) as ?otherSymbols
  )
where {
  ?quantity wdt:P279+ wd:Q71550118 .
  optional { ?quantity rdfs:label ?label . filter (lang(?label) = "en") }
  optional { ?quantity schema:description ?desc . filter (lang(?desc) = "en") }
  ?quantity wdt:P2534 ?formula .
  ?quantity wdt:P7235 ?symbol .
  {
    select distinct * where {
      ?quantity p:P4934 [ pq:P7235 ?otherSymbol ; ps:P4934 / rdfs:label ?otherLabel ] .
      filter (lang(?otherLabel) = "en")
      bind (
        concat(
          "<mrow>",
          str(?otherSymbol), "<mtext>", ": ", ?otherLabel, "</mtext>",
          "</mrow>"
        ) as ?symbolAndLabel
      )
    }
  }
} group by ?quantity ?formula

Try it!

Number classification[edit]

The following might be useful information on the mathematics project page.

Important Number Items
Natural Numbers Integers Rationals Real Numbers
number (Q11563) natural number (Q21199) integer (Q12503) rational number (Q1244890) real number (Q12916)
set of numbers (Q3054943) set of natural numbers (Q28777634) set of integers (Q47007735) set of rational numbers (Q47005650) set of real numbers (Q26851380)
type of number (Q47460393) type of natural numbers (Q77359186) type of integer (Q77358734) ?? ??