Software interactivo (IGS de la geometría del, también llamado " environments" dinámico de la geometría;, DGEs) es los programas de computadora que permiten que uno cree y después que manipule construcciones geométricas, sobre todo en la geometría plana . Uno comienza la construcción poniendo algunos puntos y usándolos para definir nuevos objetos tales como líneas, círculos u otros puntos. Después de que se haga una cierta construcción, una puede mover los puntos uno comenzados con y ver cómo la construcción cambia.

Historia

El software histórico dos es Cabri y bloc de bocetos.

Comparación

Licencia y plataforma

La tabla siguiente proporciona una primera comparación del diverso software según su licencia y plataforma.o Software

software 3D

Características generales

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

Macros

Detallamos aquí las características relacionadas con las construcciones macras. (TODO)

Lugares geométricos

Detallamos aquí las características de los lugares geométricos. (TODO)

Prueba

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

Medidas y cálculo

Detallamos aquí las medidas y las características del cálculo. (TODO)

Formatos de la exportación de los gráficos

Cualidades de objeto

2.os programas

C. un análogo libre GLP del GSP, escrito en el Java .

más: Multi-plataforma,
Multilingüe,
Macro-construcciones,
Asignaciones (buenas para los profesores).

menos Medidas antipáticas,
Lugares geométricos antipáticos (trayectoria).

CaRMetal

CaRMetal un software libre GLP escrito en el Java .R y proporciona otro interfaz utilizador.

Cabri II más

Cabri II más un análogo extendido del GSP.
la ayuda más completa del lugar geométrico, incluye la intersección de dos lugares geométricos.
compatible con las calculadoras del TI
de acuerdo con la investigación sobre la educación

Cinderella

Cinderella - muy diferente del GSP, escrito en el Java .

más: El problema de la continuidad se soluciona aquí,
Cambiar entre el elíptico, el hiperbólico y la geometría euclidiana por un tecleo.
Dos tecleos dan a el diagrama dual descriptivo de .
Más de menor importancia: función continua del ángulo (puede tomar valores grandes arbitrarios).
multi-plataforma.

La nueva versión Cinderella.2 también incluye un motor de la simulación de la física y una lengua scripting. También, ahora apoya macros, la línea segmentos, cálculos, funciones arbitrarias, diagramas, la documentación completa del etc. es accesible en línea.

Euklid DynaGeo

El Euklid DynaGeo es un análogo del Shareware del GSP para las ventanas .

menos: allí no es ninguna función para crear un Java applet para publicar en tela.

Eukleides

El Eukleides, GLP, es una lengua del dibujo de la geometría.

más: Macros
Capas menos: allí no es ninguna función para crear un Java applet para publicar en tela. Genius

El Dr. Genius era una tentativa de combinar a Dr. Geo y la calculadora del genio

El Dr. Geo es un objeto de valor interactivo del software del GLP especialmente para estudiantes más jovenes (7-15)

más: Macro-construcciones
El scripting encajado


Dibujo interactivo definido Programmatically del


Interfaz adaptable del


multilingüe

menos:

ninguna manera de publicar objetos en la tela

Cabriolar

¿El cabriola ???

GCLC

GCLC es una herramienta dinámica de la geometría para visualizar y enseñar a geometría, y para producir ilustraciones matemáticas. En GCLC las figuras se describen algo que dibujadas. Este acercamiento tensiona el hecho de que las construcciones geométricas son procedimientos y no figuras abstractos, formales. Una figura concreta se puede generar en base de la descripción abstracta. Hay varios formatos de la salida, incluyendo látex, SVG, posdata. Hay prover incorporado del teorema de la geometría (basado en el método del área). GCLC está disponible para Windows y el linux. WinGCLC es una versión de Windows de GCLC con el interfaz gráfico y proporciona una gama de funcionalidades adicionales.

GeoGebra

El GeoGebra es el software libre que ensambla geometría, álgebra y el cálculo para la educación de las matemáticas en escuelas.
licencia del

: fuente abierta debajo de la licencia el público en general del GNU (gratuitamente)
Idiomas : 35
Geometría : puntos, líneas, todas las secciones cónicas, vectores, curvas paramétricas, líneas del lugar geométrico
Álgebra : entrada directa de las ecuaciones cartesianas o polares de los coordenadas, lineares y cuadráticos; cálculos con números, puntos y vectores
Cálculo : entrada directa de funciones; intersecciones y raíces de funciones; derivados simbólicos e integrales (construidos en el CAS); resbaladores como parámetros
Exportación del Web del : todas las construcciones exportables como Web pages; Interfaz del Javascript para los ejercicios interactivos
Macros : usable como herramientas con el ratón y como los comandos en la entrada colocan
Plataformas : MaOS, Unix/linux, Windows (cualquier cosa que apoya Java 1.2 o más adelante)
Continuidad : utiliza un heurístico “cercano-a-se acercan” para evitar saltar objetos

