Semantic Math - User contributions [en]

Mila's Questions

2021-04-08T02:47:27Z

SemanticMathAdmin: New Mila Page

Q: Can I always upload a preprint to arXiv (or other preprint servers)?

Q: Can I negotiate critical aspects of a standardised publishing contract?

Q: What consequences do standardised publishing contracts have in the long run for me?

Q: I have heard of and appreciate fair open access publishing, but due to career-grooming I am limited to certain journals. What can I do?

Q: Whom can I ask about this stuff?

CEIC FAQs

2021-03-31T20:35:50Z

SemanticMathAdmin:

The CEIC needs to have FAQs and a place to discuss, in a literary way, by writing pages of material. A Semantic Mediawiki seems a plausible way to start this.

CEIC FAQs

2021-03-31T20:34:34Z

SemanticMathAdmin: new top page for CEIc

The CEIC needs to have FAQs and a place to discuss, in a literary way by writing pages of material. A Semantic Mediawiki seems a plausible way to start this.

Combinatorial Functions

2020-08-12T12:59:33Z

SemanticMathAdmin:

DLMF_CM
* defines
** Stirlingnumbers
*** parameters null
*** equiv "combinat1:Stirling_s"
*** definitionurl "http://dlmf.nist.gov/26.8.SS1.p1"
*** signature "{\\Integers\\times\\Integers\\mapsto\\Integers}"
*** arguments "{n}{k}"
*** description "{the Stirling number of the first kind}"
** Euleriannumber
*** parameters "{n}{k}"
*** definitionurl "http://dlmf.nist.gov/26.14.SS1.p3"
*** signature "{\\Integers\\times\\Integers\\mapsto\\Integers}"
*** arguments null
*** description "{the Eulerian number}"
** nrestcompositions
*** parameters null
*** definitionurl "http://dlmf.nist.gov/26.11#p1"
*** signature "{?\\mapsto\\Integers}"
*** arguments "{\\mathrm{condition}}{n}"
*** description "{the restricted number of compositions of $n$ into exactly $m$ parts}"
** nplanepartitions
*** parameters null
*** definitionurl "http://dlmf.nist.gov/26.12.SS1.p4"
*** signature "{\\Integers\\mapsto\\Integers}"
*** arguments "{n}"
*** description "{the number of plane partitions of $n$}"
** StirlingnumberS
*** parameters null
*** equiv "combinat1:Stirling_S"
*** definitionurl "http://dlmf.nist.gov/26.8.SS1.p3"
*** signature "{\\Integers\\times\\Integers\\mapsto\\Integers}"
*** arguments "{n}{k}"
*** description "{the Stirling number of the second kind}"
** Catalannumber
*** parameters null
*** definitionurl "http://dlmf.nist.gov/26.5.E1"
*** signature "{\\Integers\\mapsto\\Integers}"
*** arguments "{n}"
*** description "{the Catalan number}"
** nrestpartitions
*** parameters null
*** definitionurl "http://dlmf.nist.gov/26.10.SS1"
*** signature "{?\\mapsto\\Integers}"
*** arguments "{\\mathrm{condition}}{n}"
*** description "{the restricted number of partitions of $n$}"
** binom
*** parameters "{z}{m}"
*** equiv "combinat1:binomial"
*** definitionurl "http://dlmf.nist.gov/1.2.SS1"
*** signature "{\\Complexes\\times\\Integers\\mapsto\\Complexes}"
*** arguments null
*** description "{the binomial coefficient}"
** ncompositions
*** parameters null
*** definitionurl "http://dlmf.nist.gov/26.11#p1"
*** signature "{\\Integers\\mapsto\\Integers}"
*** arguments "{n}"
*** description "{the number of compositions of $n$}"
** Bellnumber
*** parameters null
*** equiv "combinat1:Bell"
*** definitionurl "http://dlmf.nist.gov/26.7.SS1"
*** signature "{\\Integers\\mapsto\\Integers}"
*** arguments "{n}"
*** description "{the Bell number}"
** npartitions
*** parameters null
*** definitionurl "http://dlmf.nist.gov/26.2#Px4.p2"
*** signature ""
*** arguments "{n}"
*** description "{the total number of partitions of $n$}"
** Pochhammersym
*** parameters "{a}{n}"
*** equiv "hypergeo0:pochhammer"
*** definitionurl "http://dlmf.nist.gov/5.2.SS3"
*** signature "{\\Complexes\\times\\nonnegIntegers\\mapsto\\Complexes}"
*** arguments null
*** description "{the Pochhammer symbol (or shifted factorial)}"
** LeviCivitasym
*** parameters "{i}{j}{k}"
*** definitionurl "http://dlmf.nist.gov/1.6.E14"
*** signature "{\\Integers\\times\\Integers\\times\\Integers\\mapsto\\{0,\\pm 1\\}}"
*** arguments null
*** description "{the Levi-Civita symbol}"
** multinomial
*** parameters "{n}{n_1,n_2,\\ldots,n_k}"
*** equiv "combinat1:multinomial"
*** definitionurl "http://dlmf.nist.gov/26.4.SS1.p1"
*** signature "{\\Integers\\times\\Integers^k\\mapsto\\Integers}"
*** arguments null
*** description "{the multinomial coefficient}"
** npermutations
*** parameters "{n}"
*** definitionurl "http://dlmf.nist.gov/26.13#p1"
*** signature "{\\Integers\\mapsto\\Integers}"
*** arguments null
*** description "{the number of permutations of $n$}"
** date "2018-08-09"
** version "0"
** status "experimental"
** description

