Lista de software de geometría interactiva

El software de geometría interactiva (IGS) o los entornos de geometría dinámica (DGE) son programas informáticos que permiten crear y luego manipular construcciones geométricas, principalmente en geometría plana. En la mayoría de los IGS, se comienza la construcción colocando algunos puntos y usándolos para definir nuevos objetos como líneas, círculos u otros puntos. Una vez realizada alguna construcción, se pueden mover los puntos con los que se comenzó y ver cómo cambia la construcción.

Historia

El primer IGS fue el Supposer Geométrico, que se desarrolló a principios de los años 1980. Pronto le siguieron Cabri en 1986 y The Geometer's Sketchpad.

Comparación

Hay tres tipos principales de entornos informáticos para estudiar la geometría escolar: supuestores, entornos dinámicos de geometría (DGEs) y programas basados en Logo. La mayoría son DGEs: software que permite al usuario manipular ("drag") el objeto geométrico en diferentes formas o posiciones. El ejemplo principal de un supuestor es el Supositor Geométrico, que no tiene objetos arrastrables, pero permite a los estudiantes estudiar formas predefinidas. Casi todos los siguientes programas son DGEs. Para un ejemplo físico comparativo de estos algoritmos, vea Lenart Sphere.

Licencia y plataforma

La siguiente tabla proporciona una primera comparativa de los diferentes software según su licencia y plataforma.

3D Software

Características generales

La siguiente tabla proporciona una comparación más detallada :

Macros

Características relacionadas con construcciones macro: (TODO)

Locos

Características de Loci relacionadas con IGS: (TODO)

Prueba

Detallamos aquí las características relacionadas con la prueba. (TODO)

Medidas y cálculo

Funciones de medición y cálculo relacionadas con IGS: (TODO)

Formatos de exportación de gráficos

Software	PNG	BMP	TIFF	GIF	SWF	SVG	EMF	Fig	Postscript	Pdf	LaTeX/Eukleides	LaTeX/Pstricks	LaTeX/PGF/TikZ	Asymptote
Calques 3D	No	No	No	No	No	No	No	Sí.	No	No	No	No	No	No
C.a.R.	Sí.	No	?	?	?	Sí.	No	Sí.	Sí.	No	No	Sí.	?	?
Cinderella	Sí.	Sí.	?	?	?	?	?	?	No	Sí.	?	?	?	?
GCLC	No	Sí.	No	No	No	Sí.	No	No	Sí.	No	No	Sí.	Sí.	No
GeoGebra	Sí.	No	No	Sí (animado)	No	Sí.	Sí.	No	Sí.	Sí.	No	Sí.	Sí.	Sí.
Expresiones de geometría	Sí.	Sí.	Sí.	Sí (animado)	No	No	Sí.	No	Sí.	No	?	?	?	?
GeoProof	Sí.	No	?	?	?	Sí.	No	No	No	No	Sí.	No	?	?
Kig	Sí.	Sí.	?	?	?	Sí.	No	Sí.	Sí.	Sí.	No	Sí.	?	?
KmPlot	Sí.	Sí.	?	?	?	Sí.	?	?	?	?	?	?	?	?
KSEG	Sí.	Sí.	?	?	?	${\displaystyle \alpha }$	No	No	?	No	No	No	?	?
Geometrix	No	Sí.	Sí.	Sí.	Sí.	Sí.	No	No	No	No	No	No	?	?
iGeom	No	No	No	Sí.	No	No	No	No	Sí.	No	No	No	?	?

Atributos del objeto

Programas 2D

C.a.R.

C.a.R. es un análogo GPL gratuito del Sketchpad (GSP) de The Geometer, escrito en Java.

Cabri

Cabri Cabri fue desarrollado por la escuela francesa de educación matemática en Grenoble (Laborde, 1993)

Metal CaRM

CaRMetal es un software GPL gratuito escrito en Java. Derivado de C.a.R., proporciona una interfaz de usuario diferente.

Cenicienta

Cenicienta, escrita en Java, es muy diferente del Sketchpad de The Geometer. La versión posterior de Cinderella.2 también incluye un motor de simulación de física y un lenguaje de programación. Además, ahora admite macros, segmentos de línea, cálculos, funciones arbitrarias, gráficos, etc. La documentación completa está disponible en línea.

Dr. Genio

Dr Genius fue un intento de fusionar Dr. Geo y la calculadora Genius.

Dra. Geo

Dra. Geo es un software interactivo GPL destinado a estudiantes más jóvenes (7-15). La versión posterior, Dr. Geo II, es una reescritura completa de Dr. Geo, para el entorno Squeak/Smalltalk.

GCLC

GCLC es una herramienta de geometría dinámica para visualizar y enseñar geometría, y para producir ilustraciones matemáticas. En GCLC, las figuras se describen en lugar de dibujarse. Este enfoque enfatiza el hecho de que las construcciones geométricas son procedimientos formales abstractos y no figuras. A partir de la descripción abstracta se puede generar una figura concreta. Hay varios formatos de salida, incluidos LaTeX, LaTeX/PStricks, LaTeX/Tikz, SVG y PostScript. Hay un demostrador de teoremas de geometría incorporado (basado en el método del área). GCLC está disponible para Windows y Linux. WinGCLC es una versión para Windows de GCLC con una interfaz gráfica que proporciona una variedad de funcionalidades adicionales. GCLC es un software de código abierto (licencia CC BY-ND).

GeoGebra

GeoGebra es un software que combina geometría, álgebra y cálculo para la educación matemática en escuelas y universidades. Está disponible de forma gratuita para usuarios no comerciales.

• Licencia: open source under GPL license (free of charge)
• Idiomas: 55
• Geometría: puntos, líneas, todas las secciones conic, vectores, curvas paramétricas, líneas de locus
• Álgebra: entrada directa de desigualdades, polinomios implícitos, ecuaciones lineales y cuadráticas; cálculos con números, puntos y vectores
• Calculus: entrada directa de funciones (incluso definidas por piezas), intersecciones y raíces de funciones; derivados simbólicos e integrales (construido en CAS); deslizadores como parámetros
• Gráficos paramétricos: Sí.
• Polinomios implícitos: Sí.
• Exportación web: todas las construcciones exportables como páginas web como un applet Java
• Macros: utilizables tanto como herramientas con el ratón y como comandos en el campo de entrada
• Animación: Sí.
• hoja de cálculo: Sí, las células pueden contener cualquier objeto GeoGebra (números, puntos, funciones, etc.)
• Texto dinámico: Sí (incluyendo LaTeX)
• Plataformas: Mac OS, Unix/Linux, Windows (cualquier plataforma que soporta Java 1.5 o posterior)
• Continuación: utiliza una heurística 'cerca de aproximación' para evitar saltar objetos

GeoKone.NET

GeoKone.NET es un generador interactivo de geometría natural recursiva (o "geometría sagrada") que se ejecuta en un navegador web. GeoKone permite al usuario crear figuras geométricas utilizando reglas naturalistas de copia recursiva, como la proporción áurea.

Geólogo

Geolog es un lenguaje de programación lógica para lógica geométrica finita.

Expresiones de geometría

Expresiones de geometría Hace geometría simbólica. Utiliza entradas simbólicas reales y devuelve salidas reales y simbólicas. Hace hincapié en el uso con un sistema de álgebra informática (CAS), así como en exportar y compartir a través de aplicaciones interactivas de widgets de panel HTML5, Lua y OS X.

El bloc de dibujo del geómetra

El bloc de dibujo del geómetra (GSP)

• Deterministic
• Idiomas: Inglés, español, danés, ruso, coreano, tailandés, chino tradicional y simplificado, francés, lituano (versión actual); otros (ver versiones anteriores)
• Macros: Sí ("herramientas básicas" y "scriptos")
• Java-applet: Sí.
• Animación: Sí.
• Locus: Sí, incluido el punto en el lacus
• Asignaciones: No
• Medición/Calculaciones: Sí.
• Plataforma: Windows, Mac OS, TI-92+, trabaja bajo el vino
• Pruebas: No

El supuesto geométrico

El supuesto geométrico

Géoplan-Géospace

Geonext

Geonext fue desarrollado por la Universidad de Bayreuth hasta 2007 y está completamente implementado en Java. Su versión final fue la 1.74.

GeoProof

GeoProof es un software de geometría dinámica GPL gratuito, escrito en OCaml.

GEUP

GEUP es un análogo más orientado al cálculo del Sketchpad de The Geometer.

• Deterministic
• Idiomas: Inglés, francés, alemán, italiano, portugués, español
• Macros: Sí.
• Java-applet: No
• Animación: Sí.
• Locus: Sí, incluido el punto en el lacus
• Asignaciones: No
• Medición/Calculaciones: Sí.
• Plataforma: Windows
• Pruebas: No

GRACIA

GRACE (El editor gráfico de regla y compás) es un análogo del Sketchpad (GSP) de The Geometer, escrito en Java.

Jeometría

Jeometry es un subprograma de geometría dinámica.

Kig

Kig es un análogo gratuito (GPL) del Sketchpad (GSP) de The Geometer para KDE, pero más orientado al cálculo. Es parte del Proyecto de entretenimiento educativo KDE.

KmPlot

KmPlot es un trazador de funciones matemáticas publicado bajo la licencia GPL gratuita. Incluye un potente analizador e impresión de precisión en la escala correcta. Trace varias funciones simultáneamente y combine términos de funciones para crear nuevas funciones. Admite funciones con parámetros y funciones en coordenadas polares. Hay varios modos de cuadrícula disponibles. Las características incluyen:

• poderoso parser matemático
• impresión métrica precisa
• diferentes tipos de parcelas (funciones, paramétricas, polares)
• configuración visual altamente configurable (línea de despliegue, ejes, rejilla)
• export to bitmap format (BMP and PNG) and to Scalable Vector Graphics (SVG)
• guardar y descargar sesión completa en formato XML legible
• modo traza: trazo cruzado siguiente, coordenadas mostradas en la barra de estado
• Ampliación de apoyo
• habilidad para dibujar el derivado 1 y 2 y el integral de una función de trama
• soporte constantes definidas por el usuario y valores de parámetro
• varias herramientas para funciones de trama: encontrar el punto mínimo/máximo, obtener valor y dibujar el área entre la función y el eje y

KSEG

KSEG es un análogo libre (GPL) del Sketchpad del Geometer (GSP) con algunas características únicas. Este software puede manejar construcciones pesadas y complejas en la geometría euclidiana.

• Deterministic
• Idiomas: holandés, inglés, francés, chino, alemán, húngaro, italiano, japonés, noruego Bokmål, portugués, ruso, español, turco, galés
• Macros: Sí. Editable y con soporte para recidiva
• Java-applet: No
• Animación: No
• Locus: Sí, pero no hay forma directa de poner un punto en un lacus.
• Asignaciones: No
• Medición/Calculaciones: Sí (la calculadora es un poco extraña)
• Plataforma: Unix/Linux, Windows, Mac OS (cualquier plataforma que soporta Qt)
• Pruebas: No
• Extra: Editable

Geometría en vivo

Live Geometry es un proyecto gratuito de CodePlex que le permite crear construcciones interactivas de regla y compás y experimentar con ellas. Está escrito en Silverlight 4 y C# 4.0 (Visual Studio 2010). El motor central es un marco flexible y extensible que permite agregar fácilmente nuevos tipos y características de figuras. El proyecto tiene dos interfaces: WPF y Silverlight, que comparten la biblioteca común DynamicGeometry.

TracenPoche

TracenPoche es un programa completamente Adobe Flash. Está disponible en inglés, español y francés.

Programas 3D

Cabri 3D

Geometría Cabrio

Arquímedes Geo3D

Arquímedes Geo3D

Euler 3D

Euler (software)

Euler 3D es un programa que te permite crear y manipular tus propios poliedros. Tiene una serie de facilidades: transformaciones, animaciones, creación de duales, importación/exportación de VRML, etc.

Se requiere registro gratuito.

GeoGebra

GeoGebra, incluye modo 3D desde la versión 5.0

Vista geográfica

Vista geográfica

GEUP 3D

GEUP

Continuidad versus determinismo

Todos estos programas se pueden dividir en dos categorías: deterministas y continuos. GeoGebra puede ser determinista o continua (se puede cambiar en preferencias).

Todas las construcciones en los programas deterministas (GSP, Cabri, Kseg y la mayoría de otros) están completamente determinadas por los puntos dados, pero el resultado de algunas construcciones puede saltar o comportarse inesperadamente cuando se mueve un punto dado.

Por el contrario, algunas construcciones en programas continuos (hasta ahora solo Cenicienta y GeoGebra), dependen de la cantidad de parámetros ocultos y de tal manera que mover un punto determinado produce un movimiento continuo de la construcción, como resultado, si el punto se mueve de nuevo a la posición original, el resultado de la construcción puede ser diferente.

Aquí hay una prueba para comprobar si un programa en particular es continuo:

Construya el ortocentro del triángulo y tres puntos medios (digamos Am#39;, ' ' ) entre los vértices y el ortocentro.

Construya un círculo circunstante de Am#39;'' .

Este es el círculo de nueve puntos, intersecta cada lado del triángulo original en dos puntos: la base de la altitud y el punto medio. Construya una intersección de un lado con el círculo en el punto medio y ahora muévase al vértice opuesto del triángulo original, si el punto construido no se mueve cuando la base de altitud lo atraviesa, eso probablemente significa que su programa es continuo.

Aunque es posible hacer un programa determinista que se comporta continuamente en este y similares ejemplos simples, en general se puede probar que ningún programa puede ser continuo y determinista al mismo tiempo.