|
|
|
Компьютеры - Список систем интерактивной геометрии23 января 2011
Оглавление:
1. Список систем интерактивной геометрии
2. Зарубежные разработки ИГС
Сравнение интерактивных геометрических систем
Лицензирование и поддерживаемые платформы
Следующие таблицы представляют сведения о лицензии, по которой распространяется программное обеспечение и поддерживаемые операционные системы.
Программы 2D
Таблица 1. Лицензирование и поддерживаемые платформы двухмерных ИГС
| ПО |
Лицензия |
Платформы |
| Euklid DynaGeo |
Условнобесплатная |
Windows |
| Euklides |
Условнобесплатная |
Windows |
| JSXGraph |
LGPL |
Windows, Linux, Mac OS X |
| Kgeo |
GPL |
Linux |
| Kig |
GPL |
Linux |
| DrGeo |
GPL |
Linux, Mac OS X |
| KmPlot |
GPL |
Linux, Mac OS X |
| CaRMetal |
GPL |
Windows, GNU Linux, Mac OS X |
| OpenEuclide |
GPL |
Windows, Linux |
| C.a.R. |
GPL |
Windows, Linux, Mac OS X |
| Eukleides |
GPL |
Windows, Linux, Mac OS X |
| GeoGebra |
GPL |
Windows, Linux, Mac OS X |
| GeoNext |
GPL |
Windows, Linux, Mac OS X |
| GeoProof |
GPL |
Windows, Linux, Mac OS X |
| GeoView |
GPL |
Windows, Linux, Mac OS X |
| KSEG |
GPL |
Windows, Linux, Mac OS X |
| iGeom |
Freeware |
Linux, Windows, Mac OS X |
| Tabulae |
Freeware |
Linux, Windows, Mac OS X |
| Geometrix |
Freeware |
Windows |
| GCLC |
Freeware |
Windows, Linux |
| MathKit |
Коммерческая |
Linux, Windows, Mac OS X |
| The Geometer's Sketchpad |
Коммерческая |
Linux, Windows, Mac OS X |
| Apollonius |
Коммерческая |
iPhone/iPod Touch |
| GEUP |
Коммерческая |
Windows |
| Geometry Expressions |
Коммерческая |
Windows, Linux, Mac |
| Cinderella |
Коммерческая |
Windows, Linux, Mac OS X |
| Cabri Geometry |
Коммерческая |
Windows, Mac OS X |
| Géoplan |
Бесплатная |
Windows |
| Defi |
Неизвестно |
Windows |
| Geometric Supposer |
Неизвестно |
Windows |
| Mentoniezh |
Неизвестно |
Windows |
| Isard |
Неизвестно |
Windows |
| WinGeom |
Неизвестно |
Windows |
| Gambol |
Неизвестно |
Windows, Linux, Mac OS X |
| Geometry Expert |
Неизвестно |
Windows, Linux, Mac OS X |
| Geometry Explorer |
Неизвестно |
Windows, Linux, Mac OS X |
| GRACE |
Неизвестно |
Windows, Linux, Mac OS X |
| Jeometry |
Неизвестно |
Windows, Linux, Mac OS X |
| Baghera |
Неизвестно |
Windows |
| Cabri-Euclide |
Неизвестно |
Windows |
| Geolog |
Неизвестно |
Windows |
| Geometry Tutor |
Неизвестно |
Windows |
Программы 3D
Таблица 2. Лицензирование и поддерживаемые платформы трехмерных ИГС
| ПО |
Лицензия |
Платформы |
| Archimedes Geo3D |
Условнобесплатная |
Windows/Mac OS X/Linux |
| Cabri 3D |
Коммерческая |
Windows/Mac OS X |
| Geometria |
GPL |
Windows, Linux, Mac OS X |
| GeomSpace |
GPL |
Windows, Linux, OpenSolaris |
| GeomView |
LGPL |
Unix |
| Géospace |
Бесплатная |
Windows |
| GEUP 3D |
Коммерческая |
Windows |
| Yenka 3D Shapes |
Коммерческая |
Windows |
Как видно из представленных таблиц, достаточно большое количество систем распространяются бесплатно, с открытым исходным кодом по лицензии GPL.
Основные возможности программ
Следующая таблица представляет более детальное сравнение программ по функциональным возможностям.
Таблица 3. Основные возможности программ
| ПО |
Вычисления |
ГМТ |
Анимация |
Скрипты |
Проверка |
Экспорт для Web |
Многоязычность |
Дополнительно |
| Cabri II Plus |
+ |
+ |
+ |
+ |
+ |
+ |
+ |
|
| CaR |
+ |
+ |
+ |
+ |
+ |
+ |
+ |
|
| Cinderella |
+ |
+ |
+ |
+ |
+ |
+ |
+ |
Несколько геометрий, поддержка физики |
| GCLC |
+ |
+ |
+ |
+ |
+ |
– |
– |
Удобочитаемые доказательства, поддержка 3D |
| GeoGebra |
+ |
+ |
+ |
+ |
+ |
+ |
35 языков |
Алгебраические преобразования |
| Geometria |
+ |
+ |
+ |
– |
+ |
+ |
+ |
Двух-ролевая модель |
| Geometrix |
+ |
+ |
+ |
– |
+ |
– |
– |
Интерактивные доказательства, проверка чертежей |
| GeoNext |
+ |
– |
+ |
? |
? |
? |
+ |
Доступно как web-приложение |
| Géoplan-Géospace |
+ |
+ |
+ |
+ |
– |
+ |
+ |
Ряды, 2D и 3D, легко читаемый формат файла |
| GeoProof |
+ |
– |
– |
– |
– |
– |
– |
Автоматические формальные доказательства |
| GEUP |
+ |
+ |
+ |
? |
– |
– |
+ |
|
| iGeom |
+ |
+ |
– |
+ |
+ |
+ |
+ |
Рекуррентные скрипты |
| Kig |
+ |
+ |
– |
+ |
– |
– |
+ |
|
| Sketchpad |
+ |
+ |
+ |
+ |
– |
+ |
+ |
Функции и графики, математическая нотация |
| Tabulae |
+ |
+ |
– |
– |
– |
+ |
+ |
Групповое взаимодействие через интернет |
| Cabri 3D |
+ |
– |
+ |
– |
– |
+ |
+ |
|
| Archimedes Geo3D |
+ |
+ |
+ |
– |
– |
– |
– |
Пересечение ГМТ |
| GEUP 3D |
+ |
+ |
– |
– |
– |
– |
+ |
|
В последующих сравнениях в деталях рассмотрим перечисленные в данной таблице и некоторые другие функциональные возможности программ.
Макросы
Далее мы детализируем возможности программ относительно построения макросов.
Таблица 4. Возможности программ по макросам
| ПО |
Поддержка рекурсивности |
Сохранение макросов |
| Cabri II Plus |
+ |
+ |
| GCLC |
– |
– |
| GeoGebra |
+ |
+ |
| Géoplan-Géospace |
+ |
+ |
| iGeom |
+ |
+ |
| Kig |
? |
+ |
| KSEG |
+ |
+ |
| Sketchpad |
+ |
+ |
Геометрическое место точек
Здесь мы рассматриваем возможности по работе с геометрическим местом точек.
Таблица 5. Возможности программ по операциям с ГМТ
| ПО |
Выбрать точку из ГМТ |
Пересечение двух ГМТ |
| Cabri II Plus |
+ |
+ |
| CaR |
+ |
+ |
| GeoGebra |
+ |
– |
| Géoplan-Géospace |
+ |
– |
| iGeom |
+ |
– |
| Kig |
+ |
– |
| Sketchpad |
+ |
– |
Доказательства
Далее рассмотрим возможности, относящиеся к доказательствам геометрических теорем, решению задач
Таблица 6. Доказательные возможности программ
| ПО |
Интерактивные доказательства |
Автоматические доказательства |
Вероятностные доказательства |
| Cabri II Plus |
– |
– |
+ в Cabri I |
| Cinderella |
– |
модуль |
+ |
| GCLC |
– |
+ |
– |
| Geometrix |
+ |
+ |
– |
| Géoplan-Géospace |
– |
– |
+ |
| GeoProof |
+ |
+ |
– |
| iGeom |
– |
– |
+ |
| Jeometry |
– |
+ |
– |
Измерения и вычисления
В данной таблице детализируются возможности по измерениям и вычислениям
Таблица 7. Возможности программ по измерениям и вычислениям
| ПО |
Приблизительная точность |
Арифметические выражения |
Тригонометрические функции |
Оператор «Если» |
Проверка существования объекта |
| Cabri |
+ |
+ |
+ |
+ |
– |
| C.a.R. |
– |
+ |
+ |
+ |
+ |
| GCLC |
– |
+ |
+ |
+ |
+ |
| GeoGebra |
– |
+ |
+ |
+ |
+ |
| Geometria |
– |
+ |
+ |
– |
– |
| Géoplan-Géospace |
– |
+ |
+ |
+ |
– |
| GeoProof |
+ |
+ |
+ |
+ |
– |
| Geometrix |
– |
+ |
+ |
+ |
– |
| iGeom |
– |
+ |
+ |
– |
– |
Форматы экспорта графики
В следующей таблице приведены возможности программ по экспорту графики в различные форматы изображений.
Таблица 8. Форматы экспорта графики в различных системах
| ПО |
PNG |
BMP |
TIFF |
GIF |
SWF |
SVG |
EMF |
Postscript |
Pdf |
| C.a.R. |
+ |
– |
– |
– |
– |
+ |
– |
+ |
– |
| Cinderella |
+ |
+ |
– |
– |
– |
– |
– |
– |
+ |
| GCLC |
– |
+ |
– |
– |
– |
+ |
– |
+ |
– |
| GeoGebra |
+ |
– |
– |
– |
– |
+ |
+ |
+ |
+ |
| GeoProof |
+ |
– |
– |
– |
– |
+ |
– |
– |
– |
| Kig |
+ |
+ |
– |
– |
– |
+ |
– |
+ |
+ |
| KmPlot |
+ |
+ |
– |
– |
– |
+ |
– |
– |
– |
| KSEG |
+ |
+ |
– |
– |
– |
+ |
– |
? |
– |
| Geometrix |
– |
+ |
+ |
+ |
+ |
+ |
– |
– |
– |
| iGeom |
– |
– |
– |
+ |
– |
– |
– |
+ |
– |
Свойства объектов
В данной таблице рассмотрены возможности программ по поддержке различных свойств геометрических объектов.
Таблица 9. Поддерживаемые свойства объектов в различных ИГС
| ПО |
Цвет |
Заливка |
Ширина |
Прозрачность |
Скрытие |
Слои |
Форма точки |
Тип линии |
| Cabri |
+ |
+ |
+ |
+ |
+ |
– |
+ |
+ |
| C.a.R. |
+ |
+ |
+ |
+ |
+ |
+ |
+ |
+ |
| GCLC |
+ |
+ |
+ |
– |
+ |
– |
+ |
+ |
| GeoGebra |
+ |
+ |
+ |
+ |
+ |
+ |
+ |
+ |
| Geometria |
+ |
+ |
– |
+ |
+ |
+ |
– |
+ |
| Géoplan-Géospace |
+ |
+ |
+ |
+ |
+ |
– |
+ |
+ |
| Kig |
+ |
+ |
+ |
– |
+ |
– |
+ |
+ |
| GeoProof |
+ |
– |
+ |
– |
+ |
+ |
+ |
+ |
| Geometrix |
+ |
+ |
+ |
– |
+ |
– |
+ |
+ |
| iGeom |
+ |
+ |
+ |
– |
+ |
– |
– |
+ |
Как видно из таблиц, существующие системы обладают широким функционалом, поддерживают создание макросов, проверку корректности, различные свойства геометрических объектов, а также позволяют экспортировать созданные модели в виде растровых и векторных рисунков.
Просмотров: 2985
|