44 resultados para generalized hypergeometric functions
Resumo:
Mathematics Subject Classification: 26A16, 26A33, 46E15.
Resumo:
Mathematics Subject Classification: 26A33, 33C20.
Resumo:
Mathematics Subject Classification: 33E12, 33FXX PACS (Physics Abstracts Classification Scheme): 02.30.Gp, 02.60.Gf
Resumo:
2000 Mathematics Subject Classification: 26A33, 33C45
Resumo:
2000 Mathematics Subject Classification: 35E45
Resumo:
2000 Mathematics Subject Classification: Primary 46F25, 26A33; Secondary: 46G20
Resumo:
AMS Subj. Classification: 11M41, 11M26, 11S40
Resumo:
Иван Гинчев - Класът на ℓ-устойчивите в точка функции, дефиниран в [2] и разширяващ класа на C1,1 функциите, се обобщава от скаларни за векторни функции. Доказани са някои свойства на ℓ-устойчивите векторни функции. Показано е, че векторни оптимизационни задачи с ограничения допускат условия от втори ред изразени чрез посочни производни, което обобщава резултати от [2] и [5].
Resumo:
Магдалина Василева Тодорова - В статията е описан подход за верификация на процедурни програми чрез изграждане на техни модели, дефинирани чрез обобщени мрежи. Подходът интегрира концепцията “design by contract” с подходи за верификация от тип доказателство на теореми и проверка на съгласуваност на модели. За целта разделно се верифицират функциите, които изграждат програмата относно спецификации според предназначението им. Изгражда се обобщен мрежов модел, специфициащ връзките между функциите във вид на коректни редици от извиквания. За главната функция на програмата се построява обобщен мрежов модел и се проверява дали той съответства на мрежовия модел на връзките между функциите на програмата. Всяка от функциите на програмата, която използва други функции се верифицира и относно спецификацията, зададена чрез мрежовия модел на връзките между функциите на програмата.
Resumo:
2000 Mathematics Subject Classification: 62J12, 62F35
Resumo:
2000 Mathematics Subject Classification: Primary 32F45.
Resumo:
MSC 2010: 46F30, 46F10
Resumo:
MSC 2010: 35J05, 33C10, 45D05
Resumo:
2000 Mathematics Subject Classification: 62E16,62F15, 62H12, 62M20.