Математический пакет, показывающий решение по шагам

[Rusit8800]

Добрый день!
Всем скорее всего известна поисковая система Wolfram Alpha. Она обладает двумя существенными минусами: во-первых она работает онлайн, во-вторых все ее возможности раскрываются только в платной версии(и то не все, которые необходимы). Поэтому я задался вопросом о поиске мат. пакета, не обладающего такими минусами. Я не знаю ни одного такого пакета, поэтому решил задать вам вопрос. Вот те функции, которые этот пакет должен иметь:

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

Стоимость этого мат. пакета не имеет значения(сейчас можно любую программу найти в интернете).

-- 12.02.2017, 14:42 --

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

[AV_77]

Ну, раз стоимость значения не имеет, то
1) Wolfram Mathematica
2) Maple
Очень известные, с широкими возможностями, но, конечно, не дешевые. Только на счет решений "по шагам" не уверен.

[Sender]

Rusit8800 в сообщении #1191962 писал(а):

программа должна показывать все выкладки и решения

Это уже не матпакет, а программа-симулятор школьника.

[kalin]

Честно говоря, я не знаю, чего Maple не умеет. От силы знаю 5% его возможностей и даже этого хватает для решения любых задач, которые встретил. У меня Maple 18, скачал с инета.

[arseniiv]

Чтобы по шагам, стандартных способов этого добиться в Mathematica ⩽8, вроде, нет. Можно написать, конечно, всё нужное, но, как понимаю, это не то.

[Rusit8800]

А эта поисковая система случайно не основана на Wolfram Mathematica?

-- 12.02.2017, 16:10 --

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

[Red_Herring]

Rusit8800 в сообщении #1191980 писал(а):

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

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

[arseniiv]

Работает-работает, там даже есть настройка «нипочём не выходить в интернет».

Rusit8800 в сообщении #1191980 писал(а):

А эта поисковая система случайно не основана на Wolfram Mathematica?

Основана, но явно не простым «включением в сеть».

[Rusit8800]

Это прекрасно, но я пока мало что знаю про Maple, чтобы выбрать что-то одно.

[GAA]

Уже есть тема: «MatLab, Mathcad, Mathematica, Maple - что лучше?».
В качестве учебника для первого знакомства с Maple я не знаю лучше Матросов А.В. Maple 6. Решение задач высшей математики и механики. (Легко нагуглить.)

В общем случае в Maple пошаговое решение недоступно и большинству пользователей не интересно. Пошаговый вывод результатов доступен в tutors (большая часть tutors из пакета Student):
IntTutor, DiffTutor, LinearSolveTutor,...
После ввода

> with(Student[LinearAlgebra]):
> M := <<1,2,0>|<2,3,2>|<0,2,1>|<3,5,5>>:
> b := <5,4,2>:
> LinearSolveTutor(M, b);

В данном случае открывается диалоговое окно выбора метода

Вложение:

LinSolve1.PNG [ 3.96 Кб | Просмотров: 3951 ]

а затем основное окно пошагового выполнения

Вложение:

LinSolve2.PNG [ 19.51 Кб | Просмотров: 0 ]

(В целом, возможности tutors очень ограниченные. Я не пользовался. Времени тратишь много, а пользы мало. И вообще, Maple был лидером СКА лет 15-20 назад. Последнее десятилетие топчется на месте.)

-- Вс 12.02.2017 15:46:24 --

Rusit8800 в сообщении #1191962 писал(а):

Также,очень желательно, чтобы программа была..., была на русском языке...

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

[Rusit8800]

Читая тот топик окончательно решил что выберу либо Maple, либо Mathematica.

Выбор будет сложным.

-- 12.02.2017, 19:05 --

Видимо мне нужно точно определить какие вычисления я буду проводить. Мат. пакет мне в первую очередь нужен для решения СЛАУ или для нелинейных систем, где максимальная степень многочлена - 2. Очень было бы хорошо, чтобы он показывал решения и обязательно использовал определители(иначе будет очень громоздко). Ну а еще для упрощения громоздких выражений.

-- 12.02.2017, 19:08 --

Если у Mathematica будет такой же интерфейс как в Wolfram Alpha, то будет очень хорошо, так как я привык к Alpha.

[GAA]

В большинстве версий Maple (где-то с 9-ой версии, и во многих достаточно свежих) есть два интерфейса: Classic Worksheet и Стандартный. Стандартный — это современный, а Classic Worksheet — преемник старого интерфейса (в будущем не будет поддерживаться). В стандартном — больше визуальных инструментов.
(Мне удобней Classic Worksheet. В предыдущем сообщении в теге code заключен текс Classic Worksheet).

Maple — одна из старейших СКА. Это отражается и в языке, и в структуре пакетов.

1. Для обеспечения совместимости версий язык поддерживает (временно) и новый синтаксис и устаревший. Например (точно есть ещё в Maple 15), начало и коней тела цикла: новый — do … end do; старый — do … od;.

2. Новые пакеты, типы даны,… (временно) живут наряду с устаревшими (deprecated) Array — array, LinearAlgebra — linalg,… и т.п. (Недавно залетел на связке evalm - array — не полная поддержка в новых версиях.)

3. Грубо говоря, что лежит в пакете, а что в основной библиотеке — тоже результат исторического развития. Например, большая часть процедур для построения графиков лежит в пакете plots, но основные функции: plot, plot3d, … лежат в основной библиотеке.

Системы линейных уравнений при помощи определителей не решают. Но определители maple умеет вычислять, а большего для решения системы линейных уравнений и не надо.
Для решения систем алгебраических уравнений tutor в Maple я не знаю.

Везде пишут, что Mathematica более логична и стройна. Но лучше об этом знатоки Mathematica расскажут.

[Rusit8800]

GAA в сообщении #1192041 писал(а):

Системы линейных уравнений при помощи определителей не решают

А посмотреть, есть ли решения? Хорошо бы, чтобы программа также это умела делать.

GAA в сообщении #1192041 писал(а):

Maple — одна из старейших СКА. Это отражается и в языке, и в структуре пакетов.
Для обеспечения совместимости версий язык поддерживает (временно) и новый синтаксис и устаревший. Например (точно есть ещё в Maple 15), начало и коней тела цикла: новый — do … end do; старый — do … od;.
Новые пакеты, типы даны,… (временно) живут в библиотеке наряду с устаревшими (deprecated) Array — array, LinearAlgebra — linalg,… и т.п. (Недавно залетел на связке evalm - array — не полная поддержка в новых версиях.) Грубо говоря, что лежит в пакете, а что в основной библиотеке — тоже результат исторического развития. Например, большая часть процедур для построения графиков лежит в пакете plots, но основные функции: plot, plot3d, … лежат в основной библиотеке.

Я вижу эта программа рассчитывает на навыки в программировании, которых у меня нет(и которым учиться сейчас не хочется и нет достаточного кол-ва времени)

[GAA]

Rusit8800 в сообщении #1192043 писал(а):

А посмотреть, есть ли решения?

Многое умеет Maple для линейных систем, но нет соответствующих tutor's, т.е. пошаговых решателей.

[Rusit8800]

А mathematica?

-- 12.02.2017, 20:27 --

В Wolfram Alpha есть.