Skip to content

Commit

Permalink
applied corrections to malformed equations
Browse files Browse the repository at this point in the history
  • Loading branch information
HassanAkbar committed Aug 6, 2024
1 parent 282ca1a commit 9b6c9eb
Show file tree
Hide file tree
Showing 6 changed files with 12 additions and 12 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -2,9 +2,9 @@
data:
identifier: '2236'
localized_concepts:
eng: 4628b4b3-ae4d-52ec-a4b9-7ce6358f8229
eng: 4d482b28-f23e-5798-8a66-2cf1604e8067
spa: f14a3357-7f82-560a-a3c7-789ee1bd3577
dateAccepted: 2019-12-02 00:00:00.000000000 +05:00
id: 7e474bec-c29a-5c11-bfa8-3f30989e40cc
id: 7c8ca006-c404-5740-b3c7-e06710c43b36
related: []
status: valid
Original file line number Diff line number Diff line change
Expand Up @@ -2,8 +2,8 @@
data:
identifier: '2897'
localized_concepts:
eng: 5d1c76cf-dea2-5383-ba31-cea336a7e648
eng: ac7be76a-d562-50de-adfd-8cea4ff43591
dateAccepted: 2022-11-24 00:00:00.000000000 +05:00
id: 2bec37fd-8d9b-5c0b-9c92-56003fc5aaf4
id: a3cdaff6-a52d-5386-9100-3ff6ca34c72e
related: []
status: valid
Original file line number Diff line number Diff line change
Expand Up @@ -2,9 +2,9 @@
data:
identifier: '2455'
localized_concepts:
eng: b2052251-e7a4-507a-bfb9-ba358ce3b8bb
eng: 7d30dd8e-c542-5ace-b677-63f7917d603d
spa: c2590a02-9b89-5c89-aab9-5c93b9ec9798
dateAccepted: 2019-12-02 00:00:00.000000000 +05:00
id: 3451df49-deb4-5b49-a397-ee21eac245b7
id: aa54527d-9e0d-50b5-9e1a-7a0049d31f19
related: []
status: valid
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ data:
id: '2236'
notes:
- content: stem:[[AA a in A => min(A) <= a] => [AA b in [(b in [AA a in A => b <=a]
=> [min(A) >= b]]] Any number is a lower bound of stem:[O/] considered as a
=> [min(A) >= b]]]] Any number is a lower bound of stem:[O/] considered as a
set of numbers, because any given number is less than any number in stem:[O/]
(an admitted vacuous statement since there is no number in stem:[O/], but true
nonetheless). This means that the stem:[min(O/)] must be greater than any number;
Expand All @@ -37,5 +37,5 @@ data:
review_decision_date: 2019-12-02 00:00:00.000000000 +05:00
review_decision_event: Normal ISO processing
dateAccepted: 2019-12-02 00:00:00.000000000 +05:00
id: 4628b4b3-ae4d-52ec-a4b9-7ce6358f8229
id: 4d482b28-f23e-5798-8a66-2cf1604e8067
status: valid
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ data:
- content: point in a stem:[n]-dimension coordinate system using stem:[n+1] numbers,
latexmath:[([u_0, u_1, u_2, u_3, ... , u_n] \backepsilon [[0 \leq u_i \leq 1]
\wedge \sum u_i = 1.0])], in which the location of a point of an n-simplex (of
any dimension) is specified by a weighted center of mass of equal masses placed
any dimension) is specified by a weighted centre of mass of equal masses placed
at its vertices using vector algebra of the stem:[RR^n] used in the coordinate
reference system
examples: []
Expand Down Expand Up @@ -43,5 +43,5 @@ data:
review_decision_date: 2019-12-02 00:00:00.000000000 +05:00
review_decision_event: Normal ISO processing
dateAccepted: 2019-12-02 00:00:00.000000000 +05:00
id: b2052251-e7a4-507a-bfb9-ba358ce3b8bb
id: 7d30dd8e-c542-5ace-b677-63f7917d603d
status: valid
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@ data:
where
stem:[T_("b,v")^("(RJE)") is the Rayleigh–Jeans equivalent brightness temperature;
stem:[T_("b,v")^("(RJE)")] is the Rayleigh–Jeans equivalent brightness temperature;
stem:[v] is the frequency in Hz;
stem:["c"] is the velocity of light (stem:[2.997925xx10^8 "m"//"s"]);
stem:["k"] is the Boltzmann’s constant (stem:[1.38064852xx10^(-23) "J"//"K"]);
Expand All @@ -44,5 +44,5 @@ data:
review_decision_date: 2022-11-24 00:00:00.000000000 +05:00
review_decision_event: Normal ISO processing
dateAccepted: 2022-11-24 00:00:00.000000000 +05:00
id: 5d1c76cf-dea2-5383-ba31-cea336a7e648
id: ac7be76a-d562-50de-adfd-8cea4ff43591
status: valid

0 comments on commit 9b6c9eb

Please sign in to comment.