44 resultados para generalized hypergeometric functions


Relevância:

30.00% 30.00%

Publicador:

Resumo:

Mathematics Subject Classification: 26A16, 26A33, 46E15.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Mathematics Subject Classification: 26A33, 33C20.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Mathematics Subject Classification: 33E12, 33FXX PACS (Physics Abstracts Classification Scheme): 02.30.Gp, 02.60.Gf

Relevância:

30.00% 30.00%

Publicador:

Resumo:

2000 Mathematics Subject Classification: 26A33, 33C45

Relevância:

30.00% 30.00%

Publicador:

Resumo:

2000 Mathematics Subject Classification: 35E45

Relevância:

30.00% 30.00%

Publicador:

Resumo:

2000 Mathematics Subject Classification: Primary 46F25, 26A33; Secondary: 46G20

Relevância:

30.00% 30.00%

Publicador:

Resumo:

AMS Subj. Classification: 11M41, 11M26, 11S40

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Иван Гинчев - Класът на ℓ-устойчивите в точка функции, дефиниран в [2] и разширяващ класа на C1,1 функциите, се обобщава от скаларни за векторни функции. Доказани са някои свойства на ℓ-устойчивите векторни функции. Показано е, че векторни оптимизационни задачи с ограничения допускат условия от втори ред изразени чрез посочни производни, което обобщава резултати от [2] и [5].

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Магдалина Василева Тодорова - В статията е описан подход за верификация на процедурни програми чрез изграждане на техни модели, дефинирани чрез обобщени мрежи. Подходът интегрира концепцията “design by contract” с подходи за верификация от тип доказателство на теореми и проверка на съгласуваност на модели. За целта разделно се верифицират функциите, които изграждат програмата относно спецификации според предназначението им. Изгражда се обобщен мрежов модел, специфициащ връзките между функциите във вид на коректни редици от извиквания. За главната функция на програмата се построява обобщен мрежов модел и се проверява дали той съответства на мрежовия модел на връзките между функциите на програмата. Всяка от функциите на програмата, която използва други функции се верифицира и относно спецификацията, зададена чрез мрежовия модел на връзките между функциите на програмата.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

2000 Mathematics Subject Classification: 62J12, 62F35

Relevância:

30.00% 30.00%

Publicador:

Resumo:

2000 Mathematics Subject Classification: Primary 32F45.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

MSC 2010: 46F30, 46F10

Relevância:

30.00% 30.00%

Publicador:

Resumo:

MSC 2010: 35J05, 33C10, 45D05

Relevância:

30.00% 30.00%

Publicador:

Resumo:

2000 Mathematics Subject Classification: 62E16,62F15, 62H12, 62M20.