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

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

Спецыяльныя эманацыі вышэй 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.

• ўвядзенне - увядзенне ў gdev функцыі, у тым ліку прыкладаў.
• Спампаваць gdev як частка Algolib бібліятэкі.
• работ - артыкулаў, напісаных аб gdev

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

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

Сістэмай, напісанай на Caml і Maple для выканання сярэднім выпадку складанасць аналізу алгарытмаў. Аўтар Бруна Salvy і Поль Цімермана. Кантакты: algolib@inria.fr.

• ўвядзенне - увядзенне сістэмы луо.
• Код - дабрацца да кода.
• работ - артыкулаў, напісаных аб ло

Заўважым, што вялікая Ло быў уключаны і мадэрнізаваны ў combstruct пакет, так што вы можаце праверыць, ці ёсць у першую чаргу.