Combinatorial Functions

2020-08-12T12:59:00Z

SemanticMathAdmin: Initial

DLMF_CM
* defines
** Stirlingnumbers
*** parameters null
*** equiv "combinat1:Stirling_s"
*** definitionurl "http://dlmf.nist.gov/26.8.SS1.p1"
*** signature "{\\Integers\\times\\Integers\\mapsto\\Integers}"
*** arguments "{n}{k}"
*** description "{the Stirling number of the first kind}"
Euleriannumber
*** parameters "{n}{k}"
*** definitionurl "http://dlmf.nist.gov/26.14.SS1.p3"
*** signature "{\\Integers\\times\\Integers\\mapsto\\Integers}"
*** arguments null
*** description "{the Eulerian number}"
** nrestcompositions
*** parameters null
*** definitionurl "http://dlmf.nist.gov/26.11#p1"
*** signature "{?\\mapsto\\Integers}"
*** arguments "{\\mathrm{condition}}{n}"
*** description "{the restricted number of compositions of $n$ into exactly $m$ parts}"
** nplanepartitions
*** parameters null
*** definitionurl "http://dlmf.nist.gov/26.12.SS1.p4"
*** signature "{\\Integers\\mapsto\\Integers}"
*** arguments "{n}"
*** description "{the number of plane partitions of $n$}"
** StirlingnumberS
*** parameters null
*** equiv "combinat1:Stirling_S"
*** definitionurl "http://dlmf.nist.gov/26.8.SS1.p3"
*** signature "{\\Integers\\times\\Integers\\mapsto\\Integers}"
*** arguments "{n}{k}"
*** description "{the Stirling number of the second kind}"
** Catalannumber
*** parameters null
*** definitionurl "http://dlmf.nist.gov/26.5.E1"
*** signature "{\\Integers\\mapsto\\Integers}"
*** arguments "{n}"
*** description "{the Catalan number}"
** nrestpartitions
*** parameters null
*** definitionurl "http://dlmf.nist.gov/26.10.SS1"
*** signature "{?\\mapsto\\Integers}"
*** arguments "{\\mathrm{condition}}{n}"
*** description "{the restricted number of partitions of $n$}"
** binom
*** parameters "{z}{m}"
*** equiv "combinat1:binomial"
*** definitionurl "http://dlmf.nist.gov/1.2.SS1"
*** signature "{\\Complexes\\times\\Integers\\mapsto\\Complexes}"
*** arguments null
*** description "{the binomial coefficient}"
** ncompositions
*** parameters null
*** definitionurl "http://dlmf.nist.gov/26.11#p1"
*** signature "{\\Integers\\mapsto\\Integers}"
*** arguments "{n}"
*** description "{the number of compositions of $n$}"
** Bellnumber
*** parameters null
*** equiv "combinat1:Bell"
*** definitionurl "http://dlmf.nist.gov/26.7.SS1"
*** signature "{\\Integers\\mapsto\\Integers}"
*** arguments "{n}"
*** description "{the Bell number}"
** npartitions
*** parameters null
*** definitionurl "http://dlmf.nist.gov/26.2#Px4.p2"
*** signature ""
*** arguments "{n}"
*** description "{the total number of partitions of $n$}"
** Pochhammersym
*** parameters "{a}{n}"
*** equiv "hypergeo0:pochhammer"
*** definitionurl "http://dlmf.nist.gov/5.2.SS3"
*** signature "{\\Complexes\\times\\nonnegIntegers\\mapsto\\Complexes}"
*** arguments null
*** description "{the Pochhammer symbol (or shifted factorial)}"
** LeviCivitasym
*** parameters "{i}{j}{k}"
*** definitionurl "http://dlmf.nist.gov/1.6.E14"
*** signature "{\\Integers\\times\\Integers\\times\\Integers\\mapsto\\{0,\\pm 1\\}}"
*** arguments null
*** description "{the Levi-Civita symbol}"
** multinomial
*** parameters "{n}{n_1,n_2,\\ldots,n_k}"
*** equiv "combinat1:multinomial"
*** definitionurl "http://dlmf.nist.gov/26.4.SS1.p1"
*** signature "{\\Integers\\times\\Integers^k\\mapsto\\Integers}"
*** arguments null
*** description "{the multinomial coefficient}"
** npermutations
*** parameters "{n}"
*** definitionurl "http://dlmf.nist.gov/26.13#p1"
*** signature "{\\Integers\\mapsto\\Integers}"
*** arguments null
*** description "{the number of permutations of $n$}"
** date "2018-08-09"
** version "0"
** status "experimental"
** description

List of Functions

2020-08-12T12:26:32Z

SemanticMathAdmin:

This list gives some functions that we will examine in the spirit of the Concordance intended.

* Airy Functions
** [[The First Kind]] ${\rm Ai}(z)$
** [[The Second Kind]] ${\rm Bi}(z)$
* [[Combinatorial Functions]]

The First Kind

2020-08-12T03:35:56Z

SemanticMathAdmin:

AiryAi ${\rm AiryAi}(z)$ --- note this is the single-variable case

* Sage: https://doc.sagemath.org/html/en/reference/functions/sage/functions/airy.html
** For numerical values using '''Arb''' see paper of [[Johansson-Iaas20160525.pdf |Frederik Johansson]]
<pre>
This module implements Airy functions and their generalized derivatives. It supports symbolic functionality through Maxima and numeric evaluation through mpmath and scipy.

Airy functions are solutions to the differential equation f″(x)−xf(x)=0

Four global function symbols are immediately available, please see
airy_ai(): for the Airy Ai function
airy_ai_prime(): for the first differential of the Airy Ai function
airy_bi(): for the Airy Bi function

airy_bi_prime(): for the first differential
of the Airy Bi function
</pre>

* http://dlmf.nist.gov/9
* http://en.wikipedia.org/wiki/Airy_function
* http://www.encyclopediaofmath.org/index.php/Airy_functions
* http://mathworld.wolfram.com/AiryFunctions.html

[[Airy Rough Notes]]

[https://imkt.org/wp-content/uploads/2018/07/1135-00-1456.pdf Bruce Miller, Cataloging DLMF’s Special Functions SS , JMM 2018]

DLMF_AI
* defines
** ScorerGi
*** parameters null
*** definitionurl "http://dlmf.nist.gov/9.12.E4"
*** signature "{\\Complexes\\mapsto\\Complexes}"
*** arguments "{z}"
*** description "{the Scorer (or inhomogeneous Airy) function $\\ScorerGi$}"
** ScorerHi
*** parameters null
*** definitionurl "http://dlmf.nist.gov/9.12.E5"
*** signature "{\\Complexes\\mapsto\\Complexes}"
*** arguments "{z}"
*** description "{the Scorer (or inhomogeneous Airy) function $\\ScorerHi$}"
** AiryBi
*** parameters null
*** equiv "airy:Bi"
*** definitionurl "http://dlmf.nist.gov/9.2.SS1"
*** signature "{\\Complexes\\mapsto\\Complexes}"
*** arguments "{z}"
*** description "{the Airy function $\\AiryBi$}"
** AiryAi
*** parameters null
*** equiv "airy:Ai"
*** definitionurl "http://dlmf.nist.gov/9.2.SS1"
*** signature "{\\Complexes\\mapsto\\Complexes}"
*** arguments "{z}"
*** description "{the Airy function $\\AiryAi$}"
*** date "2018-08-09"
** version "0"
** status "experimental"
** description "Definitions from Airy and Rel

The First Kind

2020-08-12T03:30:21Z

SemanticMathAdmin:

The First Kind

2020-08-12T03:29:58Z

SemanticMathAdmin:

The First Kind

2020-08-12T03:29:35Z

SemanticMathAdmin:

The First Kind

2020-08-12T03:15:16Z

SemanticMathAdmin:

The First Kind

2020-08-12T03:08:48Z

SemanticMathAdmin:

${\rm Ai}(z)$ --- note this is the single-variable case

* Sage: https://doc.sagemath.org/html/en/reference/functions/sage/functions/airy.html
** For numerical values using '''Arb''' see paper of [[Johansson-Iaas20160525.pdf |Frederik Johansson]]
<pre>
This module implements Airy functions and their generalized derivatives. It supports symbolic functionality through Maxima and numeric evaluation through mpmath and scipy.

Airy functions are solutions to the differential equation f″(x)−xf(x)=0

Four global function symbols are immediately available, please see
airy_ai(): for the Airy Ai function
airy_ai_prime(): for the first differential of the Airy Ai function
airy_bi(): for the Airy Bi function

airy_bi_prime(): for the first differential
of the Airy Bi function
</pre>

* http://dlmf.nist.gov/9
* http://en.wikipedia.org/wiki/Airy_function
* http://www.encyclopediaofmath.org/index.php/Airy_functions
* http://mathworld.wolfram.com/AiryFunctions.html

The First Kind

2020-08-12T03:03:38Z

SemanticMathAdmin:

${\rm Ai}(z)$ --- note this is the single-variable case

* Sage: https://doc.sagemath.org/html/en/reference/functions/sage/functions/airy.html
** For numerical values using '''Arb''' see paper of [[Johansson-Iaas20160525.pdf |Frederik Johansson]]
<pre>
This module implements Airy functions and their generalized derivatives. It supports symbolic functionality through Maxima and numeric evaluation through mpmath and scipy.

Airy functions are solutions to the differential equation f″(x)−xf(x)=0

Four global function symbols are immediately available, please see
airy_ai(): for the Airy Ai function
airy_ai_prime(): for the first differential of the Airy Ai function
airy_bi(): for the Airy Bi function

airy_bi_prime(): for the first differential
of the Airy Bi function
</pre>

* http://en.wikipedia.org/wiki/Airy_function
* http://dlmf.nist.gov/9
* http://www.encyclopediaofmath.org/index.php/Airy_functions
* http://mathworld.wolfram.com/AiryFunctions.html

The First Kind

2020-08-12T02:52:12Z

SemanticMathAdmin:

The First Kind

2020-08-12T02:41:55Z

SemanticMathAdmin: Start

${\rm Ai}(z)$

* Sage: https://doc.sagemath.org/html/en/reference/functions/sage/functions/airy.html
<pre>
This module implements Airy functions and their generalized derivatives. It supports symbolic functionality through Maxima and numeric evaluation through mpmath and scipy.

Airy functions are solutions to the differential equation f″(x)−xf(x)=0

Four global function symbols are immediately available, please see
airy_ai(): for the Airy Ai function
airy_ai_prime(): for the first differential of the Airy Ai function
airy_bi(): for the Airy Bi function

airy_bi_prime(): for the first differential
of the Airy Bi function
</pre>

List of Functions

2020-08-12T02:21:46Z

SemanticMathAdmin:

This list gives some functions that we will examine in the spirit of the Concordance intended.

* Airy Functions
** [[The First Kind]] ${\rm Ai}(z)$
** [[The Second Kind]] ${\rm Bi}(z)$

List of Functions

2020-08-12T02:20:51Z

SemanticMathAdmin:

This list gives some functions that we will examine in the spirit of the Concordance intended.

* Airy Functions
** [[The First Kind ${\rm Ai}(z)$ ]]
** [[The Second Kind ${\rm Bi}(z)$ ]]
** [[The Third Kind ]]

List of Functions

2020-08-12T02:14:07Z

SemanticMathAdmin:

This list gives some functions that we will examine in the spirit of the Concordance intended.

* Airy Functions
** [[The First Kind ${\rm Ai}(z)$ ]]
** [[The Second Kind ${\rm Bi}(z)$ ]]

List of Functions

2020-08-12T02:12:47Z

SemanticMathAdmin:

This list gives some functions that we will examine in the spirit of the Concordance intended.

* Airy Functions
** [[ ${\rm Ai}(z)$ ]]
** [[ ${\rm Bi}(z)$ ]]

List of Functions

2020-08-12T02:12:07Z

SemanticMathAdmin: Start

This list gives some functions that we will examine in the spirit of the Concordance intended.

* Airy Functions
** [[${\rm Ai}(z)$]]
** [[${\rm Bi}(z)$]]

List of Functions

2020-08-12T02:09:06Z

SemanticMathAdmin: Start

This list gives some functions that we will examine in the spirit of the Concordance intended.

Special Function Concordance

2020-08-12T02:06:27Z

SemanticMathAdmin:

The Special Function Concordance is one of the four initiatives that are mentioned in the Charter of the International Mathematical Knowledge Trust. As a test and first trial we have a [[List of Functions]] page to work with.

Special Function Concordance

2020-08-12T02:05:58Z

SemanticMathAdmin: Initialized

Main Page

2016-10-04T19:08:32Z

SemanticMathAdmin: corrected WF URL, which had been changed; added pointer to WF background materials

== Semantic Representation of Mathematics Wiki ==
This is a moderated wiki with an initially restricted author group. It can be read by all the world but only
those who participated in the [http://www.fields.utoronto.ca/activities/workshops/semantic-representation-mathematical-knowledge-workshop Semantic Representation of Mathematics Workshop at the Fields Institute], February 3–5 February 2016, can edit these pages. The beginning use of the wiki
is to allow feedback from workshop participants reacting to the workshop's White Paper
([http://www.fields.utoronto.ca//sites/default/files/whitepaper.pdf at Fields];
[http://www.wolframfoundation.org/programs/SemanticWorkshopWhitePaper.pdf at Wolfram Foundation];
[http://imkt.org/Activities/SemanticMathematics/Workshops/2016-02-03-Fields/whitepaper.pdf at IMKT])
This feedback can be collected here in a convenient public way. For that
purpose use the Semantic Workshop [[http://imkt.org/Activities/SemanticMathematics/wiki/index.php?title=Fields_2016_Workshop_Feedback Feedback]] page. It is expected that this wiki will develop
to hold reference information and discussion on the semantic representation of mathematics and
related matters. The group of Users who can edit this wiki will be expanded by adding new users
at their request. Requests for access should be sent to SemanticMathAdmin on this site.

Note there are also [http://www.wolframfoundation.org/programs/computable-archive-of-mathematics.html related useful materials archived at the Wolfram Foundation].

== Useful pages ==
* [//www.mediawiki.org/wiki/Help:Formatting Formatting Help]
* [//www.mediawiki.org/wiki/Help:Editing_pages Editing Help]
* [//www.mediawiki.org/wiki/Special:MyLanguage/Manual:FAQ MediaWiki FAQ]

== Defaults for an installation starting page==
* Consult the [//meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software.
* [//www.mediawiki.org/wiki/Special:MyLanguage/Manual:Configuration_settings Configuration settings list]
* [https://lists.wikimedia.org/mailman/listinfo/mediawiki-announce MediaWiki release mailing list]
* [//www.mediawiki.org/wiki/Special:MyLanguage/Localisation#Translation_resources Localise MediaWiki for your language]

Main Page

2016-06-22T18:21:05Z

SemanticMathAdmin: changed pointer to feedback page

== Semantic Representation of Mathematics Wiki ==
This is a moderated wiki with an initially restricted author group. It can be read by all the world but only
those who participated in the [http://www.fields.utoronto.ca/activities/workshops/semantic-representation-mathematical-knowledge-workshop Semantic Representation of Mathematics Workshop at the Fields Institute], February 3–5 February 2016, can edit these pages. The beginning use of the wiki
is to allow feedback from workshop participants reacting to the workshop's White Paper
([http://www.fields.utoronto.ca//sites/default/files/whitepaper.pdf at Fields];
[http://www.wolframfoundation.org/programs/whitepaper.pdf at Wolfram Foundation];
[http://imkt.org/Activities/SemanticMathematics/Workshops/2016-02-03-Fields/whitepaper.pdf at IMKT])
This feedback can be collected here in a convenient public way. For that
purpose use the Semantic Workshop [[http://imkt.org/Activities/SemanticMathematics/wiki/index.php?title=Fields_2016_Workshop_Feedback Feedback]] page. It is expected that this wiki will develop
to hold reference information and discussion on the semantic representation of mathematics and
related matters. The group of Users who can edit this wiki will be expanded by adding new users
at their request. Requests for access should be sent to SemanticMathAdmin on this site.

== Useful pages ==
* [//www.mediawiki.org/wiki/Help:Formatting Formatting Help]
* [//www.mediawiki.org/wiki/Help:Editing_pages Editing Help]
* [//www.mediawiki.org/wiki/Special:MyLanguage/Manual:FAQ MediaWiki FAQ]

== Defaults for an installation starting page==
* Consult the [//meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software.
* [//www.mediawiki.org/wiki/Special:MyLanguage/Manual:Configuration_settings Configuration settings list]
* [https://lists.wikimedia.org/mailman/listinfo/mediawiki-announce MediaWiki release mailing list]
* [//www.mediawiki.org/wiki/Special:MyLanguage/Localisation#Translation_resources Localise MediaWiki for your language]

Main Page

2016-06-08T02:18:31Z

SemanticMathAdmin: Initial form of page

== Semantic Representation of Mathematics Wiki ==
This is a moderated wiki with an initially restricted author group. It can be read by all the world but only
those who participated in the [http://www.fields.utoronto.ca/activities/workshops/semantic-representation-mathematical-knowledge-workshop Semantic Representation of Mathematics Workshop at the Fields Institute], February 3–5 February 2016, can edit these pages. The beginning use of the wiki
is to allow feedback from workshop participants reacting to the workshop's White Paper
([http://www.fields.utoronto.ca//sites/default/files/whitepaper.pdf at Fields];
[http://www.wolframfoundation.org/programs/whitepaper.pdf at Wolfram Foundation];
[http://imkt.org/Activities/SemanticMathematics/Workshops/2016-02-03-Fields/whitepaper.pdf at IMKT])
This feedback can be collected here in a convenient public way. For that
purpose use the [[Fields 2016 Workshop Feedback]] page. It is expected that this wiki will develop
to hold reference information and discussion on the semantic representation of mathematics and
related matters. The group of Users who can edit this wiki will be expanded by adding new users
at their request. Requests for access should be sent to SemanticMathAdmin on this site.

== Useful pages ==
* [//www.mediawiki.org/wiki/Help:Formatting Formatting Help]
* [//www.mediawiki.org/wiki/Help:Editing_pages Editing Help]
* [//www.mediawiki.org/wiki/Special:MyLanguage/Manual:FAQ MediaWiki FAQ]

== Defaults for an installation starting page==
* Consult the [//meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software.
* [//www.mediawiki.org/wiki/Special:MyLanguage/Manual:Configuration_settings Configuration settings list]
* [https://lists.wikimedia.org/mailman/listinfo/mediawiki-announce MediaWiki release mailing list]
* [//www.mediawiki.org/wiki/Special:MyLanguage/Localisation#Translation_resources Localise MediaWiki for your language]

Fields 2016 Workshop Feedback

2016-06-08T02:18:12Z

SemanticMathAdmin: Initiation of page

== Fields 2016 Workshop Feedback ==
Please add feedback commentary about raised by the
Feb 2016 [http://www.fields.utoronto.ca/activities/workshops/semantic-representation-mathematical-knowledge-workshop Fields Workshop] and its
[http://imkt.org/Activities/SemanticMathematics/Workshops/2016-02-03-Fields/whitepaper.pdf White Paper]. The thread of
comments should be here but feel free to create ancillary wiki pages with material you wish to refer to. If we date and sign our comments then
the discussion should be clearer.

=== Comments List ===