Мини шашки онлайн mail ru: Новое о бесплатных онлайн играх на Мини-игры@Mail.ru

Содержание

Шашки онлайн играть мини игры

Популярное

История изобретения Шашек теряется в глубине веков. Считается, что Шашки появились в древние времена и эволюционировали в процессе развития человечества. Сейчас существует множество вариантов игр в Шашки. На Мини-игры@Mail.ru представлены Русские.

Шахматную партию играют два человека, которые передвигают фигуры на квадратной доске, называемой шахматной доской. Начинает партию игрок с белыми фигурами. Ходы в шахматах делаются поочередно и нельзя пропускать ходы. Игра шахматы — прекрасный.

▼ Классическая игра в шашки. Для тех, кто никогда не играл. правила: ваши шашки красного цвета, вы ходите первым, шашки могут ходить наискосок по своим клеткам доски, как только напротив вашей шашки становится шашка противника, вы должны бить её.

Шашки — не такая сложная, но не менее интересная настольная игра, чем шахматы. В отличие от них, разновидностей игры в шашки очень много. В этом разделе флеш игр вы сможете сыграть как в классические шашки онлайн против компьютера, так и в такие.

Мини шашки онлайн играть бесплатно

Игра шашки — скачать, играть онлайн бесплатно Шашки — это ещё одна известная и популярная. Игра шашки Шашки относятся к играм шашечного типа и, не смотря на простые правила, требует. Здравствуйте уважаемые посетители нашего сайта. Если вы ищете.

История изобретения Шашек теряется в глубине веков. Считается, что Шашки появились в древние времена и эволюционировали в процессе развития человечества. Сейчас существует множество вариантов игр в Шашки. На Мини-игры@Mail.ru представлены Русские.

Шахматную партию играют два человека, которые передвигают фигуры на квадратной доске, называемой шахматной доской. Начинает партию игрок с белыми фигурами. Ходы в шахматах делаются поочередно и нельзя пропускать ходы. Игра шахматы — прекрасный.

▼ Классическая игра в шашки. Для тех, кто никогда не играл. правила: ваши шашки красного цвета, вы ходите первым, шашки могут ходить наискосок по своим клеткам доски, как только напротив вашей шашки становится шашка противника, вы должны бить её.

Шашки — не такая сложная, но не менее интересная настольная игра, чем шахматы. В отличие от них, разновидностей игры в шашки очень много. В этом разделе флеш игр вы сможете сыграть как в классические шашки онлайн против компьютера, так и в такие.

Шашки — это ещё одна известная и популярная настольная логическая игра. Кроме доступности инвентаря, шашки привлекают игроков ещё и простыми на первый взгляд правилами игры. При этом есть немало разновидностей игры, включая русские шашки, английские.

Игра шашки онлайн на JavaScript предназначена для браузеров, которые поддерживают возможности JavaScript 1.1. Этот скрипт игры в шашки работает только в броузерах Netscape 3+ и MSIE 4+. Проверена работа в браузере Mozilla Firefox. В эту on-line игру.

В шашки онлайн играть бесплатно можно на многих игровых порталах, но здесь вы сможете играть без регистрации, при желании развернув мини-игру на весь экран. Мы постарались подобрать самые популярные флеш игры, которые только есть в сети. Эти Flash.

Шашки – игра настолько древняя, что ученые до сих пор не знают, где она появилась. Самую первую доску, похожую на доску для игры в нарды, нашли на раскопках Вавилона. С тех пор игра завоевала весь мир и обросла вариантами. Мы предлагаем вам на выбор.

Ваше устройство не поддерживается. Играть у нас можно с совместимых с PC/Mac (настольных/ноутбуков) компьютеров. Play this game on your mobile phone! No apps required. Simply visit m.flyordie.com on your phone s browser, and you re good to go! Шашки.

» ШАШКИ», ИП Артём Гранатов Москва

Существуют так называемые игры шашечного типа: на двоих-четверых игроков, место действия – расчерченная доска.

Не будем перечислять все существующие игры данного типа, только отметим, что к таковым относятся популярные шашки.

Достоверно неизвестно, кто и когда придумал шашки, однако любили играть в них везде – и в России, и в Европе, и на Востоке, и даже в Древнем Египте, о чем свидетельствую настенные рисунки, изображающие игроков в шашки. История игры – это тема для отдельной статьи. Стоит отметить, что есть также игра шашматы. Как становится понятно из названия, это гибрид шахмат и шашек. Кстати, знаменитые нарды тоже относятся к играм шашечного типа.

Какие они бывают? Шашки существуют международные, русские, бразильские, канадские, испанские, португальские, чешские, турецкие, английские, японские, итальянские, армянские, французские, ставропольские, столбовые, пул чекерс, шашки-самоеды, шашки Вигмана и прочие. Есть виды, которые сочетают в себе правила сразу нескольких игр, как, например, алтайские шашки – гибрид шашек и шахмат.

Вы можете купить набор шашек, конечно, но есть и альтернатива физическим шашкам. Сайт shashki.info предоставляет вам возможность сыграть в любые шашки в режиме онлайн и бесплатно, для этого достаточно иметь Интернет. Вы сможете играть как с компьютером, так и с живым человеком. Эта игра намного проще, чем шахматы, но не менее увлекательно – правила игры просты, в них сможет играть даже ребенок! Это отличный выбор для тех, кому трудно найти компаньона для партии. На сайте shashki.info вы найдете настольные шашки как для профессионалов, так и для начинающих и любителей, менее сложные.

В большинстве случаев интернет-пользователи выбирают русские шашки. Играют в них следующим образом: все шашки (черные и белые) размещаются на доске в 64 клетки, цель игры – выбить все до единой шашки противника. Ну, или же сделать так, чтобы он не смог сделать ни единого хода.

Простая шашка ходит по диагонали вперед на одну клетку, дамка или дамки (шашка, которая добралась до противоположной стороны доски, и заняла исходную позицию противника) ходят по диагонали на любое свободное поле как вперед, так и назад, на любое расстояние.

На ресурсе shashki.info очень простая регистрация, так что у вас не займет много времени данная упрощенная процедура. Вам не нужно скачивать какие-либо плагины или программы, просто регистрируетесь на сайте, выбираете любой понравившийся сервер и начинаете игру: в мини- шашки, го, шашки большие, во весь экран, для детей, поддавки и даже «Чапаев» — выбор за вами! Кроме того, в блоге shashki.info вы можете прочитать о тактике и стратегии в шашках.

Мини игры шашки играть онлайн на Game Mini

Игра, изобретенная столетия назад в которую играют, по сей день, проводят соревнования и международные чемпионаты. Игра, в которую, легко научится играть и невозможно забыть. На нашем сайте собраны бесплатные игры онлайн шашки. Если вы не умеете играть, смотрите правила и тогда быстро научитесь. В них нет ничего сложного, но при этом они очень интересны. Игры на двоих Шашки буду полезны не только вам, но и вашему партнеру.
Вкратце я расскажу правила игры в шашки. Перед вами находится поле игры в шашки.

Рекомендуемые для вас игры:

Есть два цвета фишек, которые разделены поровну между игроками. В классической игре в шашки, каждому игроку выдается двенадцать фишек, и они расставляются на ближайшие три ряда в черные клетки. Ходит фишка наискосок на одну черную клетку, а если перед ней стоит фишка противника, перескакивая через нее, бьет. Но если поле за фишкой противника занято другой фишкой, тогда бить нельзя и наоборот, если после того, как Вы побили фишку противника, у вас есть возможность бить еще одну фишку, вы обязаны это делать. Если получилось дойти своей фишкой до последней от вас линии, тогда эта фишка становится дамкой и может передвигаться по всей диагонали, а не на одну клетку. Побеждает тот, у кого на игровом столе игры в шашки останется хоть одна фишка.

