Back to site
Since 2004, our University project has become the Internet's most widespread web hosting directory. Here we like to talk a lot about web servers, web development, networking and security services. It is, after all, our expertise. To make things better we've launched this science section with the free access to educational resources and important scientific material translated to different languages.

Камбінаторыка адказвае кампутарнай алгебры!

Камбінаторныя аналізу, дыскрэтнай матэматыкі і інфарматыкі алгебры асноўныя інтарэсы Праект алгарытмаў. Нашы пакеты можна паказаць, ствараць і пералічэння камбінаторныя структур; маніпуляваць звязаныя вырабляюць функцый, функцыянальных раўнанняў і рэцыдываў; вывучыць іх асімптатычнай паводзіны. Узаемадзеянне паміж гэтымі прыкладанняў служыць галоўнай мэты праекта Алгарытмы аўтаматычнага аналізу складанасці алгарытмаў. Тым не менш, доўгатэрміновыя даследаванні ў гэтым кірунку заахвоціла развіццё іншых пакетаў для маніпуляцый лінейных дыферэнцыяльных і рознасныя аператараў, разлікі Гребнера аснове, і сімвалічным сумавання і інтэгравання спецыяльных функцый і камбінаторныя паслядоўнасцяў.

Спецыяльныя эманацыі вышэй Algolib бібліятэку, якая збірае большасць нашых праграм у адзіны архіў і энцыклапедыя камбінаторныя структур, што забяспечвае доступ па ключавых словах, камбінаторныя характарыстыкі, якая вырабляе функцыі, закрытай форме або першы цэлых лікаў у паслядоўнасць пералічэння многіх камбінаторныя структуры. Многае з гэтага было аўтаматычна генеруецца з выкарыстаннем combstruct, gfun, і gdev.

Даследаванні ў галіне аўтаматычнай камбінаторыка шырокія сесій напрыклад, якія служаць увядзеннем у выкарыстанне нашых пакетаў, а таксама перадавыя сесій ілюструюць іх выкарыстанне ў вывучэнні камбінаторыкі, спецыяльныя функцыі і асімптатычнай аналіз. Таксама маецца Maple дапамагчы старонак у Algolib бібліятэкі.

Загрузка Algolib

Algolib бібліятэка збірае пакеты Maple распрацаваны камандай Algo у INRIA. У цяперашні час яна змяшчае combstruct, энцыклапедыі, gdev, gfun, Гребнера, голономии, Mad, Mgfun, шматсерыйнага, NumGfun, Ore_algebra, і regexpcount. Гэтыя пакеты (і больш), апісаны ніжэй. Электронная версія энцыклапедыі таксама даступная.

Algolib, версія 14,0 (10 снежня 2010 года). Для Maple14. Выпушчана пад GNU Lesser General Public License ( LGPL v2.1 ).

[ ридми | Клён бібліятэкі | старонак Клён дапамагчы | смалы зыходнага кода | tar.gz зыходнага кода]

Algolib, версія 13,0 (23 сакавіка 2010). Для Maple13. Выпушчана пад GNU Lesser General Public License ( LGPL v2.1 ).

[ ридми | Клён бібліятэкі | старонак Maple дапамагчы | смалы зыходнага кода | tar.gz зыходнага кода]

Звярніце ўвагу, што вам не трэба зыходны код для ўсталёўкі Algolib, толькі бібліятэкі і даведачныя старонкі (. ГНД і. HDB файлы).

Састарэлыя рэлізы

Пры выкарыстанні Algolib, мы будзем больш чым рады, калі вы можаце паведамляць нам пра выконваемай працы і па пытаннях выкарыстання і прымянення вы плануеце з Algolib.

Algolib Спіс дыфузіі

Калі вы хочаце атрымліваць электронныя анонсы новых рэлізаў Algolib, калі ласка, увядзіце Ваш адрас электроннай пошты тут, а затым націсніце на кнопку "Зарэгістравацца", каб здзейсніць:
(Мы не чакаем больш, чым некалькі паведамленняў годзе ў гэтым спісе.)

Нашы пакеты

gfun - пакет вырабляюць функцый

Пакет gfun выкарыстоўваецца для маніпуляцыі і адкрыццё вырабляюць функцый. Аўтар Бруна Salvy, Поль Цімермана і Eithne Мюрэй. Кантакты: gfun@inria.fr.

Ён мае свой уласны сайт, што вы можаце праверыць на самай апошняй версіі і шматлікія прыклады з рэальным жыцці.

Mgfun - шматмерны вырабляюць функцыі пакета

Mgfun пакет прызначаны толькі для разлікаў з шматмерных вырабляюць функцый, у прыватнасці, для іх сімвалічнай сумавання і інтэгравання, а для доказы адмысловыя функцыі і камбінаторныя тоеснасці. Яна таксама дазваляе аперацый у некоммутативной алгебры аператараў (напрыклад, руда або Вейл алгебры), ліквідацыя ў гэтых алгебры, а таксама аперацыі па голономных функцый. У прыватнасці, субпакетов Ore_algebra і Гребнера былі ўключаны ў асноўны бібліятэцы MapleV Release 5, у якасці замены для былых пакет Гребнера. Увесь набор пакетаў ўваходзіць Algolib бібліятэкі. Аўтар Фрэдэрык Chyzak.

regexpcount - рэгулярныя выразы і падлік

Regexpcount ўяўляе сабой пакет прысвечаны рэгулярных выразаў і Automatas апісана ў combstruct сінтаксісу, а ў выпадку Automatas, гэта палягчае пераклад вырабляюць функцый. Regexpcount забяспечвае таксама доступу да унутраным структурам Automatas апісана, як клён табліц. Пры падліку колькасці уваходжанняў матываў або рэгулярных выразаў у выпадковыя паслядоўнасці, якія ляжаць у аснове імавернасны мадэлі паслядоўнасцяў Бярнулі і Маркава.

gdev - раскладанне ў шэраг і абмежаванні

Сродак для больш агульнага раскладання ў шэрагі і абмежаванні. Выкарыстоўвае іншую мадэль для асімптатычнага раскладання ў шэрагі, чым asympt Maple і шэраг каманд. Уключае ў сябе аналагічныя функцыі, згаданыя ў агляднай артыкуле. эквівалентнай робіць асимптотики каэфіцыентаў Тэйлара, карысным пры вывучэнні вырабляюць функцый. Аўтар Бруна Salvy.

Аўтаматычная асімптатычна сярэднім выпадку аналізу алгарытмаў

Луо - сістэма для аналізу алгарытмаў

Сістэмай, напісанай на Caml і Maple для выканання сярэднім выпадку складанасць аналізу алгарытмаў. Аўтар Бруна Salvy і Поль Цімермана. Кантакты: algolib@inria.fr. Заўважым, што вялікая Ло быў уключаны і мадэрнізаваны ў combstruct пакет, так што вы можаце праверыць, ці ёсць у першую чаргу.
Published (Last edited): 21-06-2011 , source: http://algo.inria.fr/libraries/