Geolog

El Geolog es un lenguaje el de programación de lógica para la lógica geométrica finitary.

Expresiones de la geometría

Las expresiones de la geometría hacen geometría simbólica.

más: Permite la entrada algebraica
Da las fórmulas algebraicas para las medidas
Los apremios apoyaron
Ecuaciones paramétricas y implícitas de lugares geométricos
Sobres de líneas y de círculos
Apoya el MathML
Los trabajos con los sistemas de la álgebra de la computadora tienen gusto Mathematica y del arce menos: Ningunas macros

El bloc de bocetos del geómetra

el bloc de bocetos (GSP) del geómetra
determinista del


Idiomas del : Chino inglés, español, danés, ruso, coreano, tailandés, tradicional y simplificado de, franceses, lituanos (versión actual); otros (más viejas versiones).
Macros del : sí (" tools" de encargo; y " scripts")
Java-applet del : sí
Animación del : sí
Lugar geométrico del : sí, incluyendo punto en lugar geométrico
Asignaciones del : No de
Medida/cálculos del : sí
Plataforma del : Windows, MaOS, TI-92+, trabaja debajo del vino
Pruebas del : No de

Geometrix

Geometrix un software interactivo de la geometría, escrito en el prólogo, el libremente Pascal (Lazarus) y el pitón . La nueva versión francesa (3.5) está libre ahora y se está traduciendo a inglés.

más: Permite que un profesor proponga a un estudiante un ejercicio específico de la construcción de la geometría y entonces el software comprobará el diagrama del estudiante para saber si hay exactitud.
Permite que el profesor programe sugerencias específicas en forma escrita, oral y visualmente vía diagramas y animaciones cortas de toda la clase que el profesor puede almacenar y tener aparecer en los tiempos apropiados.
Puede generar automáticamente ejercicios de la prueba.
Permite que los estudiantes hagan pruebas y da la regeneración automática en cada paso a lo largo de la manera.
Capas: Sí
Etiquetas dinámicas: Sí
Animaciones: Sí
Lugares geométricos: Sí
Pruebas: sí
Assignements: Sí
Medida/cálculos: Sí
Diagrama-comprobación: Sí
Software No-cost

menos: Ningunas macros
No hay función para crear un Java applet para publicar en tela.

Geonext

El Geonext libera (el GLP ) el análogo del GSP escrito en Java y las ofertas que un cálculo de la visión ofrece (las curvas paramétricas, las funciones) también.

El Supposer geométrico

El Supposer geométrico.

GeoProof

GeoProof un software dinámico libre de la geometría GLP, escrito en el Ocaml .

más: Puede importar archivos XML contener una descripción de un teorema
Puede comprobar si un teorema es verdad usar el teorema automatizado que prueba métodos
Puede ayudar a hacer la prueba recíprocamente usar el ayudante de la prueba de Coq
Puede ser utilizado para presentar las figuras de la alta calidad para el látex usar la exportación de Eukleides
Etiquetas dinámicas
El cómputo se hace usar la precisión arbitraria
Las capas están disponibles

menos: Ningún lugar geométrico
Ningunas macros
No hay función para crear un Java applet para publicar en tela.

GEUP

El pedacito GEUP cálculo-orientó más el análogo del GSP.
determinista del


Idiomas del : inglés, francés, alemán, italiano, portugués, español.
Macros del : sí
Java-applet del : No de
Animación del : sí
Lugar geométrico del : Sí/punto de en lugar geométrico
Asignaciones del : No de
Medida/cálculos del : sí
Plataforma del : Windows
Pruebas del : No de

TOLERANCIA

TOLERANCIA el redactor gráfico de la regla y del compás, un análogo del GSP, escrito en el Java .

más: incluye capacidades de la prueba

Isard

¿ Isard ???

Kig

Kig ( GLP ) un análogo libre del GSP para el KDE, pedacito más a cálculo-orientado, parte del proyecto KDE Edutainment.

más: puede leer archivos simples KGeo, KSeg, del Dr. Geo y de la geometría (solamente no muy bueno de Cabri en esto hasta ahora).
ayuda del builtin para los varios tipos de conics, y para el cubics
fundamentos de la geometría diferenciada: línea de tangente, centro de la curvatura, círculo osculating, evolute
las transformaciones incluyen transformaciones descriptivas
el poligonal se opone (polígonos incluyendo de la estrella como el pentagram) con algunas operaciones tales como intersección entre los polígonos o la línea/el polígono, casco convexo, centro de masa

menos: Tarda más tiempo para crear la misma construcción que en el GSP
uso con el " mode": usted tiene que saber en qué modo usted es (normal, el construir, mudanza, los etc)
no hay función para crear un Java applet para publicar en tela
ningunos cálculos

Kgeo

El Kgeo (el GLP ) un análogo libre del GSP para el KDE, pedacito cálculo-orientado más también, su interfaz es similar al Kig .

Es convertido, substituido y mejorado por el Kig .

KSEG

El KSEG libera (el GLP ) el análogo del GSP que tiene algunas características únicas importantes. Si usted planea hacer algún pesado, las construcciones complicadas en geometría euclidiana esto están para usted.
determinista del


Idiomas del : holandés, Bokmal inglés, francés, chino, alemán, húngaro, italiano, japonés, noruego, portugués, ruso, español, turcos, Galés.
Macros del : sí. Editable y con la ayuda para la repetición
Java-applet del : No de
Animación del : No de
Lugar geométrico del : sí, ninguna manera directa de poner el punto en lugar geométrico.
Asignaciones del : No de
Medida/cálculos del : sí (la calculadora es extraña mordido)
Plataforma del : Unix/linux, Windows, MaOS (cualquier cosa que apoya el cuarto de galón)
Pruebas del : No de
adicional: Editable

Non-Euclid

El Non-Euclid es un muy básico Java - IGS solamente para la geometría hiperbólica en el disco de Poincaré y la parte superior - media - los modelos del plano.

OpenEuclide

El OpenEuclide es un software de la geometría GLP 2.

Wingeom

Wingeom

programas 3D

Archimedes Geo3D

Archimedes Geo3D

Cabri 3D

Cabri 3D

Euler 3D

Euler 3D

Euler 3D es un programa que permite que usted cree y que manipule sus propios poliedros. Tiene un número de instalaciones: las transformaciones, animaciones, creando se doblan, VRML de la importación/de la exportación, etc.

El registro libre requirió.

Geomview

Geomview

PyGeo

PyGeo

JavaView

JavaView

JavaView es un espectador de la geometría 3D y un software de visualización matemático. Usted puede explorar los modelos misceláneos 3D con él.

SingSurf

SingSurf

De acuerdo con JavaView, este programa puede calcular y dibujar curvas y superficies algebraicas singulares.

Continuidad contra el determinismo

Todos estos programas se pueden dividir en la categoría dos: determinista y continuo.

Todas las construcciones en los programas deterministas (GSP, Cabri, Kseg y la mayor parte de otros) son determinadas totalmente por los puntos dados pero el resultado de algunas construcciones pueden saltar o comportarse inesperado cuando se mueve un punto dado.

Del contrario, algunas construcciones en programas continuos (hasta ahora solamente Cinderella y Geogebra), dependen del número de parámetros ocultados y de una manera tal que la mudanza de un punto dado produzca un movimiento continuo de la construcción, consecuentemente, si el punto se mueve de nuevo a la posición original el resultado de la construcción pudo ser diferente.

Aquí está una prueba para comprobar si un programa particular es continuo:

Construir el Orthocenter de triángulo y de tres mediados de puntos (decir el A', B C ) entre las cimas y el orthocenter.

Construir un Circumcircle del A'B'C .

Éste es el círculo, él del Nueve-punto interseca cada lado del triángulo original en dos puntos: la base de la altitud y del punto mediano. Construir una intersección de un lado con el círculo en el mediados de punto ahora se mueven enfrente de la cima del triángulo original, si el punto construido no se mueve cuando la base de la altitud se mueve a través de ella esa significa probablemente que su programa es continuo.

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

Programas relacionados


enchufe más de Cabri II
Cabri 3D enchufable
Cabri Java
el applet de la geometría
JavaSketchpad

.

  • Zenithic
  • Local Government Information Unit
    Random links:Sociedad real para la prevención de la crueldad a los animales | CETME | Puntos extremos de las Américas | Richard Lugner | Multimap (estructura de datos)

  • © 2007-2008 enciclopediaespana.com; article text available under the terms of GFDL, from en.wikipedia.org
    ="http://pagead2.googlesyndication.com/pagead/show_ads.js">