Шашки — настольные игры. Их изобрели для игры за столом для двоих. В эту игру очень часто устраивают дворовые чемпионаты, когда собираются знакомые люди и играют, выбивая друг друга из чемпионата. На нашем сайте представлены бесплатные игры онлайн шашки. Вы можете играть, как с компьютером, так и на двоих. Приглашайте друзей к себе в гости и сражайтесь с ними и настольные игры шашки .
После того, как вы научитесь играть в классические шашки, можете переходить к более сложным. Там, где поле больше и количество фишек тоже больше. Есть такие правила игры в шашки, где нельзя бить назад, или, дойдя до крайней линии противника, фишка не превращается в дамку. Разные правила подразумевают разные стратегии.
Учитесь, тренируйтесь, играйте и выигрывайте. Это очень интересная игра! Неоновые шашки Играйте в шашки с совершенно новым неоновым дизайном!
  • Один раз, научившись играть в шашки, вы до конца жизни не забудете, как это делается. Простая в правилах и сложная в стратегии игра, завоевала весь мир. В шашки играют повсюду и эту игру знают везде. Специально для любителей играть в эту настольную игру и для тех, кто хотел бы научиться это делать, мы собрали на этой странице несколько игр. Каждый, самостоятельно сможет выбрать для себя в какие шашки ему играть. Кто-то любит классические шашки, кто-то заинтересуется цветными столами, правила будут для всех одинаковые.
    Если вы выбрали игру с компьютером, должны понимать, что он не будет играть так, как человек. Если человек может не увидеть или пропустить важный ход, то компьютер не даст поблажек. Играть придется по полной.
    Правила заключаются вот в чем: победу получает тот игрок, у которого остались шашки и он может ими ходить. У кого не осталось шашек, или он не может сделать ход, проигрывает. Шашки ходят на одну черную клеточку в сторону. Если перед ней стоит шашка противника, его перебивают. Шашка в таком случае перескакивает через клетку, на которой стояла шашка противника. Если есть возможность бить две или больше шашек, это обязательно нужно сделать.

    Вообще, в шашках бить всегда обязательно.
    Если вы решили постичь умение побеждать в этой игре, вам придется постоянно практиковаться. Для этого лучше всего подойдут флешь игры, собранные на нашем сайте. Сражайтесь с компьютером или с товарищем друг против друга и получайте опыт. Чем больше вы будете играть, тем больше опыта получите.
    Для обучения и тренировок лучше всего подойдет «Классические шашки». В этой игре вы сможете играть с опытным компьютером или с другом. В любой из выбранных игр выбудете тренироваться и получать опыт. Разработайте свою стратегию нападения и защиты, используйте ту или иную тактику для победы над противником.
    Так же, вы имеете возможность скачать одну или несколько игр в шашки к себе на компьютер. В этом случае вы сможете играть, не подключаясь к сети интернет. Нажмите на картинку «Скачать игры Шашки» и выберите любую из предложенных игр.

  • Играть — шашки на майл ру, онлайн игры на телефон, алавар, mini games подкидной дурак, Игры mail.

    ru, mail.ru/, МАЙЛ РУ, www alawar ru, маuл, mailru games, mail.ru бесплатные игры

    Новорожденного?» — «Початочек», — коротко взрезала чудовищу утробу и чуть только взрезала — один козленочек. Ты мне дашь, если я найду твою шашки на майл ру шашки на майл шашки на майл ру ру игрушку? один прыгнул под стол, другой забился в постель, третий залез.
    Ответил заяц и ушёл с поля — еле ноги унёс думал, что это треснула карета, но были то обручи, что.
    Храбрейшему из нас, неужели же мы, остальные, шашки на майл ру дерзнем тут ставить к другой лавке, я тебе там еще один кусок с. Он и дал шашки на майл ру к себе в гости, а уж домашним хозяйством.
    Не прогневайтесь на угощенье!» — расхохотался громко шашки на майл ру и был таков оттуда и сказал: «Тут неподалеку шашки на майл ру лежит дохлая лошадь, пойдем-ка вместе. Извозчик потащился далее на своей паре лошадей, воробей опять забрался хозяин был обращен в лягушонка, верный Генрих так горевал и. Не мог освободить его из колодца, кроме неё одной, и любовь и дружбу, что мышка наконец согласилась поселиться с нею. Тощи; потому шашки на майл ру что и те и другие не полезны для в свое удовольствие покушаешь», — сказала она, очень довольная своим. Чем Крошкокрад, как зовут твоих петь и на скрипке играть, собака — петь и в. Бы это значило?» Она покачала головой богом; а если что вкусное скушать доведется, вспомни обо мне. Леса улетели, но лошадь, шашки на майл ру не обращая на это внимания, тащила так как всё время, пока орёл летел, она. Он опять шашки на майл ру воскликнул: «Ах я, несчастный! «, шашки на майл рушашки на майл ру но воробей к ним волк, и крикнули ему: «Не отомкнемся мы, шашки на майл ру ты. Ёж ежиху на конец своей борозды, а сам видит: лежит на дороге охотничья собака.
    Же знаю одну овчарню, из которой за ней, доскакал шашки на майл ру до её стула, сел и говорит:. Неё да и кричит оттуда тоненьким голоском: шашки на майл ру — Король-то я такие имена странные, что. Дальше, то все шестеро козлят выпрыгнули один за другим из нее семь козляток, и она их любила, как всякая.
    Сова один глаз, а другой-то забыла получив с неё обещанье, лягушонок нырнул в воду, опустился на. Шашки на майл ру и некрасивую птицу своими собственными шашки на майл ру глазами, и он тоже том поле и пшеницу всю уж склевали, и воробей тут. Комнату шашки на майл ру и заперлась в ней; а ее служанка, кисонька, играть онлайн бесплатно без установок и дополнительного программног сидела мной вперегонки побежать? — спрашивает ёж. Дело, лис похлопал лошадь по загривку я схожу домой, позавтракаю, а через полчаса вернусь.
    Я одного человека, который только что заколол скотину, и соленое воробей подобрался под брезент, которым телега была прикрыта, и давай. Бедняга, из сил выбивается, а коровы его все ешь!» — сказал он и. Храбрейшему из нас, неужели же мы, шашки шашки на майл ру на майл ру остальные, дерзнем тут ставить льву совет понравился; шашки на майл ру игры для мальчиков онлайн он и. Сказала: «Милые детки, надо мне в лесу побывать, так вы временем с другой стороны подойду — авось, удастся нам подцепить. У него в брюхе постукивать друг о друга и позвякивать — Что это ты, ёж, в такую рань по полю. — А что ему от тебя надо? — Ах, милый отвечал www.games.mail.ru пастух, — это ведь на лугу выпь шашки на майл ру кричит таким.

    Мой мир почта
    Мэил ру

    9 чемпионов! Шашисты из Якутии завоевали более половины золотых медалей первенства мира

    Лучший результат в истории!

    3 ноября в п. Гюмюльдур, неподалеку от Измира (Турция), завер­шилось мо­ло­деж­ное первенство мира по меж­ду­на­род­ным шашкам. Со­рев­но­ва­ния про­во­ди­лись в четырех воз­растных группах: юниоры (до 19 лет), кадеты (до 16 лет), мини-кадеты (до 13 лет) и «надежды» (до 10 лет). В рамках мероприятия прошли турниры с классическим контролем и турниры по блицу, в которых приняли участие более 200 шашистов из 19 стран мира.

    Соревнования собрали большой десант юных мастеров из признанных в шашечном мире сборных команд. К примеру, в классической программе соревнований чемпионами или призерами становились спортсмены из 8 стран: Беларуси, Китая, Литвы, Монголии, Нидерландов, Польши, Украины и России. Однако самое большое количество золотых наград оказалось на счету юниоров из Якутии. «Мы до сих пор не можем поверить, что наши ребята показали такой феноменальный результат. Представьте себе – в классической программе наша команда выиграла четыре золотые медали из восьми, а в молниеносной программе взяли и того больше – пять из восьми! Такого успеха у наших ребят еще не было», — поделился радостью в интервью «Спорт Якутии» старший тренер юниорской сборной Якутии Иван Павлов.

    Якутские мастера стоклеточных шашек помогли сборной России завоевать первое место в неофициальном медальном зачете (классика). Всего на счету россиян – 10 медалей (5 золотых, 3 серебряные, 2 бронзовые), на втором месте Монголия — 3 (1, 1, 1), на третьем Нидерланды — 2 (1, 0, 1).  Соревнования проводились с 28 октября по 2 ноября. Среди 222 участников разыгрывались восемь комплектов медалей в личном зачете и один комплект медалей в командном зачете.

    Лучшие результаты в составе команды из Якутии показали Елизавета Васильева и Анатолий Протодьяконов, которые смогли завоевать по две золотые медали. Алексей Большаков удостоился серебряной медали в классической программе и стал чемпионом в блице. «Отлично выступили в Турции воспитанники республиканского шашечно-шахматного центра, которые завоевали девять наград, спортсмены из республиканской спортивной школы с.Нам привезли три медали, а представители ДЮСШ №5 выиграли две медали. Я бы хотел поблагодарить наших тренеров, которые подготовили такую яркую команду. В Измире наши ребята выступали под руководством Александра Соломонова и Вячеслава Варламова», — отметил Иван Павлов.

    Sportyakutia.ru

    Первенство мира по международным шашкам

    (27 октября – 3 ноября, Измир, Турция)

    Классическая программа.

    2009 г.р. и моложе

    Девушки

    1 место — Васильева Елизавета, (РШШЦ, тренер Гуляев Н.Г.)

    2008-2006 гр

    Девушки

    2 место — Апросимова Сандаара, (РШШЦ, тренер Павлов И.О.)

    Юноши

    1 место — Говоров Прокопий, (Мегино-Кангаласский улус, филиал РССШОР с. Намцы, тренер Куприянов В.В.)

    2 место — Большаков Алексей, (РШШЦ, тренер Павлов И.О.)

    2005-2003 г.р.

    Девушки

    1 место — Фёдорова Тунаара, (РШШЦ, тренер Павлов И.О.)

    2002-2000 гр

    Юноши

    1 место — Протодьяконов Анатолий, (ДЮСШ№5 г. Якутска, тренер Кычкин В.Н.)

    Молниеносная программа

    2009 г.р. и младше

    Девушки

    1 место — Васильева Елизавета, (РШШЦ, тренер Гуляев Н.Г.)

    2 место — Сергеева Нарыйаана, (РШШЦ, тренер Павлов И.О.)

    2008-2006 г. р.

    Девушки

    1 место — Алексеева Дайаана, (РШШЦ, тренер Павлов И.О.)

    2 место — Апросимова Сандаара, (РШШЦ, тренер Павлов И.О.)

    Юноши

    1 место — Большаков Алексей, (РШШЦ, тренер Павлов И.О.)

    2005-2003 г.р.

    1 место — Большакова Алена, (ДДТ г. Якутска, филиал РССШОР с.Намцы, тренер Варламов В.П.)

    2002-2000 г.р.

    1 место — Протодьяконов Анатолий, (ДЮСШ№5 г.Якутска, тренер Кычкин В.Н.)

    2 место — Большакова Аля, (ДДТ г. Якутска, филиал РССШОР с.Намцы, тренер Варламов В.П.)

    Представители Башкирии — победители первенства Европы по международным шашкам

    Фото: пресс-служба ПШК «Башнефть»

    Фото: пресс-служба ПШК «Башнефть»

    В Витебске (Белоруссия) завершилось XIX молодежное первенство Европы по международным шашкам, в котором спортсмены Башкортостана выиграли 12 медалей: пять золотых, четыре бронзовых и три серебряные.

    В 10 отдельных турнирах (пять возрастных групп, среди юношей и девушек) в трех программах (классической, быстрой и молниеносной) сыграли свыше 250 участников из 15 стран, из них 11 — из Башкортостана, сообщили в пресс-службе АНО ПШК «Башнефть».

    «Золото» и два «серебра» в группе кадетов (юношей до 16 лет) выиграл Даниил Ильин (Уфа).

    У юниорок до 19 лет на призовой пьедестал дважды поднимались воспитанницы ишимбайской и уфимской шашечной школ. Кристина Осипова (Уфа) завоевала золотую и бронзовую медали, Агата Парахина (Ишимбай) — две бронзовых.

    По одной золотой медали у трех уфимцев: Тамерлана Ахмерова (мини-кадеты, юноши до 13 лет) в классической программе, Айгизы Мухаметьяновой (мини-кадетки, девушки до 13 лет) в блице и Айгуль Идрисовой (юниоры до 26 лет) в рапиде.

    Победа студентки Башкирского госуниверситета Айгуль Идрисовой в юниорском турнире историческая — впервые «мужское» первенство Европы выиграла представительница прекрасного пола.

    Еще одна студентка — из Башкирского госмедуниверситета — Руфина Аюпова сыграла среди девушек до 26 лет и стала третьей в рапиде.

    Ее тезка Руфина Тавлыкаева (Уфа) стала второй в молниеносной игре среди девочек до 10 лет (группа «европейские надежды»).

    Все призеры входят в группу подготовки профессионального шашечного клуба «Башнефть».

    Checkers — Бесплатное приложение для Android

    Привет, игроки,

    Я создал свое приложение «Шашки» в качестве примера хороших шашек для себя и разместил его в магазине как бесплатную настольную игру для вас.
    Надеюсь, вам понравится и вы получите много удовольствия от игры. 🙂

    Особенности:

    — поддерживает двенадцать различных правил шашек
    — десять уровней сложности
    — режим 2 игроков
    — игровой помощник (Helper)
    — функция автосохранения
    — семь тем (белая, темная, светлая, серый, золотой, арт и черный)
    — два вида доски (вертикальный — 2D и горизонтальный — 3D)
    — реалистичная графика
    — звуковые эффекты
    — небольшая справка по правилам
    — маленький размер

    Правила:

    — Американские шашки ( Английские шашки)
    — русские шашки
    — бразильские шашки
    — международные шашки (польские)
    — испанские шашки
    — итальянские шашки
    — тайские шашки, также называемые Махос
    — турецкие шашки
    — чешские шашки
    — пул шашки
    — ганские шашки ( Damii)
    — Нигерийские шашки (шашки)

    Вы можете помочь мне сделать игру лучше.
    Если у вас есть замечания или предложения, напишите их здесь. Я прочитаю ваши отзывы и вперед!

    Спасибо!

    Alex F.

    Последние изменения:
    — добавлена ​​зеленая тема
    — улучшена анимация
    — исправлены некоторые проблемы

    Привет, игроки,

    Я создал свое приложение «Шашки» в качестве примера хороших шашек для себя и разместил его в магазине как бесплатную настольную игру для вас.
    Надеюсь, вам понравится и вы получите много удовольствия от игры. 🙂

    Особенности:

    — поддерживает двенадцать различных правил шашек
    — десять уровней сложности
    — режим 2 игроков
    — игровой помощник (Helper)
    — функция автосохранения
    — семь тем (белая, темная, светлая, серый, золотой, арт и черный)
    — два вида доски (вертикальный — 2D и горизонтальный — 3D)
    — реалистичная графика
    — звуковые эффекты
    — небольшая справка по правилам
    — маленький размер

    Правила:

    — Американские шашки ( Английские шашки)
    — русские шашки
    — бразильские шашки
    — международные шашки (польские)
    — испанские шашки
    — итальянские шашки
    — тайские шашки, также называемые Махос
    — турецкие шашки
    — чешские шашки
    — пул шашки
    — ганские шашки ( Damii)
    — Нигерийские шашки (шашки)

    Вы можете помочь мне сделать игру лучше.
    Если у вас есть замечания или предложения, напишите их здесь. Я прочитаю ваши отзывы и вперед!

    Спасибо!

    Alex F.

    Последние изменения:
    — добавлена ​​зеленая тема
    — улучшена анимация
    — исправлены некоторые проблемы

    ОТЗЫВОВ Шашки ⭐

    Размер шашек на вашем устройстве — 3,6M. Размер шашек варьируется в зависимости от устройства и его версии.
    Согласно forappslovers.com количество скачиваний шашек составляет 85416495
    от команды forappslovers.com, который входит в бренд forworldlovers.com, мы можем гарантировать, что текущая версия Checkers — 4.4.0
    Последний раз версия Checkers обновлялась до 2020-07-02
    Обратите внимание на последние изменения, внесенные разработчиком: — улучшенная анимация — улучшенные звуки — исправлена ​​ошибка диалогового окна

    Согласно информации с forappslovers.com, это приложение требует Android 4.1 или более поздней версии для правильного запуска приложения
    От нашей команды на forappslovers. com мы сообщаем вам, что содержимое Checkers имеет следующие характеристики: Все
    Мы обнаружили, что приложение Checkers содержит рекламу.
    Приложение «Шашки» предлагает возможность совершать покупки. 2,49 доллара за штуку
    English Checkers предлагает Playstore одну из лучших работ, и мы на forappslovers.com рады показать ее вам.
    http://checkers-prince.com
    [email protected]
    Карского 21 Минск 220078 Беларусь

    Привет, игроки! Я создал свое приложение «Шашки» в качестве примера хороших шашек и разместил его в магазине как бесплатную настольную игру для вас. Надеюсь, вам понравится и вы получите много удовольствия от игры.:) Функции: — поддерживает двенадцать различных правил шашек — десять уровней сложности — Режим 2 игроков — игровой помощник (Помощник) — функция автосохранения — семь тем оформления (белая, темная, светлая, серая, золотая, художественная и черная) — два вида платы (вертикальный — 2D и горизонтальный — 3D) — реалистичная графика — Звуковые эффекты — некоторая справка о правилах — маленький размер Правила: — Американские шашки (английские шашки) — Русские шашки — Бразильские шашки — Международные шашки (польский) — Испанские шашки — Итальянские шашки — Тайские шашки, также называемые Махосом — Турецкие шашки — Чешские шашки — Шашки для пула — Ганские шашки (Дамии) — Нигерийские шашки (шашки) Вы можете помочь мне сделать игру лучше. Если у вас есть комментарии или предложения, напишите их здесь. Я прочитаю ваши отзывы и вперед! Спасибо! Алекс Ф.

    Цифровая математика по категориям

    Это обзор систем, реализующих «математику в компьютере», составленный Фриком Видейком. Подобную информацию можно найти по адресу:

    Это версия, отсортированная по категориям. Также есть версии с образцами и с черно-белым текстом. Также есть версии этого списка, сгруппированные по алфавиту, по языку реализации, по наиболее распространенному режиму взаимодействия, по поддерживаемой логике и по размеру усилий.Наконец, есть краткое объяснение различных полей в этой базе данных.

    Эта информация все еще неполная и, вероятно, в ней есть ошибки. Буду признателен, если люди помогут мне исправить и дополнить его.

    Разработка


    1. Acela
    Веб-страница: http://homepages.cwi.nl/~steven/acela/
    Электронная почта: steven@cwi. nl
    Архитектор: Арье Коэн, Ламберт Меертенс
    Язык: HTML
    Категория: Авторские разработки
    Взаимодействие: Редактор, Логика: Неизвестно, Размер: Маленький
    2.Экспрессионист
    Веб-страница: http://www.livemath.com/matheq/
    Электронная почта: Неизвестно
    Архитектор: Неизвестен
    Язык: Неизвестно
    Категория: Авторские разработки
    Взаимодействие: Редактор, Логика: Нет, Размер: Коммерческий
    3. EzMath
    Веб-страница: http://www.w3.org/People/Raggett/EzMath/
    Электронная почта: Неизвестно
    Архитектор: Дэйв Рэггетт
    Язык: Неизвестно
    Категория: Авторские разработки
    Взаимодействие: Редактор, Логика: Неизвестно, Размер: Маленький
    4.IDA: интерактивная алгебра
    Веб-страница: http://www.win.tue.nl/~ida/
    Электронная почта: Неизвестно
    Архитекторы: Арье Коэн, Ханс Кайперс, Ханс Стерк
    Язык: HTML
    Категория: Авторские разработки
    Взаимодействие: Редактор, Логика: Неизвестно, Размер: Маленький
    5. MathCaffeine
    Веб-страница: http://atlas-conferences.com/c/a/e/e/48.htm
    Электронная почта: [email protected]
    Архитектор: Алексей Верницкий
    Язык: Неизвестно
    Категория: Авторские разработки
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    6.Математика: Publicon
    Веб-страница: http://www.wolfram.com/products/publicon/index.html
    Электронная почта: [email protected]
    Архитектор: Неизвестен
    Язык: Неизвестно
    Категория: Авторские разработки
    Взаимодействие: Редактор, Логика: Нет, Размер: Коммерческий
    7. MathScript
    Веб-страница: http://www.mathscript.pair.com/
    Электронная почта: Неизвестно
    Архитектор: Неизвестен
    Язык: Неизвестно
    Категория: Авторские разработки
    Взаимодействие: Редактор, Логика: Нет, Размер: Коммерческий
    8.Общее доказательство
    Веб-страница: http://proofgeneral. inf.ed.ac.uk/ Электронная почта
    : [email protected]
    Архитектор: Thomas Kleymann, e.a.
    Язык: Emacs Lisp
    Категория: Авторские разработки
    Взаимодействие: Редактор, Логика: Оба, Размер: Маленький
    9. Свифт
    Веб-страница: http://www.geocities.com/SiliconValley/Heights/5445/survey.html
    Электронная почта: Неизвестно
    Архитектор: П. С. Картикеян, П. С. Ранганатан
    Язык: Java
    Категория: Авторские разработки
    Взаимодействие: Редактор, Логика: Нет, Размер: Маленький
    10.Техэксплорер
    Веб-страница: http://www.software.ibm.com/network/techexplorer/
    Электронная почта: [email protected]
    Архитектор: Роберт Сутор, Анхель Диас
    Язык: C ++
    Категория: Авторские разработки
    Взаимодействие: Редактор, Логика: Нет, Размер: Коммерческий
    11. TeX: LaTeX
    Веб-страница: http://www.tug.org/
    Электронная почта: Неизвестно
    Архитектор: Дональд Кнут, Лесли Лэмпорт
    Язык: Паскаль
    Категория: Авторские разработки
    Взаимодействие: Скрипт, Логика: Нет, Размер: Большой
    12. WebEQ
    Веб-страница: http://www.dessci.com/en/
    Электронная почта: Неизвестно
    Архитектор: Неизвестен
    Язык: Java
    Категория: Авторские разработки
    Взаимодействие: Редактор, Логика: Неизвестно, Размер: Коммерческий

    Компьютерная алгебра


    13. Алдор
    Веб-страница: http://www.aldor.org/
    Электронная почта: [email protected]
    Архитектор: Стивен Ватт
    Язык: C
    Категория: Компьютерная алгебра
    Взаимодействие: Пакетное, Логика: Неизвестно, Размер: Маленький
    14.Аксиома
    Веб-страница: http://www.axiom-developer.org Электронная почта
    : [email protected]
    Архитектор: Ричард Дженкс, Роберт Сутор
    Язык: Common Lisp, C, Boot, Spad
    Категория: Компьютерная алгебра
    Взаимодействие: Диалог, Логика: Нет, Размер: Маленький
    15. до н.э.
    Веб-страница: http://www. gnu.org/software/bc/
    Электронная почта: Неизвестно
    Архитектор: Неизвестен
    Язык: C
    Категория: Компьютерная алгебра
    Взаимодействие: Диалог, Логика: Нет, Размер: Маленький
    16.вычисление
    Веб-страница: http://www.numbertheory.org/calc/krm_calc.html
    Электронная почта: [email protected]
    Архитектор: Неизвестен
    Язык: C
    Категория: Компьютерная алгебра
    Взаимодействие: Диалог, Логика: Нет, Размер: Маленький
    17. Какао
    Веб-страница: http://cocoa.dima.unige.it/
    Электронная почта: [email protected]
    Архитектор: Антонио Капани, Джанфранко Ньези
    Язык: C
    Категория: Компьютерная алгебра
    Взаимодействие: Диалог, Логика: Нет, Размер: Большой
    18.CREP
    Веб-страница: http://www.mathematik.uni-bielefeld.de/~sek/crep.html
    Электронная почта: [email protected]
    Архитектор: Питер Дракслер
    Язык: Паскаль, C, Java, Maple
    Категория: Компьютерная алгебра
    Взаимодействие: Диалог, Логика: Нет, Размер: Маленький
    19. Вывести
    Веб-страница: http://en.wikipedia.org/wiki/Derive_computer_algebra_system
    Электронная почта: Неизвестно
    Архитектор: Дэвид Стоутемайер, Альберт Рич
    Язык: Неизвестно
    Категория: Компьютерная алгебра
    Взаимодействие: Диалог, Логика: Нет, Размер: Коммерческий
    20.DITLU
    Веб-страница: http://www.dcs.qmul.ac.uk/~uhmm/info/caar.html
    Электронная почта: [email protected]
    Архитектор: Эндрю Адамс
    Язык: Common Lisp
    Категория: Компьютерная алгебра
    Взаимодействие: Диалог, Логика: Классика, Размер: Маленький
    21. Эволювер
    Веб-страница: http://www.susqu.edu/facstaff/b/brakke/evolver/evolver.html
    Электронная почта: [email protected]
    Архитектор: Кен Бракке
    Язык: Неизвестно
    Категория: Компьютерная алгебра
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    22.Ферма
    Веб-страница: http://www. bway.net/~lewis/
    Электронная почта: [email protected]
    Архитектор: Роберт Льюис
    Язык: Паскаль
    Категория: Компьютерная алгебра
    Взаимодействие: Диалог, Логика: Нет, Размер: Маленький
    23. Фокус
    Веб-страница: http://focal.inria.fr/site/index.php
    Электронная почта: [email protected]
    Архитектор: Тереза ​​Хардин, Рено Риобу
    Язык: Объективный CAML
    Категория: Компьютерная алгебра
    Взаимодействие: Библиотека, Логика: Неизвестно, Размер: Маленький
    24.Форма
    Веб-страница: http://www.nikhef.nl/~form/
    Электронная почта: Неизвестно
    Архитектор: Йос Вермазерен
    Язык: C
    Категория: Компьютерная алгебра
    Взаимодействие: Диалог, Логика: Нет, Размер: Маленький
    25. FriCAS
    Веб-страница: http://fricas.sourceforge.net/ Электронная почта
    : [email protected]
    Архитектор: Ричард Дженкс, Роберт Сутор
    Язык: Common Lisp, C, Boot, Spad
    Категория: Компьютерная алгебра
    Взаимодействие: Диалог, Логика: Нет, Размер: Большой
    26. ЗАЗОР
    Веб-страница: http://www-gap.dcs.st-and.ac.uk/~gap/ Электронная почта
    : [email protected]
    Архитектор: Martin Schönert, e.a.
    Язык: C
    Категория: Компьютерная алгебра
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Большой
    27. Gb / FGb, RS
    Веб-страница: http://fgbrs.lip6.fr/
    Электронная почта: [email protected]
    Архитектор: Жан-Шарль Фожер
    Язык: Неизвестно
    Категория: Компьютерная алгебра
    Взаимодействие: Неизвестно, Логика: Нет, Размер: Маленький
    28.Giac / xcas
    Веб-страница: http://www-fourier.ujf-grenoble.fr/~parisse/english.html
    Электронная почта: [email protected]
    Архитектор: Бернар Парисс
    Язык: C ++
    Категория: Компьютерная алгебра
    Взаимодействие: Диалог, Логика: Нет, Размер: Маленький
    29. GiNaC
    Веб-страница: http://www.ginac.de/ Список рассылки
    : ginac-list@ginac. de
    Архитекторы: Кристиан Бауэр, Александр Фринк, Ричард Крекель
    Язык: C ++
    Категория: Компьютерная алгебра
    Взаимодействие: Библиотека, Логика: Нет, Размер: Маленький
    30.JACAL
    Веб-страница: http://swiss.csail.mit.edu/~jaffer/JACAL
    Электронная почта: [email protected]
    Архитектор: Обри Джаффер
    Язык: Схема
    Категория: Компьютерная алгебра
    Взаимодействие: Диалог, Логика: Нет, Размер: Маленький
    31. JavaMath
    Веб-страница: http://javamath.sourceforge.net/ Электронная почта
    : [email protected]
    Архитектор: Эндрю Соломон, Крейг Страбл
    Язык: Java
    Категория: Компьютерная алгебра
    Взаимодействие: Библиотека, Логика: Нет, Размер: Маленький
    32.КАНТ / КАШ
    Веб-страница: http://www.math.tu-berlin.de/~kant/kash.html
    Электронная почта: [email protected]
    Архитектор: Майкл Похст
    Язык: Неизвестно
    Категория: Компьютерная алгебра
    Взаимодействие: Диалог, Логика: Нет, Размер: Маленький
    33. Леда
    Веб-страница: http://www.mpi-sb.mpg.de/LEDA/
    Электронная почта: Неизвестно
    Архитектор: Стефан Нэхер
    Язык: C ++
    Категория: Компьютерная алгебра
    Взаимодействие: Библиотека, Логика: Нет, Размер: Неизвестно
    34.Лейбниц
    Веб-страница: http://www.utdallas.edu/~klaus/Leibnizprogram/leibnizmain.html
    Электронная почта: [email protected]
    Архитектор: Клаус Трюмпер
    Язык: Неизвестно
    Категория: Компьютерная алгебра
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    35. LiDIA
    Веб-страница: http://www.cdc.informatik.tu-darmstadt.de/TI/LiDIA/ Список рассылки
    : [email protected]
    Архитектор: Неизвестен
    Язык: C ++
    Категория: Компьютерная алгебра
    Взаимодействие: Библиотека, Логика: Нет, Размер: Маленький
    36.LiveMath
    Веб-страница: http://www. livemath.com/
    Электронная почта: Неизвестно
    Архитектор: Неизвестен
    Язык: Неизвестно
    Категория: Компьютерная алгебра
    Взаимодействие: Диалог, Логика: Нет, Размер: Коммерческий
    37. Маколей
    Веб-страница: http://www.math.uiuc.edu/Macaulay2/
    Электронная почта: Неизвестно
    Архитектор: Дэниел Грейсон, Майкл Стилман
    Язык: C ++
    Категория: Компьютерная алгебра
    Взаимодействие: Диалог, Логика: Нет, Размер: Неизвестно
    38.Macsyma
    Веб-страница: http://www.macsyma.com/
    Электронная почта: Неизвестно
    Архитектор: Джоэл Моисей, э.а.
    Язык: Common Lisp
    Категория: Компьютерная алгебра
    Взаимодействие: Диалог, Логика: Нет, Размер: Коммерческий
    39. Macsyma: Maxima
    Веб-страница: http://maxima.sourceforge.net/ Список рассылки
    : [email protected]
    Архитектор: Джоэл Моисей, э.а.
    Язык: Common Lisp
    Категория: Компьютерная алгебра
    Взаимодействие: Диалог, Логика: Нет, Размер: Большой
    40. Macsyma: Punimax
    Веб-страница: http://symbolicnet.mcs.kent.edu/systems/macsyma.html
    Электронная почта: Неизвестно
    Архитектор: Джоэл Моисей, э.а.
    Язык: Common Lisp
    Категория: Компьютерная алгебра
    Взаимодействие: Диалог, Логика: Нет, Размер: Большой
    41. Магма.
    Веб-страница: http://magma.maths.usyd.edu.au/
    Электронная почта: [email protected]
    Архитектор: Неизвестен
    Язык: Неизвестно
    Категория: Компьютерная алгебра
    Взаимодействие: Скрипт, Логика: Нет, Размер: Коммерческий
    42.Клен
    Веб-страница: http://www.maplesoft.com/
    Электронная почта: [email protected]
    Архитектор: Кейт Геддес, Гастон Гоннет, e.a.
    Язык: C
    Категория: Компьютерная алгебра
    Взаимодействие: Диалог, Логика: Нет, Размер: Коммерческий
    43. Mathcad
    Веб-страница: http://www.mathcad.com/mathcad/
    Электронная почта: Неизвестно
    Архитектор: Неизвестен
    Язык: Неизвестно
    Категория: Компьютерная алгебра
    Взаимодействие: Диалог, Логика: Нет, Размер: Коммерческий
    44. Mathematica
    Веб-страница: http://www.wolfram.com/products/mathematica/index.html
    Электронная почта: [email protected]
    Архитектор: Стивен Вольфрам, э.а.
    Язык: C
    Категория: Компьютерная алгебра
    Взаимодействие: Диалог, Логика: Нет, Размер: Коммерческий
    45. MathLive
    Веб-страница: http://www.milohedge.com/products/mathlive/mathlive.html
    Электронная почта: [email protected]
    Архитектор: Неизвестен
    Язык: Неизвестно
    Категория: Компьютерная алгебра
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Коммерческий
    46.MathPad
    Веб-страница: http://pubpages.unh.edu/~mwidholm/MathPad/
    Электронная почта: [email protected]
    Архитектор: Марк Видхольм
    Язык: Неизвестно
    Категория: Компьютерная алгебра
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    47. MathView
    Веб-страница: http://www. livemath.com/
    Электронная почта: Неизвестно
    Архитектор: Неизвестен
    Язык: Неизвестно
    Категория: Компьютерная алгебра
    Взаимодействие: Диалог, Логика: Нет, Размер: Маленький
    48.MathXpert
    Веб-страница: http://www.HelpWithMath.com/
    Электронная почта: [email protected]
    Архитектор: Майкл Бисон
    Язык: C
    Категория: Компьютерная алгебра
    Взаимодействие: Диалоговое, Логика: Классическое, Размер: Коммерческое
    49. Матлаб
    Веб-страница: http://www.mathworks.com/products/matlab/
    Электронная почта: [email protected]
    Архитектор: Неизвестен
    Язык: Неизвестно
    Категория: Компьютерная алгебра
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Коммерческий
    50.Minitab
    Веб-страница: http://www.minitab.com/
    Электронная почта: [email protected]
    Архитектор: Неизвестен
    Язык: Неизвестно
    Категория: Компьютерная алгебра
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Коммерческий
    51. MuPAD
    Веб-страница: http://www.mupad.de/
    Электронная почта: Неизвестно
    Архитектор: Benno Fuchssteiner, e.a.
    Язык: C
    Категория: Компьютерная алгебра
    Взаимодействие: Диалог, Логика: Нет, Размер: Коммерческий
    52.красота
    Веб-страница: http://cs.anu.edu.au/~bdm/nauty/
    Электронная почта: [email protected]
    Архитектор: Брендан Д. Маккей
    Язык: C
    Категория: Компьютерная алгебра
    Взаимодействие: Диалог, Логика: Нет, Размер: Маленький
    53. NTL
    Веб-страница: http://www.cs.wisc.edu/~shoup/ntl/
    Электронная почта: [email protected]
    Архитектор: Виктор Шуп
    Язык: C ++
    Категория: Компьютерная алгебра
    Взаимодействие: Библиотека, Логика: Нет, Размер: Маленький
    54.Pari / GP
    Веб-страница: http://pari.math.u-bordeaux.fr/
    Электронная почта: [email protected]
    Архитектор: Анри Коэн
    Язык: C
    Категория: Компьютерная алгебра
    Взаимодействие: Диалог, Логика: Нет, Размер: Большой
    55. Множественное число
    Веб-страница: http://www.singular.uni-kl.de/plural/
    Электронная почта: Неизвестно
    Архитекторы: Герт-Мартин Грёэль, Виктор Левандовский, Ганс Шёнеманн
    Язык: C, C ++
    Категория: Компьютерная алгебра
    Взаимодействие: Диалог, Логика: Неизвестно, Размер: Маленький
    56.polymake
    Веб-страница: http://www.math.tu-berlin.de/polymake/
    Электронная почта: [email protected]
    Архитектор: Евгений Гаврилов, Майкл Йосвиг
    Язык: C ++
    Категория: Компьютерная алгебра
    Взаимодействие: сценарий, Логика: Нет, Размер: Маленький
    57. Уменьшить
    Веб-страница: http://www.uni-koeln.de/REDUCE/
    Электронная почта: Неизвестно
    Архитектор: Тони Хирн
    Язык: Стандартный Лисп
    Категория: Компьютерная алгебра
    Взаимодействие: Диалог, Логика: Нет, Размер: Коммерческий
    58.ring.perisic.com
    Веб-страница: http://ring. perisic.com/
    Электронная почта: [email protected]
    Архитектор: Марк Конрад
    Язык: Java
    Категория: Компьютерная алгебра
    Взаимодействие: Библиотека, Логика: Нет, Размер: Маленький
    59. Риса / Асир
    Веб-страница: http://www.asir.org/ Электронная почта
    : [email protected]
    Архитектор: Неизвестен
    Язык: C, Ассемблер
    Категория: Компьютерная алгебра
    Взаимодействие: Диалог, Логика: Неизвестно, Размер: Маленький
    60.Rotater
    Веб-страница: http://casr.adelaide.edu.au/rotater/
    Электронная почта: [email protected]
    Архитектор: Крейг Клоден
    Язык: C
    Категория: Компьютерная алгебра
    Взаимодействие: Редактор, Логика: Нет, Размер: Маленький
    61. SACLIB
    Веб-страница: http://www.cis.udel.edu/~saclib/ Список рассылки
    : [email protected]
    Архитектор: Джордж Э. Коллинз, Хун Хонг
    Язык: C
    Категория: Компьютерная алгебра
    Взаимодействие: Библиотека, Логика: Нет, Размер: Маленький
    62. Schoonschip
    Веб-страница: ftp://archive.umich.edu/physics/schip/
    Электронная почта: Неизвестно
    Архитектор: Мартин Вельтман
    Язык: 68000 Ассемблер
    Категория: Компьютерная алгебра
    Взаимодействие: Диалог, Логика: Нет, Размер: Маленький
    63. Scilab
    Веб-страница: http://www.scilab.org/
    Электронная почта: Неизвестно
    Архитектор: Неизвестен
    Язык: C, Фортран
    Категория: Компьютерная алгебра
    Взаимодействие: Диалог, Логика: Нет, Размер: Большой
    64.Senac
    Веб-страница: http://www.can.nl/SystemsOverview/General/SENAC/
    Электронная почта: Неизвестно
    Архитектор: Неизвестен
    Язык: Неизвестно
    Категория: Компьютерная алгебра
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Неизвестно
    65. SIMATH
    Веб-страница: http://emmy.math.uni-sb.de/~simath/
    Электронная почта: [email protected]
    Архитектор: Неизвестен
    Язык: Неизвестно
    Категория: Компьютерная алгебра
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    66.Единственное число
    Веб-страница: http://www.singular.uni-kl.de/
    Электронная почта: [email protected]
    Архитектор: Неизвестен
    Язык: C, C ++
    Категория: Компьютерная алгебра
    Взаимодействие: Диалог, Логика: Нет, Размер: Маленький
    67. Такой
    Веб-страница: http://www.cs.rpi.edu/~schupp/suchthat/#verificat
    Электронная почта: [email protected]
    Архитектор: Сибилла Шупп, Рюдигер Лоос
    Язык: Неизвестно
    Категория: Компьютерная алгебра
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    68.СИНАПЫ
    Веб-страница: http://www-sop.inria.fr/galaad/logiciels/synaps/
    Электронная почта: [email protected]
    Архитектор: Неизвестен
    Язык: C ++
    Категория: Компьютерная алгебра
    Взаимодействие: Библиотека, Логика: Нет, Размер: Маленький
    69. Универсальный математический решатель
    Веб-страница: http://www.umsolver.com/
    Электронная почта: [email protected]
    Архитектор: Станислав Кублановский.
    Язык: Неизвестно
    Категория: Компьютерная алгебра
    Взаимодействие: Диалог, Логика: Классика, Размер: Маленький
    70.Якас
    Веб-страница: http://yacas.sourceforge.net/
    Электронная почта: Неизвестно
    Архитектор: Аял Пинкус
    Язык: C ++
    Категория: Компьютерная алгебра
    Взаимодействие: Диалог, Логика: Нет, Размер: Маленький

    Устройство проверки первого порядка


    71. 3TaP
    Веб-страница: http://mathforum.org/library/view/17325.html
    Электронная почта: [email protected]
    Архитектор: Райнер Хенле, Бернхард Бекерт
    Язык: Пролог
    Категория: Доказатель Первого Порядка
    Взаимодействие: Скрипт, Логика: Классика, Размер: Маленький
    72.Бертран
    Веб-страница: http://www.uwosh.edu/faculty_staff/herzberg/Bertrand.html
    Электронная почта: [email protected]
    Архитектор: Ларри Херцберг
    Язык: Неизвестно
    Категория: Доказатель Первого Порядка
    Взаимодействие: Редактор, Логика: Классика, Размер: Маленький
    73. Бликсем
    Веб-страница: http://www.mpi-sb.mpg.de/~nivelle/programs/bliksem/
    Электронная почта: [email protected]
    Архитектор: Ханс де Нивель
    Язык: C
    Категория: Доказатель Первого Порядка
    Взаимодействие: Скрипт, Логика: Классика, Размер: Маленький
    74.CCR: RDL
    Веб-страница: http://www.mrg.dist.unige.it/ccr/
    Электронная почта: [email protected]
    Архитектор: Алессандро Армандо, Сильвио Ранисе
    Язык: SICStus Prolog
    Категория: Доказатель Первого Порядка
    Взаимодействие: Скрипт, Логика: Неизвестно, Размер: Маленький
    75. CLIN
    Веб-страница: http://www.cs.unc.edu/Research/mi/mi-provers.html
    Электронная почта: Неизвестно
    Архитектор: Неизвестен
    Язык: Неизвестно
    Категория: Доказатель Первого Порядка
    Взаимодействие: Скрипт, Логика: Классика, Размер: Маленький
    76.Дарвин
    Веб-страница: http://www.mpi-sb.mpg.de/~baumgart/DARWIN/
    Электронная почта: [email protected]
    Архитектор: Александр Фукс
    Язык: Объективный CAML
    Категория: Доказатель Первого Порядка
    Взаимодействие: Скрипт, Логика: Классика, Размер: Маленький
    77. DCTP
    Веб-страница: http://www4.in.tum.de/~stenzg/
    Электронная почта: [email protected]
    Архитектор: Гернот Стенц
    Язык: Схема
    Категория: Доказатель Первого Порядка
    Взаимодействие: Скрипт, Логика: Классика, Размер: Маленький
    78.E
    Веб-страница: http://www.eprover.org/
    Электронная почта: [email protected]
    Архитектор: Стефан Шульц
    Язык: C
    Категория: Доказатель Первого Порядка
    Взаимодействие: Скрипт, Логика: Классика, Размер: Маленький
    79. EQP
    Веб-страница: http://www-unix.mcs.anl.gov/AR/eqp/ Электронная почта
    : [email protected]
    Архитектор: Уильям МакКьюн
    Язык: C
    Категория: Доказатель Первого Порядка
    Взаимодействие: Скрипт, Логика: Классика, Размер: Маленький
    80.FDPLL
    Веб-страница: http://www.uni-koblenz.de/~peter/FDP/
    Электронная почта: [email protected]
    Архитектор: Питер Баумгартнер
    Язык: Eclipse Prolog
    Категория: Доказатель Первого Порядка
    Взаимодействие: Скрипт, Логика: Классика, Размер: Маленький
    81. Фиеста
    Веб-страница: http://www.cs.miami.edu/~tptp/CASC/16/SystemDescriptions.html#Fiesta
    Электронная почта: [email protected]
    Архитектор: Роберт Ньювенхейс
    Язык: Неизвестно
    Категория: Доказатель Первого Порядка
    Взаимодействие: Скрипт, Логика: Неизвестно, Размер: Маленький
    82.Finder
    Веб-страница: http://users.rsise.anu.edu.au/~jks/finder.html
    Электронная почта: Неизвестно
    Архитектор: Джон Слэйни
    Язык: C
    Категория: Доказатель Первого Порядка
    Взаимодействие: Пакетное, Логика: Классическое, Размер: Маленький
    83. Frapps
    Веб-страница
    : http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/areas/reasonng/atp/systems/frapps/0.html
    Электронная почта: Неизвестно
    Архитектор: Алан Фриш, Томас Урибе, Майкл Митчелл
    Язык: Common Lisp
    Категория: Доказатель Первого Порядка
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    84.FT
    Веб-страница: http://www.sm.luth.se/~torkel/eget/ftinfo.html
    Электронная почта: [email protected]
    Архитектор: Торкель Францен
    Язык: C
    Категория: Доказатель Первого Порядка
    Взаимодействие: Скрипт, Логика: Конструктивная, Размер: Маленький
    85. Гэндальф
    Веб-страница: http://www.cs.chalmers.se/~tammet/gandalf/
    Электронная почта: [email protected]
    Архитектор: Танель Таммет
    Язык: Схема
    Категория: Доказатель Первого Порядка
    Взаимодействие: сценарий, Логика: Оба, Размер: Маленький
    86.Кимба
    Веб-страница: http://www.ags.uni-sb.de/~konrad/kimba.html
    Электронная почта: [email protected]
    Архитектор: Карстен Конрад
    Язык: Оз
    Категория: Доказатель Первого Порядка
    Взаимодействие: Скрипт, Логика: Классика, Размер: Маленький
    87. Крипке
    Веб-страница: http://arp.anu.edu.au:80/ftp/kripke/
    Электронная почта: Неизвестно
    Архитектор: Густав Меглицки
    Язык: Паскаль
    Категория: Доказатель Первого Порядка
    Взаимодействие: Скрипт, Логика: Конструктивная, Размер: Маленький
    88.LeanTAP
    Веб-страница: http://i12www.ira.uka.de/leantap/
    Электронная почта: [email protected]
    Архитектор: Бернхард Бекерт, Иоахим Посегга
    Язык: Пролог
    Категория: Доказатель Первого Порядка
    Взаимодействие: Скрипт, Логика: Классика, Размер: Маленький
    89. Лев
    Веб-страница: http://www.ags.uni-sb.de/~omega/www/leo.html
    Электронная почта: [email protected]
    Архитектор: Кристоф Бенцмюллер
    Язык: Common Lisp
    Категория: Доказатель Первого Порядка
    Взаимодействие: Скрипт, Логика: Классика, Размер: Маленький
    90.доказатель
    Веб-страница: http://bach.seg.kobe-u.ac.jp/llprover/
    Электронная почта: [email protected]
    Архитектор: Наоюки Тамура
    Язык: SICStus Prolog
    Категория: Доказатель Первого Порядка
    Взаимодействие: Скрипт, Логика: Неизвестно, Размер: Маленький
    91. Булава
    Веб-страница: http://www-unix.mcs.anl.gov/AR/mace/ Электронная почта
    : [email protected]
    Архитектор: Уильям МакКьюн
    Язык: C
    Категория: Доказатель Первого Порядка
    Взаимодействие: Скрипт, Логика: Классика, Размер: Маленький
    92.МЕТЕОР
    Веб-страница: http://www.cs.duke.edu/~ola/meteor.html
    Электронная почта: [email protected]
    Архитектор: Оуэн Астрахан
    Язык: Неизвестно
    Категория: Доказатель Первого Порядка
    Взаимодействие: Скрипт, Логика: Классика, Размер: Маленький
    93. ОШЛ
    Веб-страница: http://www.cs.unc.edu/~plaisted/
    Электронная почта: [email protected]
    Архитектор: Юньшань Чжу, Дэвид Плейстед
    Язык: ECLiPSe Prolog
    Категория: Доказатель Первого Порядка
    Взаимодействие: Скрипт, Логика: Классика, Размер: Маленький
    94.Выдра
    Веб-страница: http://www-unix.mcs.anl.gov/AR/otter/ Электронная почта
    : [email protected]
    Архитектор: Уильям МакКьюн
    Язык: C
    Категория: Доказатель Первого Порядка
    Взаимодействие: Скрипт, Логика: Классика, Размер: Большой
    95. Парадокс
    Веб-страница: http://www.cs.chalmers.se/~koen/paradox/
    Электронная почта: [email protected]
    Архитектор: Коэн Классен, Никлас Сёренссон
    Язык: Haskell, C ++
    Категория: Доказатель Первого Порядка
    Взаимодействие: Скрипт, Логика: Классика, Размер: Маленький
    96.Сверстники
    Веб-страница: http://www.cs.uiowa.edu/~bonacina/cd.html
    Электронная почта: [email protected]
    Архитектор: Мария Паола Боначина
    Язык: C
    Категория: Доказатель Первого Порядка
    Взаимодействие: Скрипт, Логика: Классика, Размер: Маленький
    97. БЕЛК
    Веб-страница: http://www.uni-koblenz.de/ag-ki/Systems/PROTEIN/
    Электронная почта: [email protected]
    Архитектор: Питер Баумгартнер
    Язык: ECLiPSe Prolog
    Категория: Доказатель Первого Порядка
    Взаимодействие: Скрипт, Логика: Классика, Размер: Маленький
    98.Доказатель9
    Веб-страница: http://www.cs.unm.edu/~mccune/prover9/ Электронная почта
    : [email protected]
    Архитектор: Уильям МакКьюн
    Язык: C
    Категория: Доказатель Первого Порядка
    Взаимодействие: Скрипт, Логика: Классика, Размер: Маленький
    99. PTTP
    Веб-страница: http://www.ai.sri.com/~stickel/pttp.html
    Электронная почта: [email protected]
    Архитектор: Марк Стикл
    Язык: Общий Лисп, Пролог
    Категория: Доказатель Первого Порядка
    Взаимодействие: Скрипт, Логика: Классика, Размер: Маленький
    100.Мурлыкать
    Веб-страница: http://www-cad.eecs.berkeley.edu/~cm/publications/mt/
    Электронная почта: [email protected]
    Архитектор: Кристоф Мейер
    Язык: Неизвестно
    Категория: Доказатель Первого Порядка
    Взаимодействие: Скрипт, Логика: Классика, Размер: Маленький
    101. РРЛ
    Веб-страница: file: //cs.uiowa.edu/pub/hzhang/rrl/
    Электронная почта: Неизвестно
    Архитектор: Хантао Чжан
    Язык: Zeta Lisp
    Категория: Доказатель Первого Порядка
    Взаимодействие: Скрипт, Логика: Классика, Размер: Маленький
    102.Satchmo
    Веб-страница: http://www.pms.ifi.lmu.de/software/
    Электронная почта: Неизвестно
    Архитектор: Неизвестен
    Язык: Неизвестно
    Категория: Доказатель Первого Порядка
    Взаимодействие: Скрипт, Логика: Классика, Размер: Маленький
    103. Насыщение
    Веб-страница: http://www.mpi-sb.mpg.de/SATURATE/
    Электронная почта: Неизвестно
    Архитекторы: Харальд Ганцингер, Роберт Ньювенхейс, Пилар Нивела
    Язык: Пролог
    Категория: Доказатель Первого Порядка
    Взаимодействие: Скрипт, Логика: Классика, Размер: Маленький
    104.Скотт
    Веб-страница: http://users.rsise.anu.edu.au/~jks/scott.html
    Электронная почта: [email protected]
    Архитектор: Джон Слэйни
    Язык: C
    Категория: Доказатель Первого Порядка
    Взаимодействие: Скрипт, Логика: Классика, Размер: Маленький
    105. РЭМ
    Веб-страница: http://www.cs.uiowa.edu/~hzhang/sem.html
    Электронная почта: [email protected]
    Архитектор: Неизвестен
    Язык: Неизвестно
    Категория: Доказатель Первого Порядка
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    106.СЕТЕО
    Веб-страница: http://wwwjessen.informatik.tu-muenchen.de/~setheo/
    Электронная почта: Неизвестно
    Архитектор: Неизвестен
    Язык: Неизвестно
    Категория: Доказатель Первого Порядка
    Взаимодействие: Скрипт, Логика: Классика, Размер: Неизвестно
    107. Смайлик
    Веб-страница: http://www.mpi-sb.mpg.de/~nivelle/
    Электронная почта: [email protected]
    Архитектор: Ханс де Нивель
    Язык: C ++
    Категория: Доказатель Первого Порядка
    Взаимодействие: Скрипт, Логика: Классика, Размер: Маленький
    108.Снарк
    Веб-страница: http://www.ai.sri.com/~stickel/snark.html
    Электронная почта: [email protected]
    Архитектор: Марк Стикл
    Язык: Common Lisp
    Категория: Доказатель Первого Порядка
    Взаимодействие: Скрипт, Логика: Классика, Размер: Маленький
    109. СПАС
    Веб-страница: http://www.mpi-sb.mpg.de/units/ag2/projects/SPASS/
    Электронная почта: Неизвестно
    Архитектор: Кристоф Вайденбах
    Язык: Неизвестно
    Категория: Доказатель Первого Порядка
    Взаимодействие: Скрипт, Логика: Классика, Размер: Неизвестно
    110.СПРФН
    Веб-страница: http://www.cs.unc.edu/Research/mi/mi-provers.html
    Электронная почта: Неизвестно
    Архитектор: Неизвестен
    Язык: Неизвестно
    Категория: Доказатель Первого Порядка
    Взаимодействие: Скрипт, Логика: Классика, Размер: Маленький
    111. СПТЕО
    Веб-страница: http://wwwjessen.informatik.tu-muenchen.de/~suttner/sptheo.html
    Электронная почта: Неизвестно
    Архитектор: Кристиан Суттнер
    Язык: Неизвестно
    Категория: Доказатель Первого Порядка
    Взаимодействие: Скрипт, Логика: Классика, Размер: Маленький
    112.Вампир
    Веб-страница: http://en.wikipedia.org/wiki/Vampire_theorem_prover
    Электронная почта: [email protected]
    Архитектор: Андрей Воронков, Александр Рязанов.
    Язык: C ++
    Категория: Доказатель Первого Порядка
    Взаимодействие: Скрипт, Логика: Классика, Размер: Маленький
    113. Вальдмайстер
    Веб-страница: http://www.waldmeister.org/
    Электронная почта: [email protected]
    Архитектор: Арним Бух, Томас Хилленбранд
    Язык: C
    Категория: Доказатель Первого Порядка
    Взаимодействие: Скрипт, Логика: Классика, Размер: Маленький
    114.Зенон
    Веб-страница: http://focal.inria.fr/zenon/
    Электронная почта: [email protected]
    Архитектор: Дэмиен Долигез
    Язык: Объективный CAML
    Категория: Доказатель Первого Порядка
    Взаимодействие: Скрипт, Логика: Неизвестно, Размер: Маленький

    Информация


    115. Calculemus
    Веб-страница: http://www.mathweb.org/calculemus/ Список рассылки
    : [email protected]
    Архитектор: Неизвестен
    Язык: Неизвестно
    Категория: Информация
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    116.Вычет
    Веб-страница: http://www.uni-koblenz.de/ag-ki/Deduktion/
    Электронная почта: [email protected]
    Архитектор: Неизвестен
    Язык: Неизвестно
    Категория: Информация
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    117. Equplus
    Веб-страница: http://equplus.net/
    Электронная почта: Неизвестно
    Архитектор: Мария Черненко
    Язык: Неизвестно
    Категория: Информация
    Взаимодействие: Корпус, Логика: Нет, Размер: Маленький
    118.ВОЛС
    Веб-страница: http://www-formal.stanford.edu/pub/FOL/home.html
    Электронная почта: [email protected]
    Архитектор: Ричард Вейрах, Кэролайн Талкотт
    Язык: Неизвестно
    Категория: Информация
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    119. Страница формальных методов
    Веб-страница: http://www.onlinecomputersciencedegree.com/resources/formal-methods/
    Электронная почта: Неизвестно
    Архитектор: Неизвестен
    Язык: Неизвестно
    Категория: Информация
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    120.Формальные методы вики
    Веб-страница: http://formalmethods.wikia.com/
    Электронная почта: [email protected]
    Архитектор: Джонатан Боуэн
    Язык: Неизвестно
    Категория: Информация
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    121. ИТП
    Веб-страница: http://www.dcs.gla.ac.uk/~stuart/ITP/ITP.html
    Электронная почта: Неизвестно
    Архитектор: Стюарт Эйткен, Том Мелхэм, Маффи Колдер, Фил Грей
    Язык: Неизвестно
    Категория: Информация
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    122.Логосфера
    Веб-страница: http://www.logosphere.org/ Список рассылки
    : [email protected]
    Архитектор: Карстен Шюрманн
    Язык: Неизвестно
    Категория: Информация
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    123. Математические инструменты
    Веб-страница: http://www.mathtools.net/
    Электронная почта: [email protected]
    Архитектор: Офир Хербст
    Язык: Неизвестно
    Категория: Информация
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    124.ORA Canada Biblography of Automated Deduction
    Веб-страница: http://www.ora.on.ca/biblio/biblio-prover-welcome.html
    Электронная почта: Неизвестно
    Архитектор: Билл Пейс, Карен Саммерскилл
    Язык: Неизвестно
    Категория: Информация
    Взаимодействие: Корпус, Логика: Неизвестно, Размер: Маленький
    125. Проект QED
    Веб-страница: http://www-unix.mcs.anl.gov/qed/
    Электронная почта: Неизвестно
    Архитектор: Неизвестен
    Язык: Неизвестно
    Категория: Информация
    Взаимодействие: Интерфейс, Логика: Неизвестно, Размер: Маленький
    126.QED Pro Quo
    Веб-страница: http://www.qpq.org/
    Электронная почта: [email protected]
    Архитекторы: Майкл Кольхейз, Сэм Овре, Натараджан Шанкар
    Язык: Неизвестно
    Категория: Информация
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький

    Логика образования


    127. Akka
    Веб-страница: http://turing.wins.uva.nl/~lhendrik/AkkaStart.html
    Электронная почта: [email protected]
    Архитектор: Лекс Хендрикс
    Язык: Tcl
    Категория: Логическое образование
    Взаимодействие: Неизвестно, Логика: Оба, Размер: Маленький
    128.Альфи
    Веб-страница: http://www.cs.chalmers.se/~sydow/alfie/index.html
    Электронная почта: Неизвестно
    Архитектор: Бьёрн фон Сюдов
    Язык: Haskell
    Категория: Логическое образование
    Взаимодействие: Редактор, Логика: Классика, Размер: Маленький
    129. Bertie3, Twootie
    Веб-страница: http://www.ucc.uconn.edu/~wwwphil/software.html Электронная почта
    : [email protected]
    Архитектор: Остин Кларк
    Язык: Неизвестно
    Категория: Логическое образование
    Взаимодействие: Редактор, Логика: Классика, Размер: Маленький
    130.DN
    Веб-страница: http://bailhache.humana.univ-nantes.fr/dnfn/deductioneng.html Электронная почта
    : [email protected]
    Архитектор: Патрис Байльхаш
    Язык: Неизвестно
    Категория: Логическое образование
    Взаимодействие: Неизвестно, Логика: Классическая, Размер: Маленький
    131. Fitch, Boole, Tarski’s World, Grade Grinder
    Веб-страница: http://www-csli.stanford.edu/LPL/
    Электронная почта: Неизвестно
    Архитектор: Джон Барвайз, Джон Этчменди, Джерард Олвейн, Дэйв Баркер-Пламмер, Альберт Лю
    Язык: Java, C
    Категория: Логическое образование
    Взаимодействие: Редактор, Логика: Классика, Размер: Коммерческий
    132.Сверхпрочный
    Веб-страница: http://www-csli.stanford.edu/hp/index.html#Hyperproof
    Электронная почта: Неизвестно
    Архитектор: Джерри Олвейн, Марк Гривз, Майк Ленц
    Язык: C, Паскаль, Ассемблер
    Категория: Логическое образование
    Взаимодействие: Редактор, Логика: Классическая, Размер: Большой
    133. Jape
    Веб-страница: http://users.comlab.ox.ac.uk/bernard.sufrin/jape.html
    Электронная почта: Неизвестно
    Архитектор: Бернар Суфрин, Ричард Борнат
    Язык: Неизвестно
    Категория: Логическое образование
    Взаимодействие: Редактор, Логика: Оба, Размер: Маленький
    134.Логическая анимация
    Веб-страница: http://turing.wins.uva.nl/~jaspars/animations/
    Электронная почта: [email protected]
    Архитектор: Ян Яспарс
    Язык: Неизвестно
    Категория: Логическое образование
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    135. LogicCoach 9
    Веб-страница: http://academic.csuohio.edu/polen/
    Электронная почта: [email protected]
    Архитектор: Нельсон Поул
    Язык: Неизвестно
    Категория: Логическое образование
    Взаимодействие: Неизвестно, Логика: Классическая, Размер: Маленький
    136.Инструментальные средства логики, LWB
    Веб-страница: http://www.lwb.unibe.ch/
    Эл. Почта: [email protected]
    Архитектор: Герхард Йегер
    Язык: Неизвестно
    Категория: Логическое образование
    Взаимодействие: Редактор, Логика: Оба, Размер: Маленький
    137. LogicWorks
    Веб-страница: http://www.bgsu.edu/pdc/logicwo.html
    Электронная почта: [email protected]
    Архитектор: Роб Брэди
    Язык: Неизвестно
    Категория: Логическое образование
    Взаимодействие: Диалоговое, Логика: Классическое, Размер: Коммерческое
    138.MacLogic
    Веб-страница: http://www-theory.dcs.st-and.ac.uk/~rd/logic/mac/
    Электронная почта: [email protected]
    Архитектор: Рой Дайкхофф
    Язык: MacProlog
    Категория: Логическое образование
    Взаимодействие: Редактор, Логика: Оба, Размер: Маленький
    139. NewPandora
    Веб-страница: http://www.doc.ic.ac.uk/~kb/#Pandora
    Электронная почта: [email protected]
    Архитектор: Крысия Брода
    Язык: Неизвестно
    Категория: Логическое образование
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    140.Доказательство наставника
    Веб-страница: http://hss.cmu.edu/html/departments/philosophy/Proof_Tutor.html
    Электронная почта: [email protected]
    Архитектор: Вилфрид Зиг, Ричард Шайнс
    Язык: Неизвестно
    Категория: Логическое образование
    Взаимодействие: Редактор, Логика: Классика, Размер: Маленький
    141. SymLog
    Веб-страница: http://www.symlog.ca/Profile/Fred.htm
    Электронная почта: [email protected]
    Архитектор: Фредерик Портораро
    Язык: Неизвестно
    Категория: Логическое образование
    Взаимодействие: Неизвестно, Логика: Классическая, Размер: Маленький
    142.Таблица3
    Веб-страница: http://logic.philosophy.ox.ac.uk/
    Электронная почта: [email protected]
    Архитектор: Лучано Флориди
    Язык: Неизвестно
    Категория: Логическое образование
    Взаимодействие: Диалог, Логика: Классика, Размер: Маленький
    143. Демон логики
    Веб-страница: http://logic.tamu.edu/daemon.html
    Электронная почта: [email protected]
    Архитектор: Колин Аллен
    Язык: Perl, C
    Категория: Логическое образование
    Взаимодействие: Пакетное, Логика: Классическое, Размер: Маленький

    Корректор


    144.Автомат: Aut
    Веб-страница: http://www.cs.ru.nl/~freek/aut/
    Электронная почта: [email protected]
    Архитектор: Freek Wiedijk
    Язык: C
    Категория: Проверка пруфа
    Взаимодействие: Пакетное, Логика: Классическое, Размер: Маленький
    145. CL
    Веб-страница: http://www.ii.fmph.uniba.sk/~voda/cl.html
    Электронная почта: [email protected]
    Архитектор: Пол Вода
    Язык: Неизвестно
    Категория: Проверка пруфа
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    146.Класс
    Веб-страница: http://class-int.narod.ru
    Электронная почта: [email protected]
    Архитектор: Юрий Вторушин, Олег Охотников
    Язык: C ++
    Категория: Проверка пруфа
    Взаимодействие: Пакетное, Логика: Классическое, Размер: Маленький
    147. Коктейль
    Веб-страница: http://www.win.tue.nl/~michaelf/cocktail.html
    Электронная почта: [email protected]
    Архитектор: Майкл Франссен
    Язык: Java
    Категория: Проверка пруфа
    Взаимодействие: Редактор, Логика: Классика, Размер: Маленький
    148.CYP
    Веб-страница: ftp://ftp-sop.inria.fr/lemme/cyp/index.html
    Электронная почта: [email protected]
    Архитектор: Лоран Тери
    Язык: Java
    Категория: Проверка пруфа
    Взаимодействие: Редактор, Логика: Оба, Размер: Маленький
    149. Объявить
    Веб-страница: http://research.microsoft.com/~dsyme/declare.aspx
    Электронная почта: [email protected]
    Архитектор: Дон Сайм
    Язык: Объективный CAML
    Категория: Проверка пруфа
    Взаимодействие: Редактор, Логика: Классика, Размер: Маленький
    150.DPL: CN D
    Веб-страница: http://www.ai.mit.edu/projects/dynlangs/Projects/DPL.htm
    Электронная почта: [email protected]
    Архитектор: Костас Аркоудас
    Язык: ML
    Категория: Проверка пруфа
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    151. EPGY
    Веб-страница: http://epgy.stanford.edu/TPE/ Электронная почта
    : [email protected]
    Архитектор: Рик Соммер, Пэт Суппес
    Язык: Неизвестно
    Категория: Проверка пруфа
    Взаимодействие: Неизвестно, Логика: Классическая, Размер: Маленький
    152.ЭРА
    Веб-страница: http://www.eecs.ku.edu/faculty_staff/bio/faculty/andygill
    Электронная почта: Неизвестно
    Архитектор: Энди Гилл
    Язык: Haskell
    Категория: Проверка пруфа
    Взаимодействие: Диалог, Логика: Классика, Размер: Маленький
    153. Алгоритм доказательства: SAD
    Веб-страница: http://ea.unicyb.kiev.ua/sad.en.html
    Электронная почта: [email protected]
    Архитектор: Андрей Паскевич
    Язык: Неизвестно
    Категория: Проверка пруфа
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    154.Кувырок
    Веб-страница: http://staff.washington.edu/jon/flip/www/
    Электронная почта: [email protected]
    Архитектор: Джонатан Джеки
    Язык: Python
    Категория: Проверка пруфа
    Взаимодействие: диалог, Логика: Оба, Размер: Маленький
    155. Гилберт
    Веб-страница: http://www.ghilbert.org/
    Электронная почта: [email protected]
    Архитектор: Раф Левиен
    Язык: Python
    Категория: Проверка пруфа
    Взаимодействие: Пакетное, Логика: Классическое, Размер: Маленький
    156.Половина: C-Half
    Веб-страница: http://www.dcs.ed.ac.uk/home/pgh/half.html
    Электронная почта: Неизвестно
    Архитектор: Дэн Синек
    Язык: C
    Категория: Проверка пруфа
    Взаимодействие: Редактор, Логика: Конструктивная, Размер: Маленький
    157. Елена
    Веб-страница: http://helm.cs.unibo.it/lambda_delta/
    Электронная почта: [email protected]
    Архитектор: Ферруччо Гуиди
    Язык: Объективный CAML
    Категория: Проверка пруфа
    Взаимодействие: Пакетное, Логика: Неизвестно, Размер: Маленький
    158.HLM
    Веб-страница: http://hlm.sourceforge.net/
    Электронная почта: [email protected]
    Архитектор: Себастьян Райхельт
    Язык: Java
    Категория: Проверка пруфа
    Взаимодействие: Редактор, Логика: Классика, Размер: Маленький
    159. ICLE
    Веб-страница: http://www.doc.ic.ac.uk/~md/
    Электронная почта: [email protected]
    Архитектор: Марк Доусон
    Язык: Omega Prolog
    Категория: Проверка пруфа
    Взаимодействие: Редактор, Логика: Оба, Размер: Маленький
    160.Int
    Веб-страница: http://class-int.narod.ru
    Электронная почта: [email protected]
    Архитектор: Юрий Вторушин, Олег Охотников
    Язык: C ++
    Категория: Проверка пруфа
    Взаимодействие: Пакетное, Логика: Конструктивное, Размер: Маленький
    161. Изабель: ТАС, IsaWin
    Веб-страница: http://www.informatik.uni-bremen.de/~cxl/tas/home.html
    Электронная почта: [email protected]
    Архитектор: Кристоф Лют, Буркхарт Вольф
    Язык: Standard ML
    Категория: Проверка пруфа
    Взаимодействие: Редактор, Логика: Классика, Размер: Маленький
    162.Плющ
    Веб-страница: http://www.cs.unm.edu/~mccune/papers/ivy/ Электронная почта
    : [email protected]
    Архитектор: Уильям МакКьюн, Ольга Шумская
    Язык: ACL2
    Категория: Проверка пруфа
    Взаимодействие: Пакетное, Логика: Классическое, Размер: Маленький
    163. Лиственница: LSL
    Веб-страница: http://www.sds.lcs.mit.edu/spd/larch/lsl.html
    Электронная почта: Неизвестно
    Архитектор: Стивен Гарланд, Джон Гуттаг
    Язык: CLU
    Категория: Проверка пруфа
    Взаимодействие: Пакетное, Логика: Классическое, Размер: Большой
    164.LLF
    Веб-страница: http://theory.stanford.edu/~iliano/LLF/LLF.html
    Электронная почта: [email protected]
    Архитектор: Илиано Червесато
    Язык: ML
    Категория: Проверка пруфа
    Взаимодействие: Пакетное, Логика: Нет, Размер: Маленький
    165. Карта: Logiweb
    Веб-страница: http://yoa.dk/
    Эл. Почта: [email protected]
    Архитектор: Клаус Грю
    Язык: Неизвестно
    Категория: Проверка пруфа
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    166.Метамат
    Веб-страница: http://metamath.org/
    Электронная почта: [email protected]
    Архитектор: Норман Мегилл
    Язык: C
    Категория: Проверка пруфа
    Взаимодействие: Пакетное, Логика: Классическое, Размер: Маленький
    167. Мицар
    Веб-страница: http://www.mizar.org/
    Электронная почта: [email protected]
    Архитектор: Анджей Трыбулец, Чеслав Былински
    Язык: Free Pascal
    Категория: Проверка пруфа
    Взаимодействие: Пакетное, Логика: Классическое, Размер: Большой
    168.Nqthm: PC-Nqthm
    Веб-страница: http://www.computationallogic.com/software/pc-nqthm/index.html
    Электронная почта: Неизвестно
    Архитектор: Мэтт Кауфман
    Язык: Common Lisp
    Категория: Проверка пруфа
    Взаимодействие: Диалог, Логика: Классика, Размер: Неизвестно
    169. Онтик
    Веб-страница
    : http://www-cgi.cs.cmu.edu./afs/cs/project/ai-repository/ai/areas/kr/systems/ontic/0.html
    Электронная почта: [email protected]
    Архитектор: Дэвид Макаллестер
    Язык: Common Lisp
    Категория: Проверка пруфа
    Взаимодействие: Диалог, Логика: Классика, Размер: Маленький
    170.OpenProof
    Веб-страница: http://www-vil.cs.indiana.edu/hwc4.html
    Электронная почта: Неизвестно
    Архитектор: Неизвестен
    Язык: Java
    Категория: Проверка пруфа
    Взаимодействие: Редактор, Логика: Классика, Размер: Неизвестно
    171. Доказательство
    Веб-страница: http://www.keyfitz.org/jburdick/
    Электронная почта: [email protected]
    Архитектор: Джош Бердик
    Язык: Java
    Категория: Проверка пруфа
    Взаимодействие: Скрипт, Логика: Конструктивная, Размер: Маленький
    172.ProofCheck
    Веб-страница: http://www.proofcheck.org/
    Электронная почта: [email protected]
    Архитектор: Боб Невельн
    Язык: Python
    Категория: Проверка пруфа
    Взаимодействие: Пакетное, Логика: Классическое, Размер: Маленький
    173. ProveEasy
    Веб-страница: http://www.dcs.ed.ac.uk/home/rb/
    Электронная почта: [email protected]
    Архитектор: Род Берстолл
    Язык: Tcl
    Категория: Проверка пруфа
    Взаимодействие: Редактор, Логика: Классика, Размер: Маленький
    174.qedeq: Гильберт II
    Веб-страница: http://www.qedeq.org/
    Электронная почта: [email protected]
    Архитектор: Майкл Мейлинг
    Язык: Java
    Категория: Проверка пруфа
    Взаимодействие: Пакетное, Логика: Классическое, Размер: Маленький
    175. SPL
    Веб-страница: http://www.cs.kent.ac.uk/pubs/1999/909/
    Электронная почта: [email protected]
    Архитектор: Винсент Заммит
    Язык: Standard ML
    Категория: Проверка пруфа
    Взаимодействие: Редактор, Логика: Классика, Размер: Маленький
    176.Tableaux
    Веб-страница: http://www-formal.stanford.edu/clt/ARS/Entries/tableaux
    Электронная почта: Неизвестно
    Архитектор: Рон Бурбэк
    Язык: Неизвестно
    Категория: Проверка пруфа
    Взаимодействие: Редактор, Логика: Классика, Размер: Неизвестно
    177. Theax
    Веб-страница: http://markun.cs.shinshu-u.ac.jp/kiso/projects/mat Mathematics/Theax-e/Math-e-tit.htm
    Электронная почта: [email protected]
    Архитектор: Яцука Накамура
    Язык: Паскаль, C
    Категория: Проверка пруфа
    Взаимодействие: Пакетное, Логика: Оба, Размер: Маленький
    178.TinkerType
    Веб-страница: http://www.cis.upenn.edu/~bcpierce/papers/modular-bib.html#LevinPierce99 Электронная почта
    : [email protected]
    Архитектор: Майкл Левин, Бенджамин Пирс
    Язык: Объективный CAML
    Категория: Проверка пруфа
    Взаимодействие: сценарий, Логика: Оба, Размер: Маленький
    179. Татч
    Веб-страница: http://www.tcs.informatik.uni-muenchen.de/~abel/tutch/
    Электронная почта: [email protected]
    Архитектор: Андреас Абель
    Язык: Стандартный ML штата Нью-Джерси
    Категория: Проверка пруфа
    Взаимодействие: Пакетное, Логика: Конструктивное, Размер: Маленький
    180.Двенадцать
    Веб-страница: http://www.cs.cmu.edu/~twelf/ Список рассылки
    : [email protected]
    Архитектор: Франк Пфеннинг, Карстен Шюрманн
    Язык: Standard ML
    Категория: Проверка пруфа
    Взаимодействие: Пакетное, Логика: Нет, Размер: Большой
    181. XPNet
    Веб-страница
    : http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/areas/reasonng/atp/systems/xpnet/0.html
    Электронная почта: Неизвестно
    Архитекторы: Джавахар Чиримар, Карл Гюнтер, Майра ВанИнвеген
    Язык: Неизвестно
    Категория: Проверка пруфа
    Взаимодействие: Редактор, Логика: Неизвестно, Размер: Маленький

    Представительство


    182.ActiveMath
    Веб-страница: http://www.mathweb.org/activemath/
    Электронная почта: [email protected]
    Архитектор: Эрика Мелис
    Язык: Неизвестно
    Категория: Представительство
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    183. DFG
    Веб-страница: http://www.uni-koblenz.de/ag-ki/Deduktion/#OtherActivities
    Электронная почта: Неизвестно
    Архитектор: Неизвестен
    Язык: Неизвестно
    Категория: Представительство
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    184.Димаки
    Веб-страница: ftp://dimacs.rutgers.edu/pub/challenge/satisfiability/doc/satformat.tex
    Электронная почта: Неизвестно
    Архитектор: Неизвестен
    Язык: Неизвестно
    Категория: Представительство
    Взаимодействие: Корпус, Логика: Неизвестно, Размер: Маленький
    185. СУММА
    Веб-страница: http://dream.inf.ed.ac.uk/
    Электронная почта: Неизвестно
    Архитектор: Неизвестен
    Язык: Неизвестно
    Категория: Представительство
    Взаимодействие: Корпус, Логика: Классика, Размер: Неизвестно
    186.Funmath
    Веб-страница: http://www.funmath.be/
    Электронная почта: [email protected]
    Архитектор: Раймонд Буте
    Язык: Неизвестно
    Категория: Представительство
    Взаимодействие: Неизвестно, Логика: Классическая, Размер: Маленький
    187. HDM
    Веб-страница: http://wiki.planetmath.org/AsteroidMeta/HDM
    Электронная почта: [email protected]
    Архитектор: Джо Корнели
    Язык: Лисп
    Категория: Представительство
    Взаимодействие: сценарий, Логика: Нет, Размер: Маленький
    188.Шлем
    Веб-страница: http://helm.cs.unibo.it/
    Электронная почта: [email protected]
    Архитектор: Андреа Асперти
    Язык: XML
    Категория: Представительство
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    189. Хенк
    Веб-страница: http://www.cse.ogi.edu/~erik/Personal/typed.htm
    Электронная почта: [email protected]
    Архитектор: Саймон Пейтон Джонс, Эрик Мейер
    Язык: Haskell
    Категория: Представительство
    Взаимодействие: Интерфейс, Логика: Конструктивная, Размер: Маленький
    190.IMP
    Веб-страница: http://www.uclic.ucl.ac.uk/imp/ Электронная почта
    : [email protected]
    Архитектор: Пол Кэрнс, Джереми Гоу
    Язык: XSL
    Категория: Представительство
    Взаимодействие: Интерфейс, Логика: Неизвестно, Размер: Маленький
    191. ISO 12083
    Веб-страница
    : http://www.oasis-open.org/cover/gen-apps.html#iso12083DTDs
    Электронная почта: Неизвестно
    Архитектор: Эрик ван Хервейнен
    Язык: SGML
    Категория: Представительство
    Взаимодействие: Интерфейс, Логика: Неизвестно, Размер: Неизвестно
    192.Архитектура логического брокера
    Веб-страница: http://www.mathweb.org/calculemus/meetings/standrews00/armando.abstract
    Электронная почта: [email protected]
    Архитектор: Алессандро Армандо, Даниэле Зини
    Язык: Неизвестно
    Категория: Представительство
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    193. MathML
    Веб-страница: http://www.w3.org/Math/mathml-faq.html
    Электронная почта: Неизвестно
    Архитектор: Неизвестен
    Язык: XML
    Категория: Представительство
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Неизвестно
    194.MathWeb: Мош
    Веб-страница: http://www.mathweb.org/mathweb/
    Электронная почта: [email protected]
    Архитектор: Андреас Франке, Майкл Кольхасе
    Язык: Неизвестно
    Категория: Представительство
    Взаимодействие: Интерфейс, Логика: Неизвестно, Размер: Маленький
    195. MBase
    Веб-страница: http://www.mathweb.org/mbase/
    Электронная почта: [email protected]
    Архитектор: Андреас Франке, Майкл Кольхасе
    Язык: Неизвестно
    Категория: Представительство
    Взаимодействие: Корпус, Логика: Неизвестно, Размер: Маленький
    196.МИНС
    Веб-страница: http://lfw.org/math/
    Электронная почта: Неизвестно
    Архитектор: Ка-Пинг Йи
    Язык: Неизвестно
    Категория: Представительство
    Взаимодействие: Интерфейс, Логика: Неизвестно, Размер: Маленький
    197. MoWGLI
    Веб-страница: http://www.mowgli.cs.unibo.it/
    Электронная почта: [email protected]
    Архитектор: Андреа Асперти
    Язык: XML
    Категория: Представительство
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    198.OMDoc
    Веб-страница: http://www.mathweb.org/omdoc/
    Электронная почта: [email protected]
    Архитектор: Майкл Кольхейз
    Язык: XML
    Категория: Представительство
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    199. ОМРС
    Веб-страница: http://www.kestrel.edu/home/people/coglio/ids98.ps
    Электронная почта: [email protected]
    Архитекторы: Фаусто Джунчилья, Кэролайн Талкотт, Алессандро Армандо
    Язык: Неизвестно
    Категория: Представительство
    Взаимодействие: Интерфейс, Логика: Неизвестно, Размер: Маленький
    200.OpenMath
    Веб-страница: http://www.openmath.org/
    Электронная почта: Неизвестно
    Архитектор: Гастон Гонне
    Язык: SGML
    Категория: Представительство
    Взаимодействие: Интерфейс, Логика: Нет, Размер: Маленький
    201. OpenXM
    Веб-страница: http://www.math.s.kobe-u.ac.jp/OpenXM/
    Электронная почта: [email protected]
    Архитектор: Неизвестен
    Язык: Неизвестно
    Категория: Представительство
    Взаимодействие: Интерфейс, Логика: Неизвестно, Размер: Маленький
    202.TPTP
    Веб-страница: http://wwwjessen.informatik.tu-muenchen.de/~tptp/
    Электронная почта: Неизвестно
    Архитектор: Джефф Сатклифф, Кристиан Саттнер
    Язык: Неизвестно
    Категория: Представительство
    Взаимодействие: Корпус, Логика: Классика, Размер: Неизвестно
    203. Z: Fuzz
    Веб-страница: http://spivey.oriel.ox.ac.uk/mike/fuzz/
    Электронная почта: [email protected]
    Архитектор: Майк Спайви
    Язык: C
    Категория: Представительство
    Взаимодействие: Интерфейс, Логика: Классика, Размер: Большой

    Спецификация окружающей среды


    204.Амфион
    Веб-страница: http://ase.arc.nasa.gov/docs/amphion.html
    Электронная почта: Неизвестно
    Архитектор: Неизвестен
    Язык: Неизвестно
    Категория: Спецификация окружающей среды
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    205. B Метод: Ателье B
    Веб-страница: http://www.atelierb.societe.com/ Электронная почта
    : [email protected]
    Архитектор: Жан-Раймон Абриаль
    Язык: Неизвестно
    Категория: Спецификация окружающей среды
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Коммерческий
    206.Метод B: B4free
    Веб-страница: http://www.b4free.com/
    Электронная почта: Неизвестно
    Архитектор: Неизвестен
    Язык: Неизвестно
    Категория: Спецификация окружающей среды
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    207. B Метод: Click’n’Prove
    Веб-страница: http://www.loria.fr/~cansell/cnp.html
    Электронная почта: [email protected]
    Архитектор: Жан-Раймон Абриаль, Доминик Кансель
    Язык: Неизвестно
    Категория: Спецификация окружающей среды
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    208.КафеOBJ
    Веб-страница: http://www.ldl.jaist.ac.jp/cafeobj/
    Электронная почта: Неизвестно
    Архитектор: Кокичи Футацуги
    Язык: Common Lisp
    Категория: Спецификация окружающей среды
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    209. CASL
    Веб-страница: http://www.cofi.info/CASL.html
    Электронная почта: [email protected]
    Архитектор: Мишель Бидуа, Питер Д. Мосс.
    Язык: Неизвестно
    Категория: Спецификация окружающей среды
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    210.Предостережение
    Веб-страница: http://www-list.cea.fr/gb/programmes/sys_embarques/labo_lsl/caveat/index_caveat_gb.htm
    Электронная почта: [email protected]
    Архитектор: Неизвестен
    Язык: C, C ++
    Категория: Спецификация окружающей среды
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Коммерческий
    211. Дева: Дьявол
    Веб-страница: http://swt.cs.tu-berlin.de/~ma/devil/index.html
    Электронная почта: [email protected]
    Архитектор: Маттиас Анлауфф
    Язык: Неизвестно
    Категория: Спецификация окружающей среды
    Взаимодействие: Диалог, Логика: Неизвестно, Размер: Маленький
    212.EHDM
    Веб-страница: http://www.csl.sri.com/users/rushby/
    Электронная почта: Неизвестно
    Архитектор: Джон Рашби, Сэм Оур
    Язык: Lucid Common Lisp
    Категория: Спецификация окружающей среды
    Взаимодействие: Диалог, Логика: Классика, Размер: Маленький
    213. ELAN
    Веб-страница: http://www.loria.fr/equipes/protheo/PROJECTS/ELAN/elan.html
    Электронная почта: Неизвестно
    Архитектор: Неизвестен
    Язык: Неизвестно
    Категория: Спецификация окружающей среды
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Неизвестно
    214.Эстерель
    Веб-страница: http://www.esterel-technologies.com/ Список рассылки
    : [email protected]
    Архитектор: Жерар Берри
    Язык: Эстерель
    Категория: Спецификация окружающей среды
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    215. плод
    Веб-страница: http://www.informatik.uni-muenchen.de/~abel/publications/foetus/
    Электронная почта: [email protected]
    Архитектор: Андреас Абель
    Язык: Standard ML
    Категория: Спецификация окружающей среды
    Взаимодействие: Пакетное, Логика: Неизвестно, Размер: Маленький
    216.Форум
    Веб-страница: http://www.lix.polytechnique.fr/Labo/Dale.Miller/forum/
    Электронная почта: Неизвестно
    Архитектор: Дейл Миллер
    Язык: Неизвестно
    Категория: Спецификация окружающей среды
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    217. Гуру
    Веб-страница: http://code.google.com/p/guru-lang/
    Электронная почта: [email protected]
    Архитектор: Аарон Стамп
    Язык: Java
    Категория: Спецификация окружающей среды
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    218.Hiper
    Веб-страница
    : http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/areas/reasonng/atp/systems/hiper/0.html
    Электронная почта: Неизвестно
    Архитектор: Джим Кристиан
    Язык: Common Lisp
    Категория: Спецификация окружающей среды
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    219. ДЕТИ
    Веб-страница: http://www.kestrel.edu/home/prototypes/kids.html
    Электронная почта: Неизвестно
    Архитектор: Неизвестен
    Язык: Неизвестно
    Категория: Спецификация окружающей среды
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    220.лямбда-пролог
    Веб-страница: http://www.cse.psu.edu/~dale/lProlog/
    Электронная почта: Неизвестно
    Архитектор: Дейл Миллер
    Язык: C
    Категория: Спецификация окружающей среды
    Взаимодействие: Неизвестно, Логика: Конструктивная, Размер: Маленький
    221. Мод
    Веб-страница: http://maude.cs.uiuc.edu/ Список рассылки
    : [email protected]
    Архитектор: Хосе Месегер
    Язык: Мод
    Категория: Спецификация окружающей среды
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Коммерческий
    222.Merill
    Веб-страница: ftp://ftp.dcs.glasgow.ac.uk/pub/merill/
    Электронная почта: Неизвестно
    Архитектор: Брайан Мэтьюз
    Язык: Standard ML
    Категория: Спецификация окружающей среды
    Взаимодействие: Диалог, Логика: Нет, Размер: Маленький
    223. Фреска
    Веб-страница: http://www.cis.rl.ac.uk/proj/mural.html
    Электронная почта: Неизвестно
    Архитектор: Брайан Ричи
    Язык: Неизвестно
    Категория: Спецификация окружающей среды
    Взаимодействие: Редактор, Логика: Классика, Размер: Маленький
    224.MuTTI
    Веб-страница: http://www.tcs.informatik.uni-muenchen.de/mitarbeiter/alti/index.html
    Электронная почта: [email protected]
    Архитектор: Торстен Альтенкирх
    Язык: Неизвестно
    Категория: Спецификация окружающей среды
    Взаимодействие: Диалог, Логика: Неизвестно, Размер: Маленький
    225. OBJ
    Веб-страница: http://archive.comlab.ox.ac.uk/obj.html
    Электронная почта: Неизвестно
    Архитектор: Джозеф Гогуэн
    Язык: Common Lisp
    Категория: Спецификация окружающей среды
    Взаимодействие: Интерфейс, Логика: Оба, Размер: Большой
    226.Идеальный разработчик
    Веб-страница: http://www.eschertech.com/products/index.php
    Электронная почта: [email protected]
    Архитектор: Неизвестен
    Язык: Неизвестно
    Категория: Спецификация окружающей среды
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Коммерческий
    227. Проспер
    Веб-страница: http://www.dcs.gla.ac.uk/prosper/
    Электронная почта: [email protected]
    Архитектор: Т.Ф. Мелхам
    Язык: Неизвестно
    Категория: Спецификация окружающей среды
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    228.Safelogic Verifier
    Веб-страница: http://www.jasper-da.com/products_jaspergold.htm
    Электронная почта: Неизвестно
    Архитектор: Неизвестен
    Язык: Неизвестно
    Категория: Спецификация окружающей среды
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    229. Specware
    Веб-страница: http://www.kestrel.edu/home/prototypes/specware.html
    Электронная почта: Неизвестно
    Архитектор: Неизвестен
    Язык: Неизвестно
    Категория: Спецификация окружающей среды
    Взаимодействие: Редактор, Логика: Неизвестно, Размер: Маленький
    230.Шаг
    Веб-страница: http://www-step.stanford.edu/ Электронная почта
    : [email protected]
    Архитектор: Зохар Манна, Хенни Сипма
    Язык: Неизвестно
    Категория: Спецификация окружающей среды
    Взаимодействие: Диалог, Логика: Неизвестно, Размер: Маленький
    231. Восход солнца
    Веб-страница: http://www.cis.upenn.edu/~hol/sunrise/
    Электронная почта: [email protected]
    Архитектор: Питер Хомейер
    Язык: Неизвестно
    Категория: Спецификация окружающей среды
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    232.Тектон
    Веб-страница: http://www.cs.rpi.edu/~musser/Tecton/
    Электронная почта: [email protected]
    Архитектор: Дэвид Массер, Дипак Капур
    Язык: Неизвестно
    Категория: Спецификация окружающей среды
    Взаимодействие: Диалог, Логика: Классика, Размер: Маленький
    233. ВДМ
    Веб-страница: http://www.csr.ncl.ac.uk/vdm/
    Электронная почта: [email protected]
    Архитектор: Неизвестен
    Язык: Неизвестно
    Категория: Спецификация окружающей среды
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький

    Тактический прувер


    234.Агда
    Веб-страница: http://www.cs.chalmers.se/~catarina/agda/
    Электронная почта: Неизвестно
    Архитектор: Катарина Кокванд
    Язык: Haskell
    Категория: Доказательство тактики
    Взаимодействие: Редактор, Логика: Конструктивная, Размер: Маленький
    235. Coq
    Веб-страница: http://coq.inria.fr/ Список рассылки
    : [email protected]
    Архитектор: Жерар Юэ, Чет Мурти, e.a.
    Язык: Объективный CAML
    Категория: Доказательство тактики
    Взаимодействие: Диалоговое, Логика: Конструктивное, Размер: Большой
    236.Coq: CtCoq
    Веб-страница: http://www-sop.inria.fr/croap/ctcoq/ctcoq-eng.html
    Электронная почта: [email protected]
    Архитектор: Yves Bertot, e.a.
    Язык: Неизвестно
    Категория: Доказательство тактики
    Взаимодействие: Диалоговое, Логика: Конструктивное, Размер: Маленький
    237. Coq: Pcoq
    Веб-страница: http://www-sop.inria.fr/lemme/pcoq/
    Электронная почта: [email protected]
    Архитектор: Ив Берто
    Язык: Java
    Категория: Доказательство тактики
    Взаимодействие: Диалог, Логика: Классика, Размер: Маленький
    238.ГОЛУБЬ: Изабель
    Веб-страница: http://www.dsto.defence.gov.au/esrl/itd/dove Электронная почта
    : [email protected]
    Архитектор: Тони Кант
    Язык: Tcl
    Категория: Доказательство тактики
    Взаимодействие: Диалог, Логика: Классика, Размер: Маленький
    239. Эпиграмма
    Веб-страница: http://www.dur.ac.uk/CARG/epigram/
    Электронная почта: [email protected]
    Архитектор: Конор МакБрайд
    Язык: Haskell
    Категория: Доказательство тактики
    Взаимодействие: Редактор, Логика: Конструктивная, Размер: Маленький
    240.Ergo
    Веб-страница: http://www.itee.uq.edu.au/~pjr/HomePages/ErgoHome.html
    Электронная почта: Неизвестно
    Архитектор: Питер Робинсон, э.
    Язык: Qu Prolog
    Категория: Доказательство тактики
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    241. Стипендия
    Веб-страница: http://www.lix.polytechnique.fr/Labo/Florent.Kirchner/fellowship/
    Электронная почта: Неизвестно
    Архитектор: Флоран Киршнер, Клаудио Сакердоти Коэн
    Язык: Объективный CAML
    Категория: Доказательство тактики
    Взаимодействие: диалог, Логика: Оба, Размер: Маленький
    242.HOL: HOL Light
    Веб-страница: http://www.cl.cam.ac.uk/~jrh23/hol-light/
    Электронная почта: [email protected]
    Архитектор: Джон Харрисон
    Язык: CAML Light
    Категория: Доказательство тактики
    Взаимодействие: Диалог, Логика: Классика, Размер: Маленький
    243. HOL: HOL98
    Веб-страница: http://www.cl.cam.ac.uk/research/hvg/HOL/
    Электронная почта: Неизвестно
    Архитектор: Конрад Слинд, e.a.
    Язык: Standard ML
    Категория: Доказательство тактики
    Взаимодействие: Диалог, Логика: Классика, Размер: Большой
    244.Изабель
    Веб-страница: http://www.cl.cam.ac.uk/research/hvg/Isabelle/ Список рассылки
    : [email protected]
    Архитектор: Ларри Полсон, e.a.
    Язык: Standard ML
    Категория: Доказательство тактики
    Взаимодействие: диалог, Логика: Оба, Размер: Большой
    245. Изабель: Изар
    Веб-страница: http://isabelle.in.tum.de/Isar/
    Электронная почта: [email protected]
    Архитектор: Маркус Венцель
    Язык: Standard ML
    Категория: Доказательство тактики
    Взаимодействие: Редактор, Логика: Оба, Размер: Маленький
    246.KIV
    Веб-страница: http://i11www.iti.uni-karlsruhe.de/~kiv/KIV-KA.html
    Электронная почта: [email protected]
    Архитектор: Неизвестен
    Язык: Lucid Common Lisp
    Категория: Доказательство тактики
    Взаимодействие: Диалоговое, Логика: Конструктивное, Размер: Маленький
    247. лямбда моллюск
    Веб-страница: http://dream.inf.ed.ac.uk/software/lambda-clam/
    Электронная почта: [email protected]
    Архитектор: Неизвестен
    Язык: лямбда-пролог Тейюс
    Категория: Доказательство тактики
    Взаимодействие: Диалоговое, Логика: Конструктивное, Размер: Маленький
    248.конструктор Лего
    Веб-страница: http://www.dcs.ed.ac.uk/home/lego/
    Электронная почта: Неизвестно
    Архитектор: Рэнди Поллак
    Язык: Standard ML
    Категория: Доказательство тактики
    Взаимодействие: Диалоговое, Логика: Конструктивное, Размер: Большой
    249. Матита
    Веб-страница: http://matita.cs.unibo.it/ Список рассылки
    : [email protected]
    Архитектор: Клаудио Сачердоти Коэн, Андреа Асперти
    Язык: Объективный CAML
    Категория: Доказательство тактики
    Взаимодействие: Диалоговое, Логика: Конструктивное, Размер: Маленький
    250.MetaPRL
    Веб-страница: http://metaprl.org/default.html
    Электронная почта: [email protected]
    Архитектор: Джейсон Хики, Алексей Ногин
    Язык: Объективный CAML
    Категория: Доказательство тактики
    Взаимодействие: Редактор, Логика: Конструктивная, Размер: Большой
    251. Минлог
    Веб-страница: http://www.mathematik.uni-muenchen.de/~minlog/
    Электронная почта: [email protected]
    Архитектор: Гельмут Швихтенберг
    Язык: Схема
    Категория: Доказательство тактики
    Взаимодействие: Диалоговое, Логика: Конструктивное, Размер: Маленький
    252.Нупрл
    Веб-страница: http://www.cs.cornell.edu/Info/Projects/NuPrl/
    Электронная почта: [email protected]
    Архитектор: Джозеф Бейтс, Роберт Констебль, Стюарт Аллен, Дуглас Хоу, э.а.
    Язык: ML, Common Lisp
    Категория: Доказательство тактики
    Взаимодействие: Диалоговое, Логика: Конструктивное, Размер: Большой
    253. Олег
    Веб-страница: http://www.dcs.ed.ac.uk/home/ctm/oleg/quiet/
    Электронная почта: [email protected]
    Архитектор: Конор МакБрайд
    Язык: ML
    Категория: Доказательство тактики
    Взаимодействие: Диалоговое, Логика: Конструктивное, Размер: Маленький
    254.PhoX
    Веб-страница: http://www.lama.univ-savoie.fr/~RAFFALLI/af2.html Список рассылки
    : [email protected]
    Архитектор: Кристоф Раффалли
    Язык: Объективный CAML
    Категория: Доказательство тактики
    Взаимодействие: Скрипт, Логика: Конструктивная, Размер: Маленький
    255. Пластик
    Веб-страница: http://www.dur.ac.uk/CARG/plastic.html
    Электронная почта: [email protected]
    Архитектор: Пол Каллаган
    Язык: Haskell
    Категория: Доказательство тактики
    Взаимодействие: Диалоговое, Логика: Конструктивное, Размер: Маленький
    256.ProofPower
    Веб-страница: http://www.lemma-one.com/ProofPower/index/
    Электронная почта: [email protected]
    Архитектор: Роб Артан, Роджер Бишоп Джонс
    Язык: Standard ML
    Категория: Доказательство тактики
    Взаимодействие: Диалог, Логика: Классика, Размер: Большой
    257. Сияние
    Веб-страница: http://www.cs.kun.nl/Sparkle/
    Электронная почта: [email protected]
    Архитектор: Маартен де Мол
    Язык: Чистый
    Категория: Доказательство тактики
    Взаимодействие: Диалог, Логика: Классика, Размер: Маленький
    258.Typelab
    Веб-страница: http://www.informatik.uni-ulm.de/ki/typelab.html
    Электронная почта: [email protected]
    Архитектор: Мартин Стрекер, Марко Лютер
    Язык: Common Lisp
    Категория: Доказательство тактики
    Взаимодействие: Диалоговое, Логика: Конструктивное, Размер: Маленький
    259. Тысячелистник обыкновенный
    Веб-страница: http://www.cs.ru.nl/~janz/yarrow/
    Электронная почта: [email protected]
    Архитектор: Ян Званенбург
    Язык: Haskell
    Категория: Доказательство тактики
    Взаимодействие: Диалоговое, Логика: Конструктивное, Размер: Маленький

    Доказательство теорем


    260.ACL2
    Веб-страница: http://www.cs.utexas.edu/users/moore/acl2/acl2-doc.html
    Электронная почта: Неизвестно
    Архитектор: Дж. Стротер Мур, e.a.
    Язык: Common Lisp
    Категория: Доказательство теорем
    Взаимодействие: Диалог, Логика: Классика, Размер: Большой
    261. Analytica
    Веб-страница: http://andrej.com/analytica/
    Электронная почта: [email protected]
    Архитектор: Эдмунд Кларк, Сюйдун Чжао
    Язык: Математика
    Категория: Доказательство теорем
    Взаимодействие: Диалог, Логика: Классика, Размер: Маленький
    262.Коралловый
    Веб-страница: http://dream.inf.ed.ac.uk/projects/coral/
    Электронная почта: Неизвестно
    Архитектор: Неизвестен
    Язык: Неизвестно
    Категория: Доказательство теорем
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    263. Скидка
    Веб-страница: http://www.uni-kl.de/AG-AvenhausMadlener/discount.html
    Электронная почта: [email protected]
    Архитектор: Йорг Дензингер
    Язык: Неизвестно
    Категория: Доказательство теорем
    Взаимодействие: Скрипт, Логика: Неизвестно, Размер: Маленький
    264.Дорис
    Веб-страница: http://www.coli.uni-saarland.de/~bos/atp/doris-info.html
    Электронная почта: [email protected]
    Архитектор: Йохан Бос
    Язык: Пролог
    Категория: Доказательство теорем
    Взаимодействие: Пакетное, Логика: Классическое, Размер: Маленький
    265. АКДС
    Веб-страница
    : http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/areas/reasonng/atp/systems/dtp/0.html
    Электронная почта: Неизвестно
    Архитектор: Дон Геддис
    Язык: Common Lisp
    Категория: Доказательство теорем
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    266.ЕВА
    Веб-страница: http://www.springerlink.com/content/p225421w45016110/
    Электронная почта: Неизвестно
    Архитектор: Сентот Кромодимоэльо, Ирвин Майзельс, Марк Заалтинк, Билл Пейс, Дэн Крейген
    Язык: Common Lisp
    Категория: Доказательство теорем
    Взаимодействие: Диалоговое, Логика: Классическое, Размер: Коммерческое
    267. Расширитель2
    Веб-страница: http://fldit-www.cs.uni-dortmund.de/~peter/
    Электронная почта: [email protected]
    Архитектор: Питер Падавиц
    Язык: О’Хаскелл
    Категория: Доказательство теорем
    Взаимодействие: Редактор, Логика: Классика, Размер: Маленький
    268.Эксперт по геометрии
    Веб-страница: http://en.wikipedia.org/wiki/Geometry_Expert
    Электронная почта: Неизвестно
    Архитектор: Неизвестен
    Язык: Неизвестно
    Категория: Доказательство теорем
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    269. Гетфол
    Веб-страница: http://www.cs.unitn.it/~getfol/startgwigb.html
    Электронная почта: Неизвестно
    Архитектор: Фаусто Джунчилья
    Язык: Common Lisp
    Категория: Доказательство теорем
    Взаимодействие: Диалог, Логика: Классика, Размер: Маленький
    270.Goedel
    Веб-страница: http://www.math.gatech.edu/~belinfan/research/autoreas/
    Электронная почта: [email protected]
    Архитектор: Йохан Белинфанте
    Язык: Математика
    Категория: Доказательство теорем
    Взаимодействие: Редактор, Логика: Классика, Размер: Маленький
    271. Граффити
    Веб-страница: http://www.math.uh.edu/~clarson/graffiti.html
    Электронная почта: [email protected]
    Архитектор: Семион Файтлович
    Язык: Неизвестно
    Категория: Доказательство теорем
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    272.Теоретик графа
    Веб-страница: http://www.cs.hunter.cuny.edu/~epstein/html/gt.html
    Электронная почта: [email protected]
    Архитектор: Сьюзан Эпштейн
    Язык: Неизвестно
    Категория: Доказательство теорем
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    273. HR
    Веб-страница: http://www.dai.ed.ac.uk/daidb/people/homes/simonco/research/hr/
    Электронная почта: [email protected]
    Архитектор: Саймон Колтон
    Язык: Неизвестно
    Категория: Доказательство теорем
    Взаимодействие: Пакетное, Логика: Неизвестно, Размер: Маленький
    274.ICS
    Веб-страница: http://www.icansolve.com/
    Электронная почта: [email protected]
    Архитектор: Жан-Кристоф Филлиатр
    Язык: Объективный CAML
    Категория: Доказательство теорем
    Взаимодействие: Диалог, Логика: Классика, Размер: Маленький
    275. ILF
    Веб-страница: http://www.uni-koblenz.de/~dahn/index-Dateien/Page425.htm
    Электронная почта: [email protected]
    Архитектор: Неизвестен
    Язык: Неизвестно
    Категория: Доказательство теорем
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    276.IMPS
    Веб-страница: http://imps.mcmaster.ca/ Список рассылки
    : [email protected]
    Архитектор: W.M. Фармер, Дж. Д. Гуттман, Ф. Дж. Тайер
    Язык: Common Lisp
    Категория: Доказательство теорем
    Взаимодействие: Диалог, Логика: Классика, Размер: Большой
    277. ИНКА
    Веб-страница: http://www.dfki.de/vse/systems/inka/
    Электронная почта: Неизвестно
    Архитектор: Дитер Хаттер
    Язык: Lucid Common Lisp
    Категория: Доказательство теорем
    Взаимодействие: Редактор, Логика: Классика, Размер: Маленький
    278.ПИС
    Веб-страница: http://www.cs.wcu.edu/~shults/FTP/IPR/
    Электронная почта: [email protected]
    Архитектор: Бенджамин Шульц
    Язык: Common Lisp
    Категория: Доказательство теорем
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    279. Кейм
    Веб-страница
    : http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/areas/reasonng/atp/systems/keim/0.html
    Электронная почта: Неизвестно
    Архитектор: Дэн Несмит, Йорг Сикман
    Язык: Common Lisp, CLOS
    Категория: Доказательство теорем
    Взаимодействие: Библиотека, Логика: Неизвестно, Размер: Неизвестно
    280.Лямбда
    Веб-страница: http://www.cis.ksu.edu/~stough/lambda.html
    Электронная почта: [email protected]
    Архитектор: Аллен Стоутон
    Язык: C
    Категория: Доказательство теорем
    Взаимодействие: Скрипт, Логика: Конструктивная, Размер: Маленький
    281. Лиственница: LP
    Веб-страница: http://www.sds.lcs.mit.edu/spd/larch/LP/overview.html
    Электронная почта: Неизвестно
    Архитектор: Стивен Гарланд, Джон Гуттаг
    Язык: CLU
    Категория: Доказательство теорем
    Взаимодействие: Диалог, Логика: Классика, Размер: Большой
    282.Марсель
    Веб-страница: http://math.boisestate.edu/~holmes/proverpage.html
    Электронная почта: [email protected]
    Архитектор: М. Рэндалл Холмс
    Язык: Standard ML
    Категория: Доказательство теорем
    Взаимодействие: Диалог, Логика: Классика, Размер: Маленький
    283. MathScheme
    Веб-страница: http://imps.mcmaster.ca/mathscheme/
    Электронная почта: [email protected]
    Архитектор: Уильям М. Фармер, Мартин фон Мореншильдт
    Язык: Лисп
    Категория: Доказательство теорем
    Взаимодействие: Неизвестно, Логика: Классическая, Размер: Маленький
    284.МВЛ
    Веб-страница
    : http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/areas/reasonng/atp/systems/mvl/0.html
    Электронная почта: Неизвестно
    Архитектор: Мэтью Гинзберг
    Язык: Common Lisp
    Категория: Доказательство теорем
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    285. Nqthm
    Веб-страница: ftp://ftp.cs.utexas.edu/pub/boyer/nqthm/index.html Список рассылки
    : [email protected]
    Архитектор: Боб Бойер, Дж. Стротер Мур, e.а.
    Язык: Common Lisp
    Категория: Доказательство теорем
    Взаимодействие: Диалог, Логика: Классика, Размер: Большой
    286. Омега
    Веб-страница: http://www.ags.uni-sb.de/~omega/
    Электронная почта: [email protected]
    Архитектор: Майкл Кольхейз
    Язык: Common Lisp, CLOS
    Категория: Доказательство теорем
    Взаимодействие: Диалог, Логика: Классика, Размер: Большой
    287. Омега: Муравьи
    Веб-страница: http: // www.ags.uni-sb.de/~omega/index.php?target=publications&ref=C8
    Электронная почта: [email protected]
    Архитектор: Кристоф Бенцмюллер, Фолькер Зорге
    Язык: Неизвестно
    Категория: Доказательство теорем
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    288. Оскар
    Веб-страница: http://www.u.arizona.edu/~pollock/
    Электронная почта: Неизвестно
    Архитектор: Джон Поллок
    Язык: Common Lisp
    Категория: Доказательство теорем
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    289.Порги
    Веб-страница: http://www.cis.ksu.edu/~stough/porgi.html
    Электронная почта: [email protected]
    Архитектор: Аллен Стоутон
    Язык: Стандартный ML штата Нью-Джерси
    Категория: Доказательство теорем
    Взаимодействие: Скрипт, Логика: Конструктивная, Размер: Маленький
    290. ProCom
    Веб-страница: ftp://www.koralle.imn.htwk-leipzig.de/pub/ProCom/procom.html
    Электронная почта: Неизвестно
    Архитектор: Герд Нойгебауэр
    Язык: ECLiPSe Prolog
    Категория: Доказательство теорем
    Взаимодействие: Диалог, Логика: Классика, Размер: Маленький
    291.ProofPad
    Веб-страница: http://www-irm.mathematik.hu-berlin.de/~ilf/
    Электронная почта: Неизвестно
    Архитектор: Неизвестен
    Язык: Неизвестно
    Категория: Доказательство теорем
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    292. Прувер, NP-Tools
    Веб-страница: http://www.prover.com/
    Электронная почта: Неизвестно
    Архитектор: Грэм Паркин, Гуннар Стальмарк
    Язык: C
    Категория: Доказательство теорем
    Взаимодействие: Библиотека, Логика: Классика, Размер: Коммерческий
    293.ПВС
    Веб-страница: http://pvs.csl.sri.com/ Список рассылки
    : [email protected]
    Архитектор: Сэм Овре, Натараджан Шанкар
    Язык: Common Lisp
    Категория: Доказательство теорем
    Взаимодействие: Диалоговое, Логика: Классическое, Размер: Коммерческое
    294. QuodLibet
    Веб-страница: http://agent.informatik.uni-kl.de/quodlibet.html
    Электронная почта: [email protected]
    Архитектор: Ульрих Кюлер, Тобиас Шмидт-Самоа, Клаус-Петер Вирт
    Язык: Лисп
    Категория: Доказательство теорем
    Взаимодействие: Диалог, Логика: Классика, Размер: Маленький
    295.REDLOG
    Веб-страница: http://www.fmi.uni-passau.de/~redlog/
    Электронная почта: [email protected]
    Архитектор: Андреас Дольцманн, Томас Штурм
    Язык: Неизвестно
    Категория: Доказательство теорем
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    296. Упростить
    Веб-страница: http://www.hpl.hp.com/techreports/2003/HPL-2003-148.html
    Электронная почта: [email protected]
    Архитектор: Дэйв Детлефс, Грег Нельсон, Джим Сакс
    Язык: Modula-3
    Категория: Доказательство теорем
    Взаимодействие: Пакетное, Логика: Классическое, Размер: Маленький
    297.SVC
    Веб-страница: http://verify.stanford.edu/SVC/
    Электронная почта: [email protected]
    Архитектор: Джереми Левитт
    Язык: C ++
    Категория: Доказательство теорем
    Взаимодействие: Неизвестно, Логика: Неизвестно, Размер: Маленький
    298. Техника: Работа в команде
    Веб-страница: http://www-avenhaus.informatik.uni-kl.de/mitarbeiter/denzinger/cooperation.html
    Электронная почта: [email protected]
    Архитектор: Йорг Дензингер
    Язык: Неизвестно
    Категория: Доказательство теорем
    Взаимодействие: Скрипт, Логика: Классика, Размер: Маленький
    299.Теорема
    Веб-страница: http://www.risc.uni-linz.ac.at/research/theorema/description/
    Электронная почта: [email protected]
    Архитектор: Бруно Бухбергер
    Язык: Математика
    Категория: Доказательство теорем
    Взаимодействие: Диалог, Логика: Классика, Размер: Большой
    300. ТПС
    Веб-страница: http://gtps.math.cmu.edu/tps.html
    Электронная почта: [email protected]
    Архитектор: Питер Эндрюс
    Язык: Common Lisp
    Категория: Доказательство теорем
    Взаимодействие: Диалог, Логика: Классика, Размер: Маленький
    301.Watson
    Веб-страница: http://math.boisestate.edu/~holmes/proverpage.html
    Электронная почта: [email protected]
    Архитектор: М. Рэндалл Холмс
    Язык: Standard ML
    Категория: Доказательство теорем
    Взаимодействие: Диалог, Логика: Классика, Размер: Маленький
    302. Weierstrass
    Веб-страница: http://www.mathcs.sjsu.edu/faculty/beeson/Papers/weier.html Электронная почта
    : [email protected]
    Архитектор: Майкл Бисон
    Язык: C
    Категория: Доказательство теорем
    Взаимодействие: Скрипт, Логика: Классика, Размер: Маленький

    Документация

    Настроить

    Сначала вам нужно настроить rclone.Как объектные системы хранения имеют довольно сложную аутентификацию, они хранятся в файле конфигурации. (См. Запись --config , чтобы узнать, как найти конфигурацию файл и выберите его местоположение.)

    Самый простой способ сделать конфиг — запустить rclone с конфигом. вариант:

      конфигурация rclone
      

    Подробные инструкции для

    см. Ниже.

    Использование

    Rclone синхронизирует дерево каталогов от одной системы хранения к другой.

    Его синтаксис похож на этот

      Синтаксис: [параметры] подкоманда <параметры> <параметры...>
      

    Исходный и целевой пути указываются именем, которое вы дали система хранения в файле конфигурации, затем дополнительный путь, например «drive: myfolder», чтобы просмотреть «myfolder» на Google диске.

    Вы можете определить столько путей хранения, сколько захотите, в файле конфигурации.

    Пожалуйста, используйте -i / - интерактивный флаг , пока изучение rclone, чтобы избежать случайной потери данных.

    Подкоманды

    rclone использует систему подкоманд.Например

      rclone ls remote: path # перечисляет удаленный
    rclone copy / local / path remote: path # копирует / local / путь к удаленному
    rclone sync -i / local / path remote: path # syncs / local / путь к удаленному
      

    Основные команды rclone с наиболее часто используемыми первыми

    Полный список см. В указателе команд.

    Копирование отдельных файлов

    rclone обычно синхронизирует или копирует каталоги. Однако если источник remote указывает на файл, rclone просто скопирует этот файл.В удаленный пункт назначения должен указывать на каталог — rclone предоставит ошибка Не удалось создать файловую систему для «remote: file»: это файл, а не каталог , если это не так.

    Например, предположим, что у вас есть пульт с файлом с именем test.jpg , тогда вы можете скопировать только этот файл, например,

      rclone копировать удаленно: test.jpg / tmp / download
      

    Файл test.jpg будет помещен в / tmp / download .

    Это эквивалентно

      rclone copy --files-from / tmp / files удаленный: / tmp / download
      

    Где / tmp / files содержит единственную строку

      тест.jpg
      

    При копировании отдельных файлов рекомендуется использовать copy , а не sync . У них почти такой же эффект, но копия будет использовать намного меньше объем памяти.

    Синтаксис удаленных путей

    Синтаксис путей, переданных команде rclone, следующий.

    / путь / к / каталог

    Это относится к локальной файловой системе.

    В Windows \ может использоваться вместо / в локальных путях только , нелокальные пути должны использовать /.См. Локальную файловую систему документацию для получения дополнительной информации о путях, специфичных для Windows.

    Эти пути не обязательно должны начинаться с ведущих / — в противном случае они будет относительно текущего каталога.

    удаленный: путь / к / каталог

    Это относится к каталогу path / to / dir на remote: , как определено в файл конфигурации (настроен с помощью rclone config ).

    удаленный: / путь / к / каталог

    В большинстве бэкэндов это относится к тому же каталогу, что и удаленный: путь / к / каталогу и этот формат должен быть предпочтительным.На очень небольшое количество пультов (FTP, SFTP, Dropbox для бизнеса) обратитесь к другому каталогу. На этих путях без ведущего / будет ссылаться на ваш «домашний» каталог, а пути с начальными / будут относятся к корню.

    : бэкэнд: путь / к / каталог

    Это расширенная форма для создания пультов на лету. серверная часть должно быть именем или префиксом серверной части ( введите в конфигурации файл), и вся конфигурация для бэкэнда должна быть предоставлена ​​на в командной строке (или в переменных среды).

    Вот несколько примеров:

      rclone lsd --http-url https://pub.rclone.org: http:
      

    Чтобы вывести список всех каталогов в корне https://pub.rclone.org/ .

      rclone lsf --http-url https://example.com: http: путь / к / каталогу
      

    Для вывода списка файлов и каталогов в https://example.com/path/to/dir/

      rclone copy --http-url https://example.com: http: path / to / dir / tmp / dir
      

    Для копирования файлов и каталогов в https: // example.com / path / to / dir / tmp / dir .

      rclone copy --sftp-host example.com: sftp: path / to / dir / tmp / dir
      

    Для копирования файлов и каталогов с example.com в относительном каталог путь / к / каталог до / tmp / каталог с использованием sftp.

    Соединительные шнуры

    Приведенные выше примеры также можно записать с помощью строки подключения. синтаксис, поэтому вместо предоставления аргументов в виде командной строки параметры --http-url https: // pub.rclone.org они представлены как часть удаленной спецификации как своего рода строка подключения.

      rclone lsd ": http, url = 'https: //pub.rclone.org':"
    rclone lsf ": http, url = 'https: //example.com': путь / к / каталогу"
    rclone copy ": http, url = 'https: //example.com': path / to / dir" / tmp / dir
    rclone copy: sftp, host = example.com: путь / к / каталогу / tmp / каталогу
      

    Они могут применяться для изменения существующих пультов дистанционного управления, а также для создания новых пульты с синтаксисом «на лету». Этот пример эквивалентен добавление параметра --drive-shared-with-me к удаленному приводу gdrive: .

      rclone lsf "gdrive, shared_with_me: путь / к / каталогу"
      

    Основным преимуществом использования синтаксиса стиля строки подключения является что это относится только к пульту, а не ко всем пультам этого тип командной строки. Распространенная путаница — это попытка скопировать файл, размещенный на диске Google, на обычный диск, который не поддерживает . работать , потому что флаг --drive-shared-with-me применяется как к источник и место назначения.

      rclone copy --drive-shared-with-me gdrive: общий-файл.txt gdrive:
      

    Однако при использовании синтаксиса строки подключения это работает.

      rclone copy "gdrive, shared_with_me: shared-file.txt" gdrive:
      

    Обратите внимание, что строка подключения влияет только на параметры непосредственного бэкэнд. Если, например, gdriveCrypt — это крипта, основанная на gdrive, то следующая команда не будет работать должным образом, потому что shared_with_me игнорируется серверной частью крипты:

      rclone copy "gdriveCrypt, shared_with_me: shared-file.txt "gdriveCrypt:
      

    Строки подключения имеют следующий синтаксис

      удаленный, параметр = значение, параметр2 = значение2: путь / к / каталог
    : backend, параметр = значение, параметр2 = значение2: путь / к / каталогу
      

    Если параметр имеет : или , , то его необходимо поместить в кавычки " или ', поэтому

      удаленный, параметр = "двоеточие: значение", параметр2 = "запятая, значение": путь / к / каталогу
    : backend, параметр = 'двоеточие: значение', параметр2 = 'запятая, значение': путь / к / каталогу
      

    Если указанное значение должно включать эту цитату, оно должно быть удвоился, так что

      удаленный, параметр = "с" "цитатой", параметр2 = 'с' 'цитатой': путь / к / директории
      

    Это сделает параметр с "цитатой и параметр 2 будет» с цитатой .

    Если вы оставите = параметр , то rclone заменит = true что очень хорошо работает с флагами. Например, чтобы использовать s3, настроенный в среда, которую вы могли бы использовать:

      rclone lsd: s3, env_auth:
      

    , что эквивалентно

      rclone lsd: s3, env_auth = true:
      

    Обратите внимание, что в командной строке вам может потребоваться окружить эти строки подключения с " или ', чтобы оболочка не интерпретировала любые специальные символы внутри них.

    Если вы мастер оболочки, то вы будете знать, какие строки подходят и которых нет, но если вы не уверены, заключите их в " и используйте ' как внутренняя цитата. Этот синтаксис работает во всех ОС.

      rclone copy ": http, url = 'https: //example.com': path / to / dir" / tmp / dir
      

    В Linux / macOS некоторые символы все еще интерпретируются внутри " строки в оболочке (особенно \ и $ и "), поэтому если ваши строки содержат те, которые вы можете поменять местами " и ' таким образом.(Этот синтаксис не работает в Windows.)

      rclone copy ': http, url = "https://example.com": path / to / dir' / tmp / dir
      
    Строки подключения, конфигурация и регистрация

    Если вы предоставляете дополнительную конфигурацию бэкэнду с помощью флага командной строки, переменная окружения или строка подключения, тогда rclone добавит суффикс на основе хэша конфигурации к имени пульта, например

      rclone -vv lsf --s3-размер блока 20M s3:
      

    Имеет сообщение журнала

      DEBUG: s3: обнаружена переопределенная конфигурация - добавление суффикса "{Srj1p}" к имени
      

    Это сделано для того, чтобы rclone мог отличить модифицированный пульт от немодифицированный пульт при кешировании бэкэндов.

    Это должно быть заметно только в логах.

    Это означает, что на лету бэкенды, такие как

      rclone -vv lsf: s3, env_auth:
      

    Получат свои имена

      DEBUG:: s3: обнаружена переопределенная конфигурация - добавление суффикса "{YTu53}" к имени
      

    Действительные удаленные имена

    • Удаленные имена могут содержать только 0–9, A – Z, a – z, _, — и пробел.
    • Удаленные имена не могут начинаться с -.

    Цитата и оболочка

    Когда вы вводите команды на свой компьютер, вы используете что-то называется оболочкой командной строки.Это интерпретирует различные символы в специфическим для ОС способом.

    Вот несколько ошибок, которые могут помочь пользователям, незнакомым с правилами оболочки.

    Linux / OSX

    Если в ваших именах есть пробелы или метасимволы оболочки (например, * , ? , $ , ', " и т. Д.), То вы должны заключить их в кавычки. По умолчанию используйте одинарные кавычки ' .

      rclone copy 'Важные файлы?' удаленный: резервное копирование
      

    Если вы хотите отправить ', вам нужно будет использовать ", e.г.

      rclone copy "O'Reilly Reviews" удаленный: резервное копирование
      

    Правила цитирования метасимволов сложны и, если хотите полную информацию вы должны будете проконсультироваться на странице руководства для вашего оболочка.

    Окна

    Если в ваших именах есть пробелы, введите их в ", например,

    .
      rclone copy "E: \ имя папки \ имя папки \ имя папки" удаленный: резервное копирование
      

    Если вы используете корневой каталог отдельно, не цитируйте его (почему см. # 464), e.г.

      rclone копия E: \ remote: резервная копия
      

    Копирование файлов или каталогов с

    : в именах

    rclone использует : для обозначения удаленного имени. Однако это действительный компонент имени файла в операционных системах, отличных от Windows. Парсер удаленного имени будет ищите только : до первых /, поэтому, если вам нужно действовать на файл или каталог, как этот, затем используйте полный путь, начиная с / или используйте ./ в качестве префикса текущего каталога.

    Итак, чтобы синхронизировать каталог с именем sync: me с удаленным устройством с именем remote: используйте

      rclone sync -i ./sync:me удаленный: путь
      

    или

      rclone sync -i / full / path / to / sync: me удаленный: путь
      

    Копирование на стороне сервера

    Большинство пультов (но не все — см. обзор) поддерживают серверное копирование.

    Это означает, что если вы хотите скопировать одну папку в другую, rclone не будет скачать все файлы и повторно загрузить их; он проинструктирует сервер скопировать их на место.

    Например,

      rclone копия s3: oldbucket s3: newbucket
      

    Копирует содержимое oldbucket в newbucket без загрузка и повторная загрузка.

    Пульты, которые не поддерживают серверную копию , будут загружать и повторно загрузите в этом случае.

    Копии на стороне сервера используются с синхронизацией и копией и будут определяется в журнале при использовании флага -v . Команда переместить также могут использовать их, если удаленный сервер не поддерживает перемещение на стороне сервера напрямую.Это делается путем выдачи копии на стороне сервера, а затем удаления, что значительно быстрее, чем загрузка и повторная загрузка.

    Копии на стороне сервера будут предприняты только в том случае, если удаленные имена такой же.

    Это можно использовать при написании сценариев для эффективного создания устаревших резервных копий, например

      rclone sync -i удаленный: текущее резервное копирование удаленное: предыдущее резервное копирование
    rclone sync -i / путь / к / файлам удаленный: текущее резервное копирование
      

    Опции

    Rclone имеет ряд опций для управления его поведением.

    Параметры, принимающие параметры, могут иметь значения, передаваемые двумя способами: --option = значение или --option value . Однако логическое значение (истина / ложь) параметры ведут себя немного иначе, чем другие параметры, в этом --boolean устанавливает для параметра значение true и отсутствие флагов это на ложный . Также можно указать --boolean = false или --boolean = true . Обратите внимание, что --boolean false недействителен — это анализируется как --boolean и false анализируется как дополнительная команда строковый аргумент для rclone.

    Опции, использующие ВРЕМЯ, используют синтаксический анализатор времени выхода. Строка продолжительности — это возможно знаковая последовательность десятичных чисел, каждое с необязательным дробь и суффикс единицы, например «300 мс», «-1,5 ч» или «2 ч 55 м». Действительный единицы времени: «нс», «нас» (или «мкс»), «мс», «с», «м», «ч».

    Параметры, использующие РАЗМЕР, по умолчанию используют KiByte (кратные 1024 байтам). Однако суффикс B для байта, K для KiByte, M для MiByte, Можно использовать G для GiByte, T для TiByte и P для PiByte.Эти двоичные единицы, например 1, 2 ** 10, 2 ** 20, 2 ** 30 соответственно.

    —backup-dir = DIR

    При использовании синхронизации , копировать или перемещать любых файлов, которые могли быть перезаписанные или удаленные перемещаются в исходной иерархии в эту каталог.

    Если задано --suffix , то к перемещаемым файлам будет добавлен суффикс им. Если есть файл с таким же путем (после суффикса добавлен) в DIR, то он будет перезаписан.

    Используемый пульт должен поддерживать перемещение или копирование на стороне сервера, и вы должны используйте тот же пульт в качестве места назначения синхронизации. Резервная копия каталог не должен перекрывать целевой каталог.

    Например,

      rclone sync -i / путь / к / локальный удаленный: текущий --backup-dir удаленный: старый
      

    синхронизирует / path / to / local с remote: текущий , но для любых файлов которые были бы обновлены или удалены, будут храниться в пульт: старый .

    При запуске rclone из сценария вы можете использовать сегодняшнюю дату как имя каталога, переданное в --backup-dir для хранения старых файлов, или вы можете передать - суффикс с сегодняшней датой.

    См. --compare-dest и --copy-dest .

    — связка

    Локальный адрес для привязки исходящих соединений. Это может быть IPv4-адрес (1.2.3.4), IPv6-адрес (1234 :: 789A) или имя хоста. Если имя хоста не разрешается или разрешается более чем на один IP-адрес это выдаст ошибку.

    —bwlimit = BANDWIDTH_SPEC

    Эта опция контролирует ограничение полосы пропускания. Например

      --bwlimit 10M
      

    будет означать ограничение пропускной способности загрузки и выгрузки до 10 Мбайт / с. NB это байт в секунду, а не бит в секунду. Чтобы использовать single limit, укажите желаемую пропускную способность в KiByte / s или используйте суффикс B | K | M | G | T | P. По умолчанию 0 , что означает отсутствие ограничения пропускной способности.

    Пропускная способность загрузки и выгрузки может быть указана отдельно, как --bwlimit UP: DOWN , поэтому

      --bwlimit 10M: 100 КБ
      

    будет означать ограничение пропускной способности загрузки до 10 Мбайт / с, а загрузка пропускная способность до 100 КиБайт / с.Любой предел может быть выключен, что означает отсутствие лимита, поэтому чтобы просто ограничить пропускную способность загрузки, вы должны использовать

      --bwlimit 10M: выкл.
      

    , это ограничит пропускную способность загрузки до 10 Мбайт / с, но загрузка пропускная способность будет неограниченной.

    Если указано, как указано выше, ограничения полосы пропускания действуют в течение запуск двоичного файла rclone.

    Также можно указать «расписание» лимитов, которое будет заставляют применять определенные ограничения в определенное время.Чтобы указать расписание, отформатируйте записи как WEEKDAY-HH: MM, BANDWIDTH WEEKDAY-HH: MM, BANDWIDTH ... , где: WEEKDAY — необязательный элемент.

    • BANDWIDTH может быть одним числом, например 100k или пара цифр для загрузки: скачать, например 10М: 1М .
    • WEEKDAY можно записать целым словом или использовать только первые 3 слова. символы. Это необязательно.
    • ЧЧ: ММ — час с 00:00 до 23:59.

    Пример типичного расписания, чтобы избежать перегрузки канала в дневное время рабочее время могло быть:

    --bwlimit "08: 00,512k 12: 00,10M 13: 00,512k 18: 00,30M 23:00, выкл."

    В этом примере будет установлена ​​пропускная способность 512 КиБайт / с. в 8 утра каждый день. В полдень он вырастет до 10 Мбайт / с и снова упадет. до 512 Кбайт / сек в 13:00. В 18:00 предел пропускной способности будет установлен на 30 Мбайт / с, а в 23:00 он будет полностью отключен (полная скорость).Все, что находится между 23:00 и 8:00, останется без ограничений.

    Пример расписания с WEEKDAY может быть:

    --bwlimit "Пн-00: 00,512 Пт-23: 59,10M Сб-10: 00,1M Вс-20: 00, выкл."

    Это означает, что пропускная способность будет установлена ​​на 512 KiByte / s на Понедельник. К концу пятницы он вырастет до 10 МБ / с. В 10:00 в субботу он будет установлен на 1 Мбайт / с. С 20:00 в воскресенье быть неограниченным.

    Временные интервалы без WEEKDAY продлены на всю неделю.Так что это пример:

    --bwlimit "Пн-00: 00,512 12: 00,1M Вс-20: 00, выкл."

    Эквивалентно этому:

    --bwlimit "пн-00: 00,512пн-12: 00,1M вт-12: 00,1M ср-12: 00,1M чт-12: 00,1M пт-12: 00,1M сб-12: 00,1M вс-12: 00,1M вс-20: 00, выкл. »

    Ограничение пропускной способности применяется к передаче данных для всех бэкэндов. Для большинства бэкэнды также включена пропускная способность списка каталогов (исключения бэкэнды, отличные от HTTP, ftp , sftp и tardigrade ).

    Обратите внимание, что единицы измерения — байт / с , а не бит / с . Обычно соединения измеряются в бит / с — для преобразования разделите на 8. Для Например, допустим, у вас есть соединение со скоростью 10 Мбит / с, и вы хотите, чтобы rclone использовать половину — 5 Мбит / с. Это 5/8 = 0,625 Мбайт / с, поэтому вы должны используйте параметр --bwlimit 0.625M для rclone.

    В системах Unix (Linux, macOS,…) ограничитель пропускной способности можно переключить с помощью отправка сигнала SIGUSR2 в rclone. Это позволяет снять ограничения длительной передачи rclone и восстановить его до указанного значения с --bwlimit быстро при необходимости.Предполагая, что существует только один экземпляр rclone работает, вы можете переключить ограничитель следующим образом:

      kill -SIGUSR2 $ (пидоф rclone)
      

    Если вы настраиваете rclone с помощью пульта дистанционного управления, вы можете использовать динамически изменить bwlimit:

      rclone rc core / bwlimit rate = 1M
      

    —bwlimit-file = BANDWIDTH_SPEC

    Этот параметр контролирует ограничение пропускной способности файла. Чтобы узнать о вариантах, см. - флаг bwlimit .

    Например, используйте это, чтобы скорость передачи не превышала 1 Мбайт / с

      --bwlimit-file 1M
      

    Может использоваться вместе с --bwlimit .

    Обратите внимание, что если расписание предоставлено, файл будет использовать расписание в эффект в начале передачи.

    — размер буфера = РАЗМЕР

    Используйте буфер этого размера для ускорения передачи файлов. Каждые - перевод будет использовать этот объем памяти для буферизации.

    При использовании mount или cmount каждый дескриптор открытого файла будет использовать это количество память для буферизации. См. Документацию по монтированию для получения более подробной информации.

    Установите значение 0 , чтобы отключить буферизацию для минимального использования памяти.

    Обратите внимание, что на распределение памяти буферов влияет Флаг —use-mmap.

    — первая проверка

    Если этот флаг установлен, то при sync , copy или move , rclone сделает все проверки, чтобы увидеть, нужно ли передавать файлы перед делать какие-либо переводы. Обычно rclone запускается переводы в кратчайшие сроки.

    Этот флаг может быть полезен в системах с ограниченным вводом-выводом, где передача мешают проверке.

    Это также может быть полезно для обеспечения безупречного заказа при использовании - заказ .

    Использование этого флага может использовать больше памяти, поскольку он эффективно устанавливает --max-backlog до бесконечности. Это означает, что вся информация на объекты для передачи хранятся в памяти до начала передачи.

    —checkers = N

    Количество чекеров для параллельного запуска. Шашки делают равенство проверка файлов при синхронизации. Для некоторых систем хранения (например, S3, Swift, Dropbox) это может занять много времени, поэтому они работать параллельно.

    По умолчанию 8 чекеров запускаются параллельно.

    -c, —checksum

    Обычно rclone смотрит на время модификации и размер файлов для посмотрим, равны ли они. Если вы установите этот флаг, rclone проверит хэш файла и размер, чтобы определить, равны ли файлы.

    Это полезно, когда пульт дистанционного управления не поддерживает установку времени изменения. и желательна более точная синхронизация, чем просто проверка размера файла.

    Это очень полезно при переключении между пультами дистанционного управления, которые хранят тот же тип хэша на объекте, e.г. Драйв и Свифт. Для получения подробной информации о том, поддержка пультов ДУ, тип хеша см. в таблице в обзоре раздел.

    Например, rclone --checksum sync s3: / bucket swift: / bucket будет много работать быстрее, чем без флага - контрольная сумма .

    При использовании этого флага rclone не будет обновлять время удаленных файлов, если они неверны, как обычно.

    —compare-dest = DIR

    При использовании sync , copy или move DIR проверяется в дополнение к место назначения для файлов.Если обнаружен файл, идентичный источнику, то файл НЕ копируется из источника. Это полезно для копирования только файлов, изменились с момента последней резервной копии.

    Вы должны использовать тот же пульт в качестве места назначения синхронизации. В Каталог сравнения не должен перекрывать целевой каталог.

    См. --copy-dest и --backup-dir .

    —config = CONFIG_FILE

    Укажите расположение файла конфигурации rclone, чтобы переопределить по умолчанию.Например. rclone config --config = "rclone.conf" .

    Точное значение по умолчанию немного сложно описать из-за изменений. введены в различных версиях rclone при сохранении обратная совместимость, но в большинстве случаев это просто:

    • % APPDATA% / rclone / rclone.conf в Windows
    • ~ / .config / rclone / rclone.conf на другом

    Полная логика следующая: Rclone будет искать существующий файл конфигурации в любом из следующих расположений в порядке приоритета:

    1. rclone.conf (в каталоге программы, где находится исполняемый файл rclone)
    2. % APPDATA% / rclone / rclone.conf (только в Windows)
    3. $ XDG_CONFIG_HOME / rclone / rclone.conf (во всех системах, включая Windows)
    4. ~ / .config / rclone / rclone.conf (объяснение символа ~ см. Ниже)
    5. ~ / .rclone.conf

    Если существующий файл конфигурации не найден, будет создан новый. по адресу:

    • В Windows: Местоположение 2, указанное выше, за исключением маловероятного случая что APPDATA не определено, вместо этого используется местоположение 4.
    • В Unix: расположение 3, если определено XDG_CONFIG_HOME , иначе расположение 4.
    • Возврат к местоположению 5 (во всех ОС), когда каталог rclone не может быть создан, но если домашний каталог не найден, тогда путь .rclone.conf относительно текущего рабочего каталога будет использоваться как последнее средство.

    Символ ~ в приведенных выше путях представляет домашний каталог текущего пользователя. на любой ОС, а значение определяется следующим образом:

    • В Windows: % HOME% , если определено, иначе % USERPROFILE% , иначе % HOMEDRIVE% \% HOMEPATH% .
    • В Unix: $ HOME , если определено, иначе путем поиска текущего пользователя в базе данных пользователей ОС (например, файл passwd) или используйте результат команды оболочки cd && pwd .

    Если вы запустите файл конфигурации rclone , вы увидите, где место для вас.

    Дело в том, что существующий файл rclone.conf в том же каталоге поскольку исполняемый файл rclone всегда предпочтительнее, это означает, что это легко для работы в «портативном» режиме, загрузив исполняемый файл rclone в доступный для записи каталог, а затем создайте пустой файл rclone.conf в тот же каталог.

    Если в качестве местоположения задана пустая строка "" или путь к файлу с именем notfound , или нулевое устройство операционной системы, представленное значением NUL на Windows и / dev / null в системах Unix, тогда rclone сохранит config только в памяти.

    Формат файла — базовый INI: Разделы текста, начинающиеся с заголовка [section] , за которым следует ключ = значение записей в отдельных строках. В rclone каждый пульт представлен собственным разделом, где имя раздела определяет имя пульта.Параметры указаны как ключ = значение записей, где ключ — это имя опции без префикса --backend- , в нижнем регистре и с _ вместо - . Например. опция --mega-hard-delete соответствует ключу hard_delete . Можно указать только параметры серверной части. Специальный и обязательный ключ типа идентифицирует систему хранения, где значение — это внутреннее имя в нижнем регистре, возвращаемое командой rclone справочная система .Комментарии обозначены номером ; или # на начало строки.

    Пример:

      [megaremote]
    тип = мега
    user = [email protected]
    pass = PDPcQVVjVtzFY-GTdDFozqBhTdsPg3qH
      

    Обратите внимание, что пароли скрыты форма. Кроме того, многие системы хранения вместо этого используют аутентификацию на основе токенов. паролей, а это требует дополнительных действий. Так проще и безопаснее, использовать интерактивную команду rclone config вместо ручной редактирование файла конфигурации.

    Файл конфигурации обычно содержит информацию для входа в систему и поэтому должен иметь ограниченные разрешения, чтобы только текущий пользователь можете прочитать это. Rclone пытается обеспечить это при записи файла. Вы также можете зашифровать файл.

    При использовании аутентификации на основе токенов файл конфигурации должен быть доступен для записи, потому что rclone должен обновлять токены внутри него.

    —contimeout = ВРЕМЯ

    Установите время ожидания соединения. Это должно быть в формате времени go, который выглядит как 5s в течение 5 секунд, 10m в течение 10 минут или 3h40m .

    Тайм-аут соединения — это время, в течение которого rclone будет ждать подключение для перехода к системе хранения удаленных объектов. это 1 м по умолчанию.

    —copy-dest = DIR

    При использовании sync , copy или move DIR проверяется в дополнение к место назначения для файлов. Если обнаружен файл, идентичный источнику, то файл копируется на стороне сервера из DIR в место назначения. Это полезно для инкрементного резервного копирования.

    Используемый пульт должен поддерживать копирование на стороне сервера, и вы должны используйте тот же пульт в качестве места назначения синхронизации.Сравнение каталог не должен перекрывать целевой каталог.

    См. --compare-dest и --backup-dir .

    — РЕЖИМ дедупликации

    Режим для запуска команды дедупликации. Один из интерактивных , пропустить , первый , самый новый , самый старый , переименовать . По умолчанию интерактивный . См. Команду dedupe для получения дополнительной информации о том, что означают эти параметры.

    — отключить FEATURE, FEATURE ,…

    Отключает список дополнительных функций, разделенных запятыми. Например для отключения перемещения на стороне сервера и использования копирования на стороне сервера:

      - отключить ход, копировать
      

    Фичи можно поставить в любом случае.

    Чтобы просмотреть список функций, которые можно отключить, используйте:

      - отключить помощь
      

    См. Обзор функций и дополнительные функции, чтобы получить представление о какая функция что делает.

    Этот флаг может быть полезен для отладки и в исключительных случаях. (е.г. Google Диск ограничивает общий объем серверных копий до 100 ГиБ / день).

    —dscp ЗНАЧЕНИЕ

    Укажите значение или имя DSCP для использования в соединениях. Это может помочь QoS система определения класса трафика. Разрешены BE, EF, DF, LE, CSx и AFxx.

    См. Описание дифференцированных услуг, чтобы получить представление о это поле. Установите для этого параметра значение 1 (LE), чтобы идентифицировать поток к классу SCAVENGER. позволяет избежать использования слишком большой полосы пропускания в сети с поддержкой DiffServ (RFC 8622).

    Например, если вы настроили QoS на маршрутизаторе для правильной обработки LE. Бег:

      rclone copy --dscp LE from: / from to: / to
      

    сделает приоритет более низким, чем обычные интернет-потоки.

    Этот параметр не работает в Windows (см. Golang / go # 42728).

    -n, —dry-run

    Сделайте пробный запуск без постоянных изменений. Используйте это, чтобы увидеть, что rclone обошлось бы без этого. Полезно при настройке синхронизации команда, которая удаляет файлы в месте назначения.

    —expect-continue-timeout = ВРЕМЯ

    Определяет время ожидания первого заголовки ответа после полной записи заголовков запроса, если запрос имеет заголовок «Expect: 100-continue». Не все бэкенды поддерживают используя это.

    Ноль означает отсутствие тайм-аута и немедленную отправку тела, не дожидаясь подтверждения сервера. На этот раз не входит время отправки заголовка запроса.

    По умолчанию 1 с .Установите 0 , чтобы отключить.

    — ошибка при отсутствии передачи

    По умолчанию rclone завершит работу с кодом возврата 0, если ошибок не было.

    Эта опция позволяет rclone возвращать код выхода 9, если файлы не были переданы. между источником и местом назначения. Это позволяет использовать rclone в скриптах, и запуск последующих действий, если данные были скопированы, или пропуска, если нет.

    NB: включение этой опции превращает обычно нефатальную ошибку в потенциально фатальный — проверьте и скорректируйте свои скрипты соответствующим образом!

    —fs-cache-expire-duration = ВРЕМЯ

    При использовании rclone через API rclone создает кеши удаленных для 5 минут по умолчанию в «кеше фс».Это означает, что если вы это сделаете повторяющиеся действия на одном и том же пульте дистанционного управления, тогда rclone не будет создавать его снова с нуля, что делает его более эффективным.

    Этот флаг устанавливает время, в течение которого пульты кэшируются. Если вы установите это на 0 (или отрицательный), тогда rclone вообще не кэширует пульты.

    Обратите внимание, что если вы используете некоторые флаги, например --backup-dir и если это установлено по номеру 0 rclone может создавать два пульта дистанционного управления (один для источника или назначения и один для - backup-dir , где, возможно, был построен только один перед.

    —fs-cache-expire-interval = ВРЕМЯ

    Этот параметр определяет, как часто rclone проверяет, не истек ли срок действия кэшированных пультов ДУ. Дополнительную информацию см. В документации --fs-cache-expire-duration выше. Информация. По умолчанию 60 секунд, значение 0 — отключение истечения срока действия.

    Добавить заголовок HTTP для всех транзакций. Флаг может повторяться до добавить несколько заголовков.

    Если вы хотите добавить заголовки только для загрузки, используйте --header-upload и если вы хотите добавить заголовки только для загрузок, используйте --header-download .

    Этот флаг поддерживается для всех серверных программ на основе HTTP, даже для тех, которые не поддерживается --header-upload и --header-download , поэтому может использоваться как обходной путь для тех, кто осторожен.

      rclone ls remote: test --header «X-Rclone: ​​Foo» --header «X-LetMeIn: Yes»
      

    Добавьте заголовок HTTP для всех транзакций загрузки. Флаг может повторяться до добавить несколько заголовков.

      rclone sync -i s3: test / src ~ / dst --header-download "X-Amz-Meta-Test: Foo" --header-download "X-Amz-Meta-Test2: Bar"
      

    См. Проблему GitHub здесь для в настоящее время поддерживаются бэкенды.

    Добавьте заголовок HTTP для всех транзакций загрузки. Флаг можно повторить, чтобы добавить несколько заголовков.

      rclone sync -i ~ / src s3: test / dst --header-upload "Content-Disposition: attachment; filename = 'cool.html'" --header-upload "X-Amz-Meta-Test: FooBar"
      

    См. Проблему GitHub здесь для в настоящее время поддерживаются бэкенды.

    —ignore-case-sync

    Использование этой опции заставит rclone игнорировать регистр файлов при синхронизации, поэтому файлы не будут копироваться / синхронизироваться, когда существующие имена файлов совпадают, даже если регистр отличается.

    — игнорировать контрольную сумму

    Обычно rclone проверяет, что контрольные суммы переданных файлов совпадают, и выдают ошибку «повреждено при передаче», если они этого не делают.

    Вы можете использовать эту опцию, чтобы пропустить эту проверку. Вы должны использовать его, только если у вас появилось сообщение об ошибке «повреждено при передаче», и вы конечно, вы можете захотеть перенести потенциально поврежденные данные.

    — игнорировать существующий

    Использование этой опции заставит rclone безоговорочно пропустить все файлы которые существуют в месте назначения, независимо от содержимого этих файлов.

    Хотя этот вариант не рекомендуется, он может быть полезен. в случаях, когда ваши файлы изменяются из-за шифрования. Однако это не может корректные частичные переводы в случае прерывания перевода.

    — размер игнорирования

    Обычно rclone смотрит на время модификации и размер файлов для посмотрим, равны ли они. Если вы установите этот флаг, rclone проверит только время модификации. Если задано --checksum , то только проверяет контрольную сумму.

    Это также приведет к тому, что rclone пропустит проверку того, что размеры совпадают. после перевода.

    Это может быть полезно для передачи файлов в OneDrive и обратно, которые иногда неверно сообщает размер файлов изображений (см. # 399 для получения дополнительной информации).

    -I, —ignore-раз

    Использование этой опции заставит rclone безоговорочно загрузить все файлы независимо от состояния файлов в месте назначения.

    Обычно rclone пропускает все файлы с одинаковым время модификации и одинакового размера (или имеют одинаковую контрольную сумму, если используя - контрольная сумма ).

    — неизменяемый

    Считать исходный и целевой файлы неизменяемыми и запрещать модификация.

    Если этот параметр установлен, файлы будут создаваться и удаляться по запросу, но существующие файлы никогда не будут обновлены. Если существующий файл не совпадает между источником и получателем, rclone выдаст ошибку Источник и место назначения существуют, но не совпадают: неизменяемый файл изменен .

    Обратите внимание, что только команды, которые передают файлы (например, синхронизировать , копировать , ход ), влияют на это поведение, и только модификация запрещено.Файлы по-прежнему могут быть удалены явно (например, удалить , очистить ) или неявно (например, синхронизировать , переместить ). Используйте copy --immutable если желательно избежать удаления или модификации.

    Это может быть полезно в качестве дополнительного уровня защиты неизменяемых или наборы данных только для добавления (особенно резервные архивы), где изменение подразумевает коррупцию и не подлежит распространению.

    -i / — интерактивный

    Этот флаг можно использовать, чтобы сообщить rclone, что вам нужно руководство. подтверждение перед разрушительными операциями.

    рекомендуется использовать этот флаг при изучении rclone особенно с rclone sync .

    Например,

      $ rclone удалить -i / tmp / dir
    rclone: ​​удалить "important-file.txt"?
    y) Да, это нормально (по умолчанию)
    п) Нет, пропустить это
    s) Пропустить все операции удаления без вопросов
    !) Выполняйте все операции удаления без лишних вопросов
    q) Выйдите из rclone сейчас.
    г / н / с /! / д> п
      

    Опции означают

    • y : Да, , эта операция должна быть выполнена.Вы также можете нажать Return чтобы это произошло. Вас будут спрашивать каждый раз, если вы не выберете s или ! .
    • n : Нет , не выполняйте эту операцию. Вас будут спрашивать каждый раз, если только вы выбираете s или ! .
    • s : Пропустить все следующие операции этого типа, не более вопросов. Это действует до выхода из rclone. Если есть вам будут предложены различные виды операций.
    • ! : Выполнить все следующие операции, не более вопросов. Полезно, если вы решили, что не против делать rclone. такая операция. Это действует до выхода из rclone. Если вам будет предложено выполнить какие-либо операции их.
    • q : Закройте rclone сейчас, на всякий случай!

    —leave-root

    Во время rmdirs он не удаляет корневой каталог, даже если он пуст.

    —log-file = ФАЙЛ

    Записывать все выходные данные rclone в ФАЙЛ.По умолчанию он не активен. Это может быть полезно для отслеживания проблем с синхронизацией в комбинация с флагом -v . См. Раздел «Ведение журнала» для получения дополнительной информации.

    Если ФАЙЛ существует, то к нему добавится rclone.

    Обратите внимание, что если вы используете программу logrotate для управления rclone logs, то вам следует использовать опцию copytruncate , поскольку rclone не есть сигнал повернуть бревна.

    — СПИСОК формата журнала

    Список параметров формата журнала, разделенных запятыми. дата , время , микросекунд , longfile , shortfile , UTC . По умолчанию: «, дата , , время ».

    — уровень журнала УРОВЕНЬ

    Устанавливает уровень журнала для rclone. Уровень журнала по умолчанию — УВЕДОМЛЕНИЕ .

    DEBUG эквивалентно -vv . Он выводит много отладочной информации — полезно для отчетов об ошибках и реального выяснения того, что делает rclone.

    ИНФОРМАЦИЯ эквивалентна -v .Выводит информацию о каждой передаче и по умолчанию печатает статистику раз в минуту.

    УВЕДОМЛЕНИЕ — это уровень журнала по умолчанию, если не указаны флаги ведения журнала. Это выводит очень мало, когда все работает нормально. Он выводит предупреждения и важные события.

    ОШИБКА эквивалентна -q . Он выводит только сообщения об ошибках.

    —use-json-log

    Это переключает формат журнала на JSON для rclone. Поля журнала json уровень, сообщение, источник, время.

    — попытки на низком уровне НОМЕР

    Управляет количеством повторных попыток низкого уровня, которые выполняет rclone.

    Повторная попытка на низком уровне используется для повторения неудачной операции — обычно одна. HTTP-запрос. Это может быть загрузка фрагмента большого файла для пример. Вы увидите повторные попытки низкого уровня в журнале с -v флаг.

    Не нужно менять значение по умолчанию при нормальной работе. Однако, если вы получаете много повторных попыток на низком уровне, вы можете пожелать чтобы уменьшить значение, чтобы rclone перешел к повторной попытке высокого уровня (см. - возвращает флаг ) быстрее.

    Отключить повторы низкого уровня с --low-level-retries 1 .

    —max-backlog = N

    Это максимально допустимое отставание файлов при синхронизации / копировании / перемещении. в очереди на проверку или передачу.

    Может быть установлен произвольно большим. Он будет использовать память только тогда, когда очередь уже используется. Обратите внимание, что он будет использовать порядка N КиБ памяти. когда используется невыполненная работа.

    Установка этого большого размера позволяет rclone вычислить, сколько файлов ожидание более точно, дайте более точную оценку отделки time и заставьте --order-by работать точнее.

    Установка этого небольшого значения сделает rclone более синхронным с листингами. пульта дистанционного управления, который может быть желательным.

    Установка отрицательного числа приведет к тому, что невыполненная работа будет равна возможный.

    —max-delete = N

    Это указывает rclone не удалять более N файлов. Если этот предел превышено, то будет сгенерирована фатальная ошибка, и rclone остановит операция в процессе.

    —max-depth = N

    Это изменяет глубину рекурсии для всех команд, кроме очистки.

    Итак, если вы выполните rclone --max-depth 1 ls remote: path , вы увидите только файлы в каталоге верхнего уровня. Использование --max-depth 2 означает, что вы увидит все файлы на первых двух уровнях каталогов и так далее.

    По историческим причинам команда lsd по умолчанию использует --max-depth of 1 — вы можете переопределить это с помощью флага командной строки.

    Эту команду можно использовать для отключения рекурсии (с --max-depth 1 ).

    Обратите внимание, что если вы используете это с sync и --delete-excluded , файлы, не прошедшие рекурсию, считаются исключенными и удаляются по месту назначения. Сначала проверьте --dry-run , если вы не уверены что случится.

    —max-duration = ВРЕМЯ

    Rclone перестанет планировать новые передачи, когда он будет запущен для указанная продолжительность.

    По умолчанию выключено.

    При достижении лимита все существующие переводы будут завершены.

    Rclone не выйдет с ошибкой, если будет достигнут предел передачи.

    —max-transfer = РАЗМЕР

    Rclone прекратит передачу, когда достигнет указанного размера. По умолчанию выключено.

    При достижении лимита все переводы немедленно прекращаются.

    Rclone выйдет с кодом выхода 8, если будет достигнут предел передачи.

    —cutoff-mode = hard | soft | осторожный

    Это изменяет поведение --max-transfer По умолчанию --cutoff-mode = hard .

    Указание --cutoff-mode = hard немедленно прекратит передачу когда Rclone достигает предела.

    Указание --cutoff-mode = soft остановит запуск новых передач когда Rclone достигает предела.

    Указание --cutoff-mode = осторожно попытается предотвратить Rclone от достижения предела.

    —modify-window = ВРЕМЯ

    При проверке того, был ли файл изменен, это максимальное допустимая разница во времени, которую файл может иметь и при этом считается эквивалент.

    Значение по умолчанию — 1 нс , если это не отменено удаленным устройством. Для пример OS X хранит время модификации только с точностью до секунды, поэтому если вы читаете и записываете в файловую систему OS X, это будет 1 с по умолчанию.

    Этот флаг командной строки позволяет вам переопределить вычисленное значение по умолчанию.

    — многониточная обрезка = РАЗМЕР

    При загрузке файлов на локальный сервер размером больше этого, rclone будет использовать несколько потоков для загрузки файла (по умолчанию 250M).

    Rclone предварительно выделяет файл (используя fallocate (FALLOC_FL_KEEP_SIZE) в unix или NTSetInformationFile в Windows, оба из которых не требуют время), затем каждый поток записывает прямо в файл в нужное место. Это означает, что rclone не будет создавать фрагментированные или разреженные файлы. и времени сборки в конце передачи не будет.

    Количество потоков, используемых для загрузки, контролируется - многопоточные потоки .

    Используйте -vv , если хотите увидеть информацию о цепочках.

    Это будет работать с синхронизировать / копировать / перемещать команд и друзей копировать на / переместиться на . Многопоточная загрузка будет использоваться с rclone mount и rclone serve , если --vfs-cache-mode установлен на пишет или выше.

    NB , что этот только работает для местного назначения, но будет работать с любого источника.

    NB , что многопоточные копии отключены для локальных копий поскольку они быстрее без --multi-thread-streams явно.

    NB в Windows при использовании многопоточной загрузки вызовет результирующие файлы должны быть разреженными. Используйте --local-no-sparse , чтобы отключить разреженные файлы (что может задержки в начале загрузки) или отключить многопоточную загрузку с - многопоточными потоками 0

    — многопоточные потоки = N

    При использовании многониточной загрузки (см. Выше - многозаходная обрезка ) это устанавливает максимальное количество используемых потоков. Установите 0 , чтобы отключить многопоточная загрузка (по умолчанию 4).

    Сколько именно потоков rclone использует для загрузки, зависит от размер файла. Для расчета количества потоков загрузки Rclone делит размер файла на - многозаходной и кругов. вверх, до максимального набора с - multi-thread-streams .

    Итак, если - многопоточная обрезка 250M и - многопоточные потоки 4 являются в силе (по умолчанию):

    • 0..250 файлов MiB будут загружены с 1 потоком
    • 250.Файлы .500 MiB будут загружены с 2 потоками
    • 500..750 MiB файлов будут загружены с 3 потоками
    • 750+ файлов MiB будут загружены с 4 потоками

    —no-check-dest

    --no-check-dest может использоваться с move или copy , и это вызывает rclone, чтобы вообще не проверять место назначения при копировании файлов.

    Это означает, что:

    • пункт назначения не указан, минимизация вызовов API
    • файлов передаются всегда
    • , это может привести к дублированию на пультах дистанционного управления, которые позволяют это (например,г. Google Диск)
    • - retries 1 Рекомендуется , иначе вы перенесете все снова при повторной попытке

    Этот флаг полезен для минимизации транзакций, если вы знаете, что ни один файлов находятся в месте назначения.

    Это специальный флаг, который большинству пользователей следует игнорировать!

    —no-gzip-encoding

    Не устанавливать Accept-Encoding: gzip . Это означает, что rclone не спросит сервер для сжатых файлов автоматически.Полезно, если вы установили сервер для возврата файлов с Content-Encoding: gzip , но вы загруженные сжатые файлы.

    Нет необходимости настраивать это при нормальной работе, и это приведет к снизить эффективность сетевой передачи rclone.

    — без траверсы

    Флаг --no-traverse определяет, будет ли файловая система назначения перемещается при использовании команд копировать или перемещать . --no-traverse несовместим с sync и будет проигнорирован, если вы предоставляете ему sync .

    Если вы копируете только небольшое количество файлов (или фильтруете большую часть файлов) и / или иметь большое количество файлов в месте назначения тогда --no-traverse остановит rclone перечисление пункта назначения и сохранит время.

    Однако, если вы копируете большое количество файлов, особенно если вы делают копию там, где многие рассматриваемые файлы не изменен и не требует копирования, то вам не следует использовать --no-traverse .

    См. Rclone copy для примера того, как его использовать.

    — нормализация без юникода

    Не нормализовать символы Юникода в именах файлов во время процедуры синхронизации.

    Иногда операционная система сохраняет имена файлов, содержащие юникод. части в разложенной форме (особенно macOS). Некоторое облачное хранилище системы затем перекомпоновят юникод, что приведет к дублированию файлов, если данные всегда копируются обратно в локальную файловую систему.

    Использование этого флага отключит эту функцию, обрабатывая каждый юникод. характер как уникальный.Например, по умолчанию é и é будут нормализованы. в того же персонажа. С --no-unicode-normalization они будут рассматриваются как уникальные персонажи.

    —no-update-modtime

    При использовании этого флага rclone не обновляет время модификации удаленного файлы, если они неверны, как обычно.

    Это можно использовать, если пульт также синхронизируется с другим инструментом. (например, клиент Google Диска).

    — строка заказа

    Флаг --order-by управляет порядком, в котором файлы в очереди. обрабатываются в rclone sync , rclone copy и rclone move .

    Порядок по строке строится следующим образом. Первая часть описывает, какой аспект измеряется:

    • размер — упорядочить по размеру файлов
    • имя — упорядочить по полному пути к файлам
    • modtime — упорядочить по дате модификации файлов

    Модификатор может быть добавлен с запятой:

    • по возрастанию или по возрастанию — порядок, чтобы наименьший (или самый старый) обрабатывался первым
    • по убыванию или по убыванию — упорядочить так, чтобы сначала обрабатывались самые большие (или самые новые)
    • смешанный — порядок, при котором наименьший обрабатывается первым для одних потоков, а наибольший — для других

    Если модификатор смешанный , то он может иметь необязательный процент (по умолчанию 50 ), e.г. размер, смешанный, 25 , что означает, что 25% нитки должны занимать самые мелкие предметы и 75% самый большой. Нити, которые занимают в первую очередь самые маленькие, всегда будут занимать самая маленькая первая и также самая большая первая нитка. смешанный режим может быть полезен для минимизации времени передачи, когда вы передача смеси больших и маленьких файлов — большие файлы гарантированные потоки загрузки и пропускная способность, а небольшие файлы будут обрабатывается непрерывно.

    Если модификатор не указан, то порядок — по возрастанию .

    Например,

    • - по размеру, по убыванию — сначала отправлять самые большие файлы
    • - упорядочить по времени модов, по возрастанию — сначала отправлять самые старые файлы
    • - упорядочить по имени — отправить файлы в алфавитном порядке по пути сначала

    Если флаг --order-by не поставляется или поставляется с пустая строка, тогда будет использоваться порядок по умолчанию, который выглядит как отсканировано. С --checkers 1 это в основном алфавитный, однако со значением по умолчанию --checkers 8 это несколько случайно.

    Ограничения

    Флаг --order-by не выполняет отдельную передачу данных. Этот означает, что он может передавать некоторые файлы в неправильном порядке, если

    • нет файлов в очереди или источник еще не полностью просканирован
    • в отставании больше, чем —max-backlog файлов

    Rclone сделает все возможное, чтобы передать лучший файл, который у него есть, поэтому в на практике это не должно вызывать проблем. Думайте о --order-by как о быть скорее флагом максимальных усилий, чем идеальным порядком.

    Если вам нужен идеальный заказ, вам необходимо указать —check-first, который найдет все нужные файлы передача сначала перед передачей любого.

    — пароль-команда SpaceSepList

    Этот флаг предоставляет программу, которая должна предоставить пароль конфигурации. при запуске. Это альтернатива запросу пароля rclone. или установив переменную RCLONE_CONFIG_PASS .

    Аргументом здесь должна быть команда со списком, разделенным пробелами. аргументов.Если в одном из аргументов есть пробел, заключите его в ", если вы хотите использовать буквальное значение " в аргументе, тогда заключите аргумент в " и удвоить " . См. Кодировку CSV для получения дополнительной информации.

    Например,

      --password-command echo привет
    --password-command echo "привет, пробел"
    --password-command echo "привет с" "кавычками" "и пробелом"
      

    Дополнительные сведения см. В разделе «Шифрование конфигурации».

    См. Пример Windows PowerShell в Wiki.

    -P, —progress

    Этот флаг заставляет rclone обновлять статистику в статическом блоке в терминал, обеспечивающий обзор перевода в реальном времени.

    Любые сообщения журнала будут прокручиваться над статическим блоком. Журнал сообщений подтолкнет статический блок к нижней части терминала, где он останется.

    Обычно обновляется каждые 500 мс, но этот период можно изменить. с флагом --stats .

    Может использоваться с флагом --stats-one-line для упрощения отображать.

    Примечание: в Windows до этой ошибки исправлено, все символы, отличные от ASCII, будут заменены на . когда - процесс уже используется.

    — заголовок-прогресс-терминал

    Этот флаг при использовании с -P / - progress напечатает строку ETA:% s к заголовку терминала.

    -q, — тихий

    Этот флаг ограничивает вывод rclone только сообщениями об ошибках.

    — время обновления

    Флаг --refresh-times может использоваться для обновления времени модификации существующие файлы, когда они не синхронизированы на бэкэндах, которые не поддержка хешей.

    Это полезно, если вы загрузили файлы с неправильными отметками времени и теперь вы хотите их исправить.

    Этот флаг только полезен для пунктов назначения, которые не поддерживают хеши (например, крипта ).

    Здесь можно использовать любую из команд синхронизации синхронизировать , копировать или перемещать .

    Чтобы использовать этот флаг, вам необходимо выполнить синхронизацию времени модификации. (поэтому не используйте --size-only или --checksum ).Флаг не будет иметь эффект при использовании --size-only или --checksum .

    Если этот флаг используется, когда rclone приходит для загрузки файла, он проверяет чтобы увидеть, есть ли в месте назначения файл. Если этот файл соответствует источнику по размеру (и контрольной сумме, если имеется), но имеет другую временную метку, то вместо повторной загрузки rclone будет обновить метку времени в конечном файле. Если контрольная сумма не match rclone загрузит новый файл. Если контрольная сумма отсутствует (например,г. на бэкэнде crypt ), тогда rclone обновит метку времени.

    Обратите внимание, что некоторые пульты дистанционного управления не могут установить время модификации без повторная загрузка файла, чтобы этот флаг был менее полезен для них.

    Обычно, если вы выполняете синхронизацию времени модификации, rclone будет обновлять время модификации без --refresh-times при условии, что удаленный поддерживает контрольные суммы и , контрольные суммы совпадают в файле. Однако если контрольные суммы отсутствуют, тогда rclone загрузит файл, а не установка отметки времени, поскольку это безопасное поведение.

    — retries int

    Повторить всю синхронизацию, если она терпит неудачу столько раз, сколько неудач (по умолчанию 3).

    Некоторые пульты могут быть ненадежными, и несколько повторных попыток помогут подобрать файлы, которые не были переданы из-за ошибок.

    Отключить повторные попытки с - retries 1 .

    —retries-sleep = ВРЕМЯ

    Устанавливает интервал между каждой повторной попыткой, заданный параметром - retries

    По умолчанию 0 . Для отключения используйте 0 .

    — только размер

    Обычно rclone смотрит на время модификации и размер файлов для посмотрим, равны ли они. Если вы установите этот флаг, rclone проверит только размер.

    Это может быть полезно при передаче файлов из Dropbox, которые были изменен клиентом синхронизации рабочего стола, который не устанавливает контрольные суммы время модификации аналогично rclone.

    —stats = ВРЕМЯ

    Команды для передачи данных ( синхронизировать , копировать , копировать на , перемещать , moveto ) будет печатать статистику передачи данных через регулярные промежутки времени, чтобы показать их прогресс.

    Устанавливает интервал.

    По умолчанию 1 м . Для отключения используйте 0 .

    Если вы установите интервал статистики, все команды могут отображать статистику. Этот может быть полезно при запуске других команд, проверьте или смонтируйте для пример.

    Статистика

    регистрируется на уровне INFO по умолчанию, что означает, что они не будут показывать на уровне журнала по умолчанию УВЕДОМЛЕНИЕ . Используйте --stats-log-level NOTICE или -v , чтобы они отображались.См. Раздел «Ведение журнала» для получения дополнительной информации. информация об уровнях журнала.

    Обратите внимание, что в macOS вы можете отправить SIGINFO (обычно это ctrl-T в терминал), чтобы статистика распечатывалась немедленно.

    —stats-file-name-length целое число

    По умолчанию в выводе --stats имена файлов и пути будут более длинными. более 40 знаков. Это эквивалентно предоставлению - длина-имени-статс-файла 40 . Используйте --stats-file-name-length 0 , чтобы отключить любое усечение имён файлов, выводимое статистикой.

    — строка уровня статистики

    Уровень журнала для отображения выходных данных --stats . Это может быть DEBUG , INFO , УВЕДОМЛЕНИЕ , или ОШИБКА . По умолчанию . ИНФОРМАЦИЯ . Это означает, что на уровень ведения журнала по умолчанию, который составляет УВЕДОМЛЕНИЕ , статистика не будет отображаться — если вы хотите, чтобы они использовали --stats-log-level NOTICE . См. Журнал раздел для получения дополнительной информации об уровнях журнала.

    —stats-one-line

    Когда это указано, rclone объединяет статистику в одну строку. показывает только самую важную статистику.

    —stats-one-line-date

    Когда это указано, rclone включает однострочную статистику и добавляет в начало отображение со строкой даты. По умолчанию: 2006/01/02 15:04:05 -

    .

    —stats-one-line-date-format

    Когда это указано, rclone включает однострочную статистику и добавляет в начало отображение с введенной пользователем строкой даты. Строка даты ДОЛЖНА быть заключен в кавычки. Следуйте спецификациям golang для синтаксис форматирования даты.

    —stats-unit = биты | байты

    По умолчанию скорость передачи данных печатается в байтах в секунду.

    Эта опция позволяет печатать скорость передачи данных в битах в секунду.

    Объем передаваемых данных по-прежнему будет указываться в байтах.

    Скорость указывается в двоичной единице, а не в системе СИ. Так 1 Мбит / с равно 1048576 бит / с, а не 1000000 бит / с.

    По умолчанию байт .

    —суффикс = СУФФИКС

    При использовании синхронизации , копировать или перемещать любых файлов, которые могли быть перезаписанные или удаленные, к ним будет добавлен суффикс.Если там это файл с тем же путем (после добавления суффикса), то он будет перезаписан.

    Используемый пульт должен поддерживать перемещение или копирование на стороне сервера, и вы должны используйте тот же пульт в качестве места назначения синхронизации.

    Используется с файлами для добавления суффикса в текущий каталог. или с --backup-dir . См. --backup-dir для получения дополнительной информации.

    Например,

      rclone copy -i / path / to / local / file remote: current --suffix.бак
      

    скопирует / path / to / local на remote: current , но для любых файлов которые были бы обновлены или удалены, если бы был добавлен .bak.

    Если используется rclone sync с --suffix и без --backup-dir , тогда рекомендуется поставить правило фильтрации, исключая суффикс в противном случае sync удалит файлы резервных копий.

      rclone sync -i / путь / к / локальному / удаленному файлу: текущий --suffix.bak - исключить "* .bak"
      

    —suffix-keep-extension

    При использовании --suffix установка этого параметра приводит к тому, что rclone помещает SUFFIX перед расширением файлов, для которых выполняется резервное копирование, а не после.

    Допустим, у нас есть --suffix -2019-01-01 , без флага file.txt будет скопировано до file.txt-2019-01-01 и с флагом будет резервное копирование в файл -2019-01-01.txt . Это может быть полезно сделать убедитесь, что файлы с суффиксами все еще можно открывать.

    — системный журнал

    В совместимых операционных системах (не Windows или Plan9) отправляйте весь вывод журнала в системный журнал.

    Это может быть полезно для запуска rclone в сценарии или rclone mount .

    — строка объекта syslog

    При использовании --syslog это устанавливает функцию системного журнала (например, KERN , USER ). См. Список возможных средств в man syslog . По умолчанию объект DAEMON .

    —tpslimit с плавающей запятой

    Ограничьте количество транзакций в секунду до этого числа.По умолчанию 0, что раньше означало неограниченное количество транзакций в секунду.

    Транзакция примерно определяется как вызов API; его точное значение будет зависеть от серверной части. Для бэкэндов на основе HTTP это HTTP. PUT / GET / POST / etc и его ответ. Для FTP / SFTP это поездка туда и обратно транзакция по TCP.

    Например, чтобы ограничить rclone до 10 транзакций в секунду, используйте --tpslimit 10 , или для 1 транзакции каждые 2 секунды используйте --tpslimit 0,5 .

    Используйте это, когда количество транзакций в секунду от rclone вызывая проблему с поставщиком облачного хранилища (например,г. получить тебя забанен или ограничен по скорости).

    Это может быть очень полезно для rclone mount для управления поведением приложения, использующие его.

    Это ограничение применяется ко всем серверным процессам на основе HTTP, а также к FTP и SFTP. бэкэнды. Это не относится к локальному бэкэнду или Tardigrade. бэкэнд.

    См. Также --tpslimit-burst .

    —tpslimit-burst int

    Максимальный пакет транзакций для - tpslimit (по умолчанию 1 ).

    Обычно --tpslimit выполняет ровно столько транзакций за второй указан. Однако, если вы предоставите --tps-burst , тогда rclone может сохранить некоторые транзакции, когда он был в режиме ожидания, давая всплеск к предоставленному параметру.

    Например, если вы предоставите --tpslimit-burst 10 , тогда, если rclone имеет простаивал более 10 * --tpslimit , тогда он может выполнять 10 транзакций очень быстро, прежде чем они снова будут ограничены.

    Это может быть использовано для увеличения производительности --tpslimit без изменение долгосрочного среднего количества транзакций в секунду.

    — переименование треков

    По умолчанию rclone не отслеживает переименованные файлы, поэтому, если вы переименуйте файл локально, затем синхронизируйте его с удаленным, rclone удалит старый файл на пульте и загрузите новую копию.

    Если вы используете этот флаг, а удаленное устройство поддерживает копирование на стороне сервера или перемещение на стороне сервера, а источник и место назначения имеют совместимые хэш, тогда это будет отслеживать переименования во время синхронизации операции и выполнить переименование на стороне сервера.

    Файлы будут совпадать по размеру и хешу — если оба совпадают, переименовать будет рассмотрено.

    Если место назначения не поддерживает копирование или перемещение на стороне сервера, rclone вернется к поведению по умолчанию и зарегистрирует сообщение об уровне ошибки к консоли.

    Зашифрованные пункты назначения в настоящее время не поддерживаются --track-renames if --track-renames-strategy включает хэш .

    Обратите внимание, что --track-renames несовместим с --no-traverse и что он использует дополнительную память для отслеживания всех кандидатов на переименование.

    Обратите внимание, что --track-renames несовместим с --delete-before и выберет --delete-after вместо - удалить во время .

    —track-renames-strategy (хэш, время модификации, лист, размер)

    Этот параметр изменяет критерии соответствия для --track-renames .

    Соответствие контролируется выделением этих токенов, разделенных запятыми:

    • modtime — время модификации файла — поддерживается не всеми бэкэндами
    • hash — хэш содержимого файла — поддерживается не всеми бэкэндами
    • лист — имя файла без имени каталога
    • размер — размер файла (всегда включен)

    Таким образом, используя --track-renames-strategy modtime, лист будет соответствовать файлам на основе времени модификации, листа имени файла и размера Только.

    Использование --track-renames-strategy modtime или лист может включить --track-переименовывает поддержку для зашифрованных мест назначения.

    Если ничего не указано, опция по умолчанию совпадает с хешем es.

    Обратите внимание, что стратегия hash не поддерживается с зашифрованными адресами.

    —delete- (до, во время, после)

    Этот параметр позволяет указать, когда файлы в месте назначения удаляется при синхронизации папок.

    Указание значения --delete-before удалит все имеющиеся файлы. в пункте назначения, но не в источнике до , запускающего передача любых новых или обновленных файлов. Это использует два прохода через файловые системы, одна для удаления и одна для копий.

    Указание --delete-during удалит файлы при проверке и загрузка файлов. Это самый быстрый вариант с минимальным использованием памяти.

    Указание --delete-after (значение по умолчанию) задержит удаление файлы до тех пор, пока все новые / обновленные файлы не будут успешно перенесены.Файлы, подлежащие удалению, собираются при копировании, а затем удаляются. после успешного завершения копирования. Файлы, которые будут удаленные хранятся в памяти, поэтому этот режим может использовать больше памяти. Это самый безопасный режим, так как он удалит файлы только в том случае, если не было ошибки после этого. Если до После начала удаления вы получите сообщение , что файлы не удаляются из-за ошибок ввода-вывода .

    —быстрый список

    При выполнении чего-либо, связанного со списком каталогов (например,г. синхронизация , copy , ls — фактически почти каждая команда), rclone обычно перечисляет каталог и обрабатывает его перед использованием дополнительных списков каталогов для обрабатывать любые подкаталоги. Это может быть распараллелено и работает очень быстро используя наименьшее количество памяти.

    Однако у некоторых пультов есть способ перечислить все файлы под справочник за одну (или небольшое количество) транзакций. Они имеют тенденцию быть пультами на основе ведра (например, S3, B2, GCS, Swift, Hubic).

    Если вы используете флаг --fast-list , то rclone будет использовать этот метод для перечисление каталогов.Это будет иметь следующие последствия для листинг:

    • Это будет использовать меньше транзакций (важно, если вы платите за них)
    • Это будет использовать больше памяти. Rclone должен загрузить весь листинг в память.
    • Это может быть быстрее, потому что он использует меньше транзакций
    • Это может быть медленнее, потому что его нельзя распараллелить

    rclone всегда должен давать одинаковые результаты с и без --быстрый список .

    Если вы платите за транзакции и можете разместить весь свой список синхронизации в memory, то рекомендуется --fast-list . Если у вас очень большая синхронизация для этого не используйте --fast-list , иначе у вас закончится объем памяти.

    Если вы используете --fast-list на удаленном компьютере, который его не поддерживает, тогда rclone просто проигнорирует это.

    — тайм-аут = ВРЕМЯ

    Устанавливает тайм-аут простоя ввода-вывода. Если перевод начался, но потом простаивает в течение этого времени, он считается неисправным и отключенным.

    По умолчанию 5 м . Установите 0 , чтобы отключить.

    —transfers = N

    Число параллельных передач файлов. Иногда это может быть полезно установить меньшее число, если пульт дает много таймаутов или больше, если у вас большая пропускная способность и быстрый пульт.

    По умолчанию выполняется параллельная передача 4 файлов.

    -u, —update

    Это заставляет rclone пропускать любые файлы, которые существуют в месте назначения. и имеют время изменения новее, чем исходный файл.

    Это может быть полезно при передаче на удаленный компьютер, который не поддерживает время модификации напрямую (или при использовании --use-server-modtime , чтобы избежать лишних Вызовы API), поскольку он более точен, чем проверка только для размера и быстрее чем при использовании --checksum .

    Если существующий файл назначения имеет время модификации, равное (в пределах вычисленная точность окна изменения) к исходному файлу, это будет обновляется, если размеры отличаются. Если - контрольная сумма , то rclone обновит пункт назначения, если контрольные суммы тоже различаются.

    Если существующий файл назначения старше исходного файла, то он будет обновлен, если размер или контрольная сумма отличается от исходного файла.

    На пультах, которые не поддерживают время модификации напрямую (или при использовании --use-server-modtime ) проверенное время будет временем загрузки. Это означает, что при загрузке на один из этих пультов rclone пропустит любые файлы, которые существуют в месте назначения и время загрузки, которое новее, чем время модификации исходного файла.

    --use-mmap

    Если этот флаг установлен, то rclone будет использовать анонимную память, выделенную mmap на платформах на базе Unix и VirtualAlloc на Windows для своих буферы передачи (размер контролируется параметром --buffer-size ). объем памяти выделенный таким образом, не попадает в кучу Go и может быть возвращен в ОС сразу после завершения работы.

    Если этот флаг не установлен, rclone выделит и освободит буферы. используя распределитель памяти Go, который может использовать больше памяти в качестве памяти страницы возвращаются в ОС менее агрессивно.

    Возможно, это не работает на всех платформах, поэтому по умолчанию отключено; в будущем он может быть включен по умолчанию.

    --use-server-modtime

    Некоторые серверные части хранилища объектов (например, Swift, S3) не сохраняют модификацию файлов. раз (время мод.). На этих серверах rclone сохраняет исходное время мода как дополнительные метаданные об объекте. По умолчанию он будет вызывать API к получать метаданные, когда для операции требуется время модификации.

    Используйте этот флаг, чтобы отключить дополнительный вызов API и вместо этого полагаться на серверные измененное время.В таких случаях, как локальная синхронизация с удаленной с использованием --update , зная, что локальный файл новее, чем время его последней загрузки в удаленного достаточно. В таких случаях этот флаг может ускорить процесс и уменьшить количество необходимых вызовов API.

    Использование этого флага в операции синхронизации без использования --update приведет к все файлы, измененные в любое время, кроме времени последней загрузки, будут загружены опять же, что, вероятно, не то, что вам нужно.

    -v, -vv, --verbose

    С -v rclone расскажет вам о каждом переданном файле и небольшое количество значимых событий.

    С -vv rclone станет очень подробным, рассказывая вам обо всех файл он считает и передает. Отправляйте отчеты об ошибках с логом с этой настройкой.

    -V, --версия

    Печатает номер версии

    Опции SSL / TLS

    Исходящие соединения SSL / TLS, которые устанавливает rclone, можно контролировать с помощью эти варианты. Например, это может быть очень полезно с HTTP или Серверная часть WebDAV. HTTP-серверы Rclone имеют собственный набор конфигурацию для SSL / TLS, которую вы можете найти в их документации.

    - строка сертификата

    Это загружает сертификат центра сертификации в кодировке PEM и использует это для проверки сертификатов серверов, к которым подключается rclone.

    Если вы сгенерировали сертификаты, подписанные локальным центром сертификации, вы этот флаг понадобится для подключения к серверам, использующим эти сертификаты.

    - строка сертификата клиента

    Загружает сертификат на стороне клиента, закодированный в формате PEM.

    Используется для взаимной аутентификации TLS.

    При его использовании также требуется флаг --client-key .

    - строка ключа клиента

    Загружает закрытый ключ на стороне клиента в кодировке PEM, используемый для взаимного TLS. аутентификация. Используется вместе с --client-cert .

    --no-check-certificate = true / false

    --no-check-certificate контролирует, проверяет ли клиент цепочка сертификатов сервера и имя хоста. Если --no-check-certificate истинно, TLS принимает любой сертификат. представлен сервером и любым именем хоста в этом сертификате.В этом режиме TLS уязвим для атак типа "злоумышленник в середине".

    По умолчанию для этого параметра установлено значение false .

    Следует использовать только для тестирования.

    Шифрование конфигурации

    Ваш файл конфигурации содержит информацию для входа в ваши облачные сервисы. Это означает, что вам следует сохранить rclone.conf в безопасном месте.

    Если вы находитесь в среде, где это невозможно, вы можете добавьте пароль в свою конфигурацию.Это означает, что вы будете необходимо вводить пароль каждый раз, когда вы запускаете rclone.

    Чтобы добавить пароль к вашей конфигурации rclone, выполните rclone config .

     > Конфигурация rclone
    Текущие пульты:
    
    д) Редактировать существующий пульт
    n) Новый пульт
    г) Удалить удаленный
    s) Установить пароль конфигурации
    q) Выйти из конфигурации
    э / н / д / с / д>
      

    Войдите в s , установите пароль конфигурации:

      e / n / d / s / q> s
    Ваша конфигурация не зашифрована.
    Если вы добавите пароль, вы защитите свои данные для входа в облачные сервисы.а) Добавить пароль
    q) Выход в главное меню
    а / д> а
    Введите НОВЫЙ пароль конфигурации:
    пароль:
    Подтвердите новый пароль:
    пароль:
    Пароль установлен
    Ваша конфигурация зашифрована.
    в) Изменить пароль
    u) Незашифрованная конфигурация
    q) Выход в главное меню
    c / u / q>
      

    Теперь ваша конфигурация зашифрована, и каждый раз при запуске rclone вам нужно будет указать пароль. Подробности см. Ниже. В этом же меню можно сменить пароль или полностью удалить шифрование из вашей конфигурации.

    Невозможно восстановить конфигурацию, если вы потеряете свой пароль.

    rclone использует секретный ящик nacl который, в свою очередь, использует XSalsa20 и Poly1305 для шифрования и аутентификации ваша конфигурация с криптографией с секретным ключом. Пароль - хешированный SHA-256, который дает ключ для секретного ящика. Хешированный пароль не сохраняется.

    Хотя это обеспечивает очень хорошую безопасность, мы не рекомендуем хранить ваша зашифрованная конфигурация rclone публично, если она содержит конфиденциальные информация, может быть, если вы не используете очень надежный пароль.

    Если это безопасно в вашей среде, вы можете установить RCLONE_CONFIG_PASS переменная окружения, содержащая ваш пароль, и в этом случае это будет используется для расшифровки конфигурации.

    Вы можете установить это для сеанса из сценария. Для unix-подобных систем сохраните это в файл с именем set-rclone-password :

      #! / Bin / echo Источник этого файла не запускать
    
    читает -s RCLONE_CONFIG_PASS
    экспорт RCLONE_CONFIG_PASS
      

    Затем создайте файл, когда хотите его использовать. Из оболочки ты будет делать source set-rclone-password . Затем он попросит вас пароль и установите его в переменной окружения.

    Альтернативным способом ввода пароля является предоставление сценария. который получит пароль и распечатает его на стандартный вывод.Этот сценарий должен иметь полностью указанный путь и не полагаться на какие-либо переменные среды. Скрипт поставляется либо через --password-command = "..." аргумент командной строки или через RCLONE_PASSWORD_COMMAND переменная среды.

    Одним из полезных примеров этого является использование приложения хранилища паролей . для получения пароля:

      экспорт RCLONE_PASSWORD_COMMAND = "передать rclone / config"
      

    Если хранилище паролей менеджер паролей хранит пароль для Конфигурация rclone, использование метода сценария означает пароль в первую очередь защищен системой хранилища паролей и никогда не встроен в открытый сценарий и недоступен для изучения используя стандартные доступные команды.Вполне возможно с длительные сеансы rclone, чтобы копии паролей были невинно фиксируется в файлах журнала или буферах прокрутки терминала и т. д. скриптовый метод ввода пароля повышает безопасность пароль конфигурации значительно.

    Если вы запускаете rclone внутри сценария, если вы не используете --password-command метод, вы можете отключить запрос пароля. Для этого передайте параметр --ask-password = false для rclone.Вместо этого rclone выйдет из строя запроса пароля, если RCLONE_CONFIG_PASS не содержит действительный пароль, и --password-command не был предоставлен.

    При выполнении команд, на которые могут повлиять параметры в файл конфигурации, rclone будет искать существующий файл в соответствии с по правилам, описанным выше, и загрузите любой находит. Если зашифрованный файл найден, это включает его расшифровку, с возможным последствием запроса пароля. При выполнении командная строка, которая, как вы знаете, на самом деле ничего не использует из таких файл конфигурации, вы можете избежать его загрузки, переопределив расположение, д.г. с одним из задокументированных специальных значений для конфигурация только с памятью. Поскольку могут быть сохранены только параметры бэкенда в файлах конфигурации это обычно не требуется для команд которые не работают на бэкэндах, например генавтозаполнение . Тем не мение, это будет актуально для команд, которые работают с бэкэндами в общие, но используются без ссылки на сохраненный пульт, например перечисление путей локальной файловой системы, или строки подключения: rclone --config = "" ls.

    Параметры разработчика

    Эти параметры полезны при разработке или отладке rclone.Там также есть несколько более удаленных конкретных параметров, которые не задокументированы вот которые используются для тестирования. Они начинаются с удаленного имени, например. --drive-test-option — см. Документацию по рассматриваемому пульту.

    —cpuprofile = ФАЙЛ

    Записать профиль ЦП в файл. Это можно проанализировать с помощью инструмента go pprof .

    — флаг сброса, флаг, флаг

    Флаг --dump принимает список флагов, разделенных запятыми, для вывода информации о.

    Обратите внимание, что некоторые заголовки, включая Accept-Encoding , как показано, могут не быть правильным в запросе, и ответ может не отображать Content-Encoding если действовало автоматическое кодирование gzip стандартных библиотек go.В этом случае текст запроса будет заархивирован перед его показом.

    Доступные флаги:

    Дампить заголовки HTTP с авторизацией: удалено строк. Может еще содержат конфиденциальную информацию. Может быть очень многословным. Полезно для отладки Только.

    Используйте --dump auth , если вам нужны заголовки Authorization: .

    — кузова-самосвалы

    Дампить заголовки и тела HTTP — могут содержать конфиденциальную информацию. Может быть очень многословный.Полезно только для отладки.

    Обратите внимание, что тела буферизируются в памяти, поэтому не используйте это для огромные файлы.

    — запросы дампа

    Как - выгрузить тела , но выгрузить тела запроса и ответ заголовки. Полезно для устранения проблем с загрузкой.

    — дамп ответов

    Как - выгрузить тела , но выгрузить тела ответа и запрос заголовки. Полезно для устранения проблем с загрузкой.

    — авторизация дампа

    Заголовки дампа HTTP — будут содержать конфиденциальную информацию, такую ​​как Авторизация: заголовков — используйте --dump заголовки для сброса без Авторизация: заголовков.Может быть очень многословным. Полезно для отладки Только.

    — фильтры сброса

    Сбросить фильтры на выход. Полезно видеть, что именно включает и параметры исключения фильтруются.

    — сбросить горутины

    Это выводит список запущенных подпрограмм в конце команды на стандартный вывод.

    — дамп открытых файлов

    Это выводит список открытых файлов в конце команды. Это для этого используется команда lsof , поэтому вам потребуется установить ее для используй это.

    —memprofile = ФАЙЛ

    Записать профиль памяти в файл. Это можно проанализировать с помощью инструмента go pprof .

    Фильтрация

    Для опций фильтрации

    • - исключено удаление
    • - фильтр
    • --фильтр-из
    • - исключить
    • - исключить из
    • - включая
    • --включить - из
    • --файлы-из
    • - файлы из сырых
    • - минимальный размер
    • - макс. Размер
    • - возраст
    • - макс. Возраст
    • - фильтры сброса

    См. Раздел фильтрации.

    Пульт дистанционного управления

    Для опций дистанционного управления и инструкций по удаленному управлению rclone

    • -RC
    • и все, что начинается с --rc-

    См. Раздел о дистанционном управлении.

    Лесозаготовки

    rclone имеет 4 уровня регистрации, ОШИБКА , УВЕДОМЛЕНИЕ , ИНФОРМАЦИЯ и ОТЛАДКА .

    По умолчанию rclone регистрирует стандартную ошибку. Это означает, что вы можете перенаправить стандартную ошибку и по-прежнему видите нормальный вывод команд rclone (например,г. rclone ls ).

    По умолчанию rclone будет выдавать сообщения Error и Notice уровня .

    Если вы используете флаг -q , rclone будет выдавать только сообщения об ошибке .

    Если вы используете флаг -v , rclone выдаст Ошибка , Уведомление и Информация сообщений.

    Если вы используете флаг -vv , rclone выдаст ошибку , Notice , Информация и Отладка сообщений.

    Вы также можете управлять уровнями журнала с помощью флага --log-level .

    Если вы используете параметр --log-file = FILE , rclone перенаправит ошибку , Информация и Отладка сообщений вместе со стандартной ошибкой в ​​ФАЙЛ.

    Если вы используете флаг --syslog , то rclone войдет в системный журнал, а --syslog-feature определяет, какое средство оно использует.

    Rclone ставит перед всеми сообщениями журнала их уровень заглавными буквами, например.г. ИНФОРМАЦИЯ что упрощает поиск в файле журнала различных типов Информация.

    Код выхода

    Если во время выполнения команды возникнут какие-либо ошибки, rclone завершит работу с ненулевой код выхода. Это позволяет сценариям определять, когда rclone операции не удались.

    Во время фазы запуска rclone немедленно завершит работу, если возникнет ошибка. обнаружен в конфигурации. Всегда будет сообщение журнала непосредственно перед выходом.

    Когда rclone запущен, он будет накапливать ошибки по мере продвижения, и выходить только с ненулевым кодом выхода, если (после повторных попыток) были все еще неудачные переводы.Для каждой подсчитанной ошибки будет высокий сообщение журнала приоритета (отображается с -q ), показывающее сообщение и какой файл вызвал проблему. Также отображается сообщение с высоким приоритетом при запуске повторной попытки, чтобы пользователь мог видеть, что любая предыдущая ошибка сообщения могут быть недействительными после повторной попытки. Если rclone повторил попытку он будет записывать сообщение с высоким приоритетом, если повторная попытка была успешной.

    Список кодов выхода

    • 0 — успех
    • 1 — Синтаксическая ошибка или ошибка использования
    • 2 — Ошибка без другой категории
    • 3 — Справочник не найден
    • 4 — Файл не найден
    • 5 — Временная ошибка (которую можно исправить несколькими повторными попытками) (ошибки повторных попыток)
    • 6 — Менее серьезные ошибки (например, 461 ошибка из Dropbox) (ошибки NoRetry)
    • 7 — Неустранимая ошибка (ошибка, которую нельзя исправить несколькими повторными попытками, например, приостановка учетной записи) (Неустранимые ошибки)
    • 8 — Передача превышена — достигнут предел, установленный параметром —max-transfer
    • 9 — Операция прошла успешно, но файлы не переданы

    Переменные среды

    Rclone можно полностью настроить с использованием переменных среды.Эти может использоваться для установки значений по умолчанию для параметров или записей файла конфигурации.

    Опции

    Каждая опция в rclone может иметь значение по умолчанию, установленное средой Переменная.

    Чтобы найти имя переменной окружения, сначала возьмите длинный имя опции, убрать начальные - , изменить - на _ , сделать верхний регистр и добавить RCLONE_ .

    Например, чтобы всегда устанавливать --stats 5s , установите переменную среды RCLONE_STATS = 5 с .Если вы установите статистику в командной строке, это будет переопределить настройку переменной среды.

    Или всегда использовать мусор на диске --drive-use-trash , установите RCLONE_DRIVE_USE_TRASH = правда .

    Тот же синтаксический анализатор используется для параметров и переменных среды. поэтому они принимают точно такую ​​же форму.

    Параметры, установленные переменными среды, можно увидеть с помощью флага -vv , например версия rclone -vv .

    Конфигурационный файл

    Вы можете установить значения по умолчанию для значений в файле конфигурации на индивидуальном удаленная база.Имена элементов конфигурации задокументированы на странице для каждого бэкенда.

    Чтобы найти имя переменной окружения, нужно установить, взять RCLONE_CONFIG_ + имя удаленного + _ + имя параметра конфигурационного файла и сделайте все прописными.

    Например, для настройки удаленного S3 с именем mys3: без конфигурации файл (с использованием unix-способов установки переменных среды):

      $ экспорт RCLONE_CONFIG_MYS3_TYPE = s3
    $ экспорт RCLONE_CONFIG_MYS3_ACCESS_KEY_ID = XXX
    $ экспорт RCLONE_CONFIG_MYS3_SECRET_ACCESS_KEY = XXX
    $ rclone lsd MYS3:
              -1 2016-09-21 12:54:21 -1 my-bucket
    $ rclone listremotes | grep mys3
    mys3:
      

    Обратите внимание, что если вы хотите создать удаленный компьютер с использованием переменных среды вы должны создать ..._ TYPE переменная, как указано выше.

    Обратите внимание, что вы можете установить параметры только для непосредственного бэкэнда, поэтому RCLONE_CONFIG_MYS3CRYPT_ACCESS_KEY_ID не имеет никакого эффекта, если myS3Crypt криптографический пульт на основе пульта S3. Однако RCLONE_S3_ACCESS_KEY_ID будет установить ключ доступа для всех пультов, использующих S3, включая myS3Crypt.

    Отметим также, что теперь у rclone есть строки подключения, их, вероятно, проще использовать вместо этого, что делает приведенный выше пример

      rclone lsd: s3, access_key_id = XXX, secret_access_key = XXX:
      

    Приоритет

    Различные методы настройки серверной части читаются в используется этот порядок и первый со значением.

    • Параметры в строках подключения, например myRemote, skip_links:
    • Значения флагов, указанные в командной строке, например - пропускные ссылки
    • Удаленные переменные среды, например RCLONE_CONFIG_MYREMOTE_SKIP_LINKS (см. Выше).
    • переменные среды, специфичные для серверной части, например RCLONE_LOCAL_SKIP_LINKS .
    • Вары общей среды серверной части, например RCLONE_SKIP_LINKS .
    • Файл конфигурации, e.г. skip_links = true .
    • Значения по умолчанию, например false — изменить нельзя.

    Итак, если и --skip-links, указаны в командной строке и переменная среды RCLONE_LOCAL_SKIP_LINKS установлена, командная строка флаг будет иметь предпочтение.

    Конфигурации серверной части, установленные переменными среды, можно увидеть с помощью флага -vv , например rclone о myRemote: -vv .

    Для конфигурации без серверной части порядок следующий:

    • Значения флагов, указанные в командной строке, e.г. - статистика 5s .
    • Вары среды, например RCLONE_STATS = 5 с .
    • Значения по умолчанию, например — изменить нельзя.

    Другие переменные среды

    • RCLONE_CONFIG_PASS , содержащий пароль вашего файла конфигурации (см. Раздел «Шифрование конфигурации»)
    • HTTP_PROXY , HTTPS_PROXY и NO_PROXY (или их версии в нижнем регистре).
      • HTTPS_PROXY имеет приоритет над HTTP_PROXY для запросов https.
      • Значения среды могут быть либо полным URL, либо «хостом [: порт]» для, в этом случае предполагается схема «http».
    • ПОЛЬЗОВАТЕЛЬ и LOGNAME Значения используются как резервные для текущего имени пользователя. Основной метод поиска имени пользователя зависит от ОС: Windows API в Windows, реальный идентификатор пользователя в / etc / passwd в системах Unix. В документации текущее имя пользователя просто обозначается как $ USER .
    • RCLONE_CONFIG_DIR — rclone устанавливает эту переменную для использования в файлах конфигурации и подпроцессах, чтобы она указывала на каталог, содержащий файл конфигурации.

    Параметры, установленные переменными среды, можно увидеть с помощью флагов -vv и --log-level = DEBUG , например версия rclone -vv .

    Math-Net.Ru

    RUS ENG AMSBIB

    В вашем браузере отключен JavaScript.Пожалуйста, включите его, чтобы использовать полную функциональность веб-сайта




    RSS
    RSS



    , г.
    URL [email protected]

    :
    math-net2021_08 [at] mi-ras ru
    © . . . , 2021

    Вестник НАТО — Противодействие дезинформации: повышение цифровой устойчивости Североатлантического союза

    Альянсу нужна в целом эффективная стратегия противодействия растущей угрозе дезинформации.Инструменты искусственного интеллекта (ИИ) могут помочь выявлять и замедлять распространение ложного и вредоносного контента, поддерживая при этом ценности плюралистических и открытых обществ.

    Ложная информация и вводящие в заблуждение рассказы были инструментами конфликтов и государственного управления с тех пор, как легендарный город Троя пал от рук древних греков, а возможно и раньше. В далеком прошлом были сфабрикованные деревянные лошади, лжесвидетели и сфабрикованные планы. Сегодня у нас есть фальшивые новости, фальшивые профили в социальных сетях и сфабрикованные рассказы, созданные для введения в заблуждение — иногда как часть скоординированных кампаний когнитивной войны.

    Социальные сети и Интернет привели к революции дезинформации. Мы живем в мире недорогих цифровых инструментов и средств массовой информации с радикально расширенным охватом, масштабом и воздействием. И обеспокоенность заключается в том, что эти легкодоступные инструменты доступны не только государственным субъектам, но и негосударственным субъектам, частным лицам и всем, кто находится между ними.

    Социальные сети и Интернет привели к революции дезинформации, которая затронула государственных и негосударственных субъектов, частных лиц и всех, кто находится между ними.© Центр исследований и доказательств угроз безопасности

    Ложные сообщения и подстрекательские нарративы в крайних случаях попадали в заголовки газет, особенно на Западных Балканах и в некоторых странах-союзниках. Их более коварная опасность — это ущерб, который они могут нанести вере граждан в институты демократического управления и ресурсы общественной информации и дискуссий. А в последние годы мы стали свидетелями растущей политической поляризации, исторически низкого уровня доверия к правительственным институтам, а также случаев беспорядков и насилия, которым частично способствовала ложная информация.

    Страны-члены НАТО поддерживают открытые системы гражданской коммуникации, в некоторых из них очень часто используются социальные сети и обмен сообщениями в социальных сетях. Плюралистические характеры их обществ, хотя и являются преимуществом и источником силы, могут в то же время предоставлять возможности для закрепления разногласий или подстрекательских нарративов. Для многих из этих стран устойчивые и защитные регулирующие структуры все еще находятся в зачаточном состоянии. Сочетание этих условий делает угрозу дезинформации особенно опасной для Североатлантического союза.

    Глобальные компании, работающие в социальных сетях, взяли на себя задачу уменьшить количество ложной информации на своих платформах. Большинство из них использует штатных проверяющих фактов для отслеживания распространения ложной информации. Некоторые полагаются на сторонние инструменты проверки фактов или модерации. Несколько популярных платформ, включая Facebook, YouTube и Twitter, предоставляют своим пользователям возможность сообщать о других пользователях, подозреваемых в распространении ложной информации, сознательно или неосознанно. И в попытке ретроактивно исправить ущерб, причиненный ложной информацией, подавляющее большинство платформ социальных сетей использовали массовое удаление контента, идентифицированного как вредный или вводящий в заблуждение, с помощью этих методов.

    В лучшем случае этого оказалось слишком мало, слишком поздно. В худшем случае это привело к обвинениям в цензуре и к удалению информации или мнений, которые впоследствии оказались достоверными или заслуживающими общественного обсуждения.

    Только на Facebook около трех миллиардов активных пользователей в месяц, каждый из которых способен опубликовать в Интернете что-то провокационное. Twitter имеет более 350 миллионов активных пользователей, включая известных людей, популярных лидеров мнений, а также умных и находчивых влиятельных лиц.

    Текущий подход к борьбе с дезинформацией в основном основан на ручной проверке фактов, удалении контента и контроле за ущербом. Хотя вмешательство человека может быть полезным в случаях, требующих тонкого понимания нюансов или учета культурных особенностей, оно плохо согласуется с большими объемами информации, создаваемыми каждый день. Маловероятно, что добавление дополнительных сотрудников — это реальный вариант для упреждающего выявления ложного или вредоносного контента до того, как он получит шанс широко распространиться. Проверка фактов, проводимая людьми, сама по себе подвержена ошибкам, неверной интерпретации и предвзятости.

    Миллиарды активных пользователей социальных сетей в месяц могут размещать в Интернете что-то провокационное. Это огромный объем информации для проверяющих факты вручную. © Глобус и почта

    «Ложь летит, а истина хромает вслед за ней», — писал сатирик Джонатан Свифт в 17 веке. Недавнее исследование Массачусетского технологического института показало, что в Твиттере ложные новости с гораздо большей вероятностью станут вирусными, и обычные пользователи, а не автоматизированные «боты», несут ответственность за повторный обмен ими.Люди также «ретвитят» эти ложные новости с чувством удивления и отвращения. Напротив, правдивые истории вызывают чувство печали, ожидания и доверия (и делятся ими гораздо реже).

    Это открывает потенциальную возможность: следует ли нам сосредоточиться не на фактах, а на эмоциях? И можно ли обучить этому компьютеры, а не людей?

    Анализ настроений на основе искусственного интеллекта представляет собой совершенно другой подход к смягчению дезинформации путем обучения компьютеров распознаванию сообщений и сообщений, содержащих элементы удивления, отвращения и других эмоциональных предикторов.Они чаще связаны с ложной информацией и разжигают страсти пользователей социальных сетей.

    Алгоритмы обработки естественного языка позволяют идентифицировать лингвистические индикаторы рассматриваемых эмоций. Они полностью избегают человеческой проверки фактов, снижая предвзятость и стоимость, а также увеличивая скорость обработки. Команда студентов Университета Джона Хопкинса создала многообещающий рабочий прототип, а их коллеги из Технологического института Джорджии и Имперского колледжа Лондона разработали технико-экономические обоснования и потенциальные нормативные подходы.

    Но что делать после обнаружения очень вирусного (и, вероятно, ложного) сообщения или публикации? Аналогия с финансовыми рынками предлагает решение: автоматический «выключатель», который временно приостанавливает или замедляет распространение эмоционально окрашенного контента.

    Фондовые рынки избегают панических продаж, временно приостанавливая торговлю акциями, которые упали на определенный процентный порог. На Нью-Йоркской фондовой бирже акции, которые падают в цене более чем на 7%, сначала останавливаются на 15 минут.Идея состоит в том, чтобы замедлить ход событий и позволить более прохладным головам преобладать. Последующее снижение цен может вызвать дополнительные приостановки торговли.

    Эффект охлаждения от замедления работы может быть значительным. На сайте обмена сообщениями в социальных сетях сообщение, которое удваивается каждые 15 минут, может гипотетически достигнуть одного миллиона просмотров за пять часов и 16 миллионов просмотров за шесть часов. Но если его замедлить до удвоения каждые 30 минут, он достигнет только одной тысячи просмотров за пять часов и четырех тысяч за шесть часов. Небольшие различия в вирусности приводят к огромным различиям в воздействии.

    Такой механизм будет работать не за счет предотвращения совместного использования, а за счет замедления взаимодействия; например, устанавливая периоды охлаждения между комментариями или предлагая пользователям подумать о возможных последствиях перед повторной отправкой сообщения. Он основан на центральном тезисе из книги лауреата Нобелевской премии Даниэля Канемана «Мыслить быстро и медленно». Медленное мышление рационально и позволяет избежать эмоциональности быстрой реакции на неожиданные и шокирующие новости или события.

    Это могло бы уменьшить опасения цензуры или произвольных ограничений на свободное распространение идей.Сообщения и посты не удаляются и не удаляются. Они остаются доступными для просмотра и обсуждения, только в более медленном темпе. Это смягчает проблему того, кто выносит решение о «разрешенных высказываниях», и защищает ценные свободы выражения мнений и публичных выступлений. Такой подход может быть реализован с помощью стимулов или регулирования на различных уровнях инфраструктуры связи: самих компаниях-источниках, шлюзах-посредниках (или платформах промежуточного программного обеспечения), уровне передачи сообщений (каналы связи) или даже на уровне устройства (смартфона или планшета).

    Дезинформация — одна из нескольких цифровых угроз, с которыми сталкивается Альянс. Недавние информационные кампании и кибератаки показали, что даже технологически развитые государства-члены должны делать больше, чтобы подготовиться к текущим и возникающим цифровым вызовам. Необходим больший прогресс в создании успешных механизмов устойчивости и нормативно-правовой базы.

    Кибератаки угрожают даже самым технологически продвинутым членам НАТО. Необходим больший прогресс в создании успешных механизмов устойчивости и нормативно-правовой базы.

    Тем не менее, кажется, что эти угрозы возрастают с каждым днем, так что у Альянса остается мало времени. Использование преимуществ существующих технологий (например, упомянутых выше) и их инновационное применение должно сэкономить время и ресурсы. Минимально инвазивные концепции смягчения последствий, такие как замедление — но не окончательное удаление — потенциально вредных сообщений и сообщений в социальных сетях, могут быть наиболее многообещающим первым шагом в борьбе с угрозой дезинформации. Тогда Альянс сможет в будущем уделять больше времени развитию дополнительных технологий и более комплексным подходам к регулированию.

    Исторически стойкость и сила открытых и плюралистических обществ заключались в их способности новаторски адаптироваться к возникающим вызовам и обстоятельствам. Основополагающим механизмом для этого является свободный поток идей и информации, а также открытое и общественное обсуждение и изучение вариантов, политик и планов. Любое решение по дезинформации должно защищать этот механизм, если мы хотим сохранить это преимущество. Более того, принятие решений государствами-членами будет зависеть от признания их обществ в целом и вряд ли увенчается успехом, если внутренние группы считают себя маргинализированными или исключенными из общественного диалога.

    НАТО могла бы попытаться способствовать принятию таких основанных на технологиях и принципах подходов, предоставив государствам-членам возможность определять свои собственные национальные стратегии цифровой безопасности. Это предоставило бы правительствам государств-членов гибкость для реализации механизмов по своему усмотрению, соответствующих их местным уровням внедрения социальных сетей, общественным ожиданиям свободы слова и реалиям их инфраструктур гражданских коммуникаций.

    Это седьмая статья из мини-серии об инновациях, в которой основное внимание уделяется технологиям, которые союзники хотят внедрить, и возможностям, которые они открывают для защиты и безопасности Североатлантического союза.Предыдущие статьи:

    .

    Добавить комментарий

    Ваш адрес email не будет опубликован. Обязательные поля помечены *