Matches in SemOpenAlex for { <https://semopenalex.org/work/W90585103> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W90585103 abstract "For special inequalities p ≤ q, where p, q are algebraic expressions such that for p and q corresponding matrices P, Q can be given, proofs can be performed by manipulating the rows of Q, such that the manipulation yields P. The paper gives an Ω with P=Ω(Q) where Ω can be seen as an algorithm in the classical sense because Ω=ω o ω o ... ω and ωis a manipulation of colums of some matrix. Two special manipulations ω -ordering functions. Furtheron it is shown how P, Q are to be chosen to be corresponding to p, q, i.e. mappings ϕ are given such that p=ϕ(P) and q=ϕ(Q) by example. For those ϕ-s it is shown that p=ϕ(P) ≤ ϕ(Ω(P))=ϕ(Q)=q. Although p, q need to be very special, a lot of capabilities of the introduced ϕ, ω exist, for example it can be proven algorithmically that (sqrt[n]{{a_1 a_2 ...a_n }} leqslant tfrac{1}{n}sumnolimits_{i = 1}^n {a_i } ). Hence the perspectives of the method are, that improvements of the given ϕ, ω could give algorithms for a wider range of inequalities (for example polynomials) to be implemented in some Computer Algebra systems." @default.
- W90585103 created "2016-06-24" @default.
- W90585103 creator A5089575499 @default.
- W90585103 date "1989-01-01" @default.
- W90585103 modified "2023-09-24" @default.
- W90585103 title "A matrix-approach for proving inequalities" @default.
- W90585103 cites W4246293990 @default.
- W90585103 doi "https://doi.org/10.1007/3-540-51517-8_145" @default.
- W90585103 hasPublicationYear "1989" @default.
- W90585103 type Work @default.
- W90585103 sameAs 90585103 @default.
- W90585103 citedByCount "0" @default.
- W90585103 crossrefType "book-chapter" @default.
- W90585103 hasAuthorship W90585103A5089575499 @default.
- W90585103 hasConcept C106487976 @default.
- W90585103 hasConcept C108710211 @default.
- W90585103 hasConcept C114614502 @default.
- W90585103 hasConcept C118615104 @default.
- W90585103 hasConcept C134306372 @default.
- W90585103 hasConcept C135598885 @default.
- W90585103 hasConcept C136119220 @default.
- W90585103 hasConcept C159985019 @default.
- W90585103 hasConcept C192562407 @default.
- W90585103 hasConcept C199360897 @default.
- W90585103 hasConcept C202444582 @default.
- W90585103 hasConcept C204323151 @default.
- W90585103 hasConcept C2524010 @default.
- W90585103 hasConcept C33923547 @default.
- W90585103 hasConcept C41008148 @default.
- W90585103 hasConcept C9376300 @default.
- W90585103 hasConceptScore W90585103C106487976 @default.
- W90585103 hasConceptScore W90585103C108710211 @default.
- W90585103 hasConceptScore W90585103C114614502 @default.
- W90585103 hasConceptScore W90585103C118615104 @default.
- W90585103 hasConceptScore W90585103C134306372 @default.
- W90585103 hasConceptScore W90585103C135598885 @default.
- W90585103 hasConceptScore W90585103C136119220 @default.
- W90585103 hasConceptScore W90585103C159985019 @default.
- W90585103 hasConceptScore W90585103C192562407 @default.
- W90585103 hasConceptScore W90585103C199360897 @default.
- W90585103 hasConceptScore W90585103C202444582 @default.
- W90585103 hasConceptScore W90585103C204323151 @default.
- W90585103 hasConceptScore W90585103C2524010 @default.
- W90585103 hasConceptScore W90585103C33923547 @default.
- W90585103 hasConceptScore W90585103C41008148 @default.
- W90585103 hasConceptScore W90585103C9376300 @default.
- W90585103 hasLocation W905851031 @default.
- W90585103 hasOpenAccess W90585103 @default.
- W90585103 hasPrimaryLocation W905851031 @default.
- W90585103 hasRelatedWork W1566095561 @default.
- W90585103 hasRelatedWork W1980055152 @default.
- W90585103 hasRelatedWork W2038058258 @default.
- W90585103 hasRelatedWork W2072995447 @default.
- W90585103 hasRelatedWork W2536688806 @default.
- W90585103 hasRelatedWork W2577639125 @default.
- W90585103 hasRelatedWork W2592308996 @default.
- W90585103 hasRelatedWork W2660230852 @default.
- W90585103 hasRelatedWork W2907050172 @default.
- W90585103 hasRelatedWork W2945670815 @default.
- W90585103 hasRelatedWork W2949566844 @default.
- W90585103 hasRelatedWork W2950821282 @default.
- W90585103 hasRelatedWork W2963091268 @default.
- W90585103 hasRelatedWork W2978725045 @default.
- W90585103 hasRelatedWork W3029679829 @default.
- W90585103 hasRelatedWork W3037199564 @default.
- W90585103 hasRelatedWork W3091154708 @default.
- W90585103 hasRelatedWork W3098542245 @default.
- W90585103 hasRelatedWork W3100411620 @default.
- W90585103 hasRelatedWork W3176064637 @default.
- W90585103 isParatext "false" @default.
- W90585103 isRetracted "false" @default.
- W90585103 magId "90585103" @default.
- W90585103 workType "book-chapter" @default.