SISTEMAS DE COMPUTACIN ALGEBRAICOS.

EVOLUCIN Y
APLICACIONES
Mara de la O Gonzlez Prez
Elisa Amo Saus y Emilia Garca Prez
Departamento Economa y Empresa (rea de matemticas)
Universidad de Castilla-La Mancha
Resumen:
Las nuevas tecnologas estn cambiando los hbitos de trabajo en
cualquier profesin, y la enseanza no puede ser una excepcin. Sin
duda, el invento ms revolucionario de estas tecnologas ha sido el
ordenador digital, ya que este instrumento, apoyado por el software
adecuado, tiene la capacidad de adaptarse a las necesidades de
cualquier situacin.
En los ltimos aos se han realizado grandes progresos, tanto en el
desarrollo terico de algoritmos simblicos y algebraicos como en su
implementacin en sistemas de ordenador. Una gran parte de los
problemas econmicos se plantean en trminos matemticos. En este
trabajo se presenta una revisin cronolgica de los paquetes de
clculo simblico, as como los programas ms utilizados en la
actualidad y que poseen una aritmtica exacta. En cada uno de ellos
se sealan sus principales utilidades.
Palabras clave: Clculo numrico, clculo simblico, paquetes informticos.
Gonzlez, Amo y Garca Sistemas de computacin algebraicos. Evolucin y aplicaciones
2
1. INTRODUCCIN.
Uno de los deberes del educador es proporcionar a sus alumnos la capacidad
suficiente para comprender la cultura de su tiempo. En este sentido, el ordenador debe
ser una herramienta en la enseanza ya que su uso supone un acercamiento a la realidad
y al trabajo posterior.
La presencia de medios informticos en la enseanza se va haciendo patente,
pero por desgracia, en la universidad, no tan deprisa como quisiramos.
Conseguir que el ordenador est presente como apoyo en la mayora de las reas
docentes depender de varios factores:
- Dotacin a los centros universitarios de material informtico suficiente, tanto hardware
como software. Es evidente que esa dotacin debe depender del nmero de alumnos y
profesores y materias que se estudian.
- Predisposicin positiva, por parte del profesor hacia esos medios. Todava existen
muchos profesores de matemticas que piensan para esta asignatura es suficiente un
lpiz, papel y la razn. Es cierto que las formas tradicionales de enseanza son
imprescindibles, y que el ordenador no puede sustituir al profesor en el aula, pero no se
puede ir en contra de los tiempos.
- Resulta imprescindible que la direccin del centro y el profesorado sepa realizar un
ptimo aprovechamiento de los medios informticos. En ocasiones, a pesar de que el
profesor comulgue con las ideas anteriores es reacio a abandonar la enseanza
tradicional ya que esta le proporciona cierta comodidad.
- No hay que olvidar que los programas informticos evolucionan a gran velocidad, lo
que exige continuas readaptaciones.
El uso del ordenador en la docencia convertir las clases de matemticas en un
laboratorio experimental donde los alumnos pueden explorar alternativas y aplicar
diferentes estrategias para resolver problemas. Ofrece la posibilidad de realizar varias
pruebas sobre un mismo planteamiento; obtener resultados numricos y grficos de
forma simultnea; simular otros modelos; etc, en resumen, se puede utilizar el mtodo
ensayo-error en un corto espacio de tiempo. Hay que reconocer que el ordenador
permite grandes y variadas posibilidades no siempre aprovechadas por la enseanza de
las matemticas.
Gonzlez, Amo y Garca Sistemas de computacin algebraicos. Evolucin y aplicaciones
3
En el apartado de programas de propsito general se engloban todos los
programas que pueden tener utilidad para la mayora de las asignaturas ya que son
programas abiertos, es decir, se tienen que disear las aplicaciones y actividades. Esto,
quiz, tenga una dificultad superior al de otros programas pero, por el contrario, permite
crear las actividades a tu medida. Dentro de esta categora se encuentran:
- Los lenguajes de programacin: Antes de la aparicin de programas especficos de
matemticas para ordenador se utilizaban lenguajes sencillos de programacin como
Pascal, Fortran, Basic, Logo, etc. Estos permitan al profesor la elaboracin de
pequeas aplicaciones a su medida. Por otro lado, tienen la dificultad que se necesita
ms trabajo y mayores conocimientos tcnicos. Hoy en da, los entornos de
programacin multimedia como Visual Basic o Lenguaje C, permiten de forma ms
sencilla la creacin de aplicaciones concretas.
- Las hojas de clculo: Se pueden considerar como una poderosa herramienta para que
el profesor pueda preparar sin gran esfuerzo modelos a la medida de diversos
contenidos, y adems resultan de fcil uso para el alumno. Los ms utilizados son:
Works, Lotus y Excel.
- Los asistentes matemticos: En este apartado se incluyen los programas especficos
para el trabajo en matemticas. Entre otros estn Maple, Mathcad, Derive y
Mathematica. Ellos permiten clculo de funciones derivadas y primitivas, resolucin
de ecuaciones, representacin de superficies en tres dimensiones, etc., en el campo
del lgebra lineal tiene infinidad de aplicaciones como resolucin de determinantes,
clculo de matrices inversas....
Por otro lado se encuentran los programas para temas especficos. Dentro de este
bloque se incluyen los programas para trabajos en temas concretos, se pueden distinguir
diversos tipos:
- Programas de enseanza asistida por ordenador: Son ms bien tutoriales que
muestran conceptos y plantean preguntas tipo test. Este tipo de programas son ms
adecuados para el trabajo del alumno en casa, ya que sobre todo abarca los temas
que se estudian en la enseanza secundaria, materia imprescindible para seguir las
asignaturas de matemticas en las facultades de econmicas.
Gonzlez, Amo y Garca Sistemas de computacin algebraicos. Evolucin y aplicaciones
4
- Estudio de funciones: Ya se ha comentado con anterioridad que los asistentes
matemticos tratan estos temas, pero a un nivel ms sencillo se puedan citar los
programas: Funciones, Calcula y Grfica.
- Geometra: Al igual que en el caso anterior, el Mathematica es capaz de realizar lo
mismo que otros programas inferiores. Dentro de estos se puede citar el Autosketch
que adems de utilizarse en dibujo tcnico es til para trabajar en los elementos de
la geometra plana.
- Resolucin de problemas: En este caso, los programas traen una gran variedad de
problemas y adems permiten consultar aspectos tericos de los mismos. Existe ya
una gran cantidad de empresas privadas que tratan de sacar al mercado nuevos
productos de este tipo.
2. EVOLUCIN CRONOLGICA DE LOS PAQUETES INFORMTICOS.
La solucin de muchos problemas matemticos no slo requiere clculos
numricos, sino tambin utiliza manipulaciones simblicas y algebraicas. Es necesario
manejar frmulas, y adems los clculos han de hacerse de modo exacto y de acuerdo
con las reglas del lgebra. En estos casos, el anlisis numrico, que aproxima como su
nombre indica, numricamente las soluciones de los problemas, resulta inapropiado. Por
otra parte, es frecuente que en ciertos problemas la solucin terica sea conocida pero
resulte difcil de obtener en la prctica, debido a la complejidad de los clculos
necesarios.
Se puede definir el Clculo Simblico como la parte de la informtica que
disea, analiza, implementa y aplica algoritmos algebraicos. Se caracteriza por realizar
clculos simblicos que representan objetos matemticos sin errores de redondeo o
truncamiento.
Hasta hace poco tiempo, la relacin entre la Informtica y las Matemticas poda
considerarse limitada a una serie de aplicaciones numricas, en el sentido de considerar
los computadores como una herramienta de clculo numrico de gran velocidad, sujeto
a los errores tpicos de truncamiento y redondeo. ltimamente se cuenta con una
coleccin de nuevos sistemas de clculo que no slo permiten manipulacin simblica
de expresiones matemticas, sino que, adems, poseen aritmtica exacta.
Gonzlez, Amo y Garca Sistemas de computacin algebraicos. Evolucin y aplicaciones
5
La idea de utilizar computadores para clculos no numricos es relativamente
antigua, pero el desarrollo de computadores y programas que permitan hacerlo es
bastante reciente. No slo se dispone en estos momentos de programas de clculo
numrico, procesadores de texto, programacin lgica o inteligencia artificial, sino que
se ha ampliado este campo a programas que realizan lo que se viene a llamar
manipulacin algebraica, clculo simblico, algoritmos algebraicos o lgebra
computacional.
A continuacin se presenta un cuadro cronolgico que pretende ayudar a tener
un cierto encuadre histrico de la evolucin y la importancia que desde primeros
tiempos de la informtica tuvieron estos paquetes, as como poner de manifiesto la
proliferacin de este tipo de programas.
FECHA PROGRAMA Evolucion a:
1963 REDUCE REDUCE
1964 ALPAK ALTRAN
1968 ALTRAN
FORMULA (Algol)
FORMAC FORMAC (PL/I)
FORMAC (PL/I)
MATHLAB (DECUS) MACSYMA
CAMAL
REDUCE
1970 MACSYMA VAXIMA, SYMBOLICS
MACSYMA, DOE
MACSYMA, PARAMACS
1971 SCHOONSHIP
1979 MATH DERIVE
1980 VAXIMA
1982 SMP MATHEMATICA
1983 SYMBOLICS MACSYMA
1984 DOE MACSYMA ALJABR
1985 MAPLE
MATHCAD MATHCAD
POWERMATH
1986 REDUCE / PC
1988 DERIVE
MATHEMATICA
THEORIST
PARI
1989 FORM
1989 MACSYMA / PC
Gonzlez, Amo y Garca Sistemas de computacin algebraicos. Evolucin y aplicaciones
6
1991 ALJABR
MATHCAD
SYMBMATH
AXIOM
PARAMACS
1992 SIMATH
3. CAPACIDADES DE LOS SISTEMAS DE CLCULO CIENTFICO.
La rpida evolucin de los sistemas de clculo numrico y simblico primitivos
ha conducido a la aparicin de sistemas de clculo cientfico muy potentes que, en la
actualidad, integran muchas funciones y tareas que ayudan a la resolucin de problemas
matemticos y que, al mismo tiempo, facilitan y hacen ms agradable su utilizacin.
Las caractersticas globales que suelen presentar estos sistemas en la actualidad son:
Clculo Simblico, lo que les permite operar con objetos matemticos, como se hace a
mano, pero con mayor velocidad y fiabilidad. En particular, es posible:
Operar con nmeros enteros, racionales, reales, complejos y algebraicos.
Manipular variables sin que tengan ningn valor asignado.
Operar con polinomios, fracciones algebraicas, series o grupos.
Simplificar y expandir algebraicamente expresiones matemticas.
Factorizar enteros y polinomios.
Resolver ecuaciones y sistemas de ecuaciones, lineales o no.
Calcular lmites, derivadas y primitivas.
Integrar ecuaciones diferenciales.
Operar con vectores y matrices, aplicando los mtodos del lgebra lineal.
Clculo Numrico, lo que permite:
Operar con nmeros decimales.
Incorporar mtodos numricos estndares.
Enlazar las manipulaciones simblicas con las numricas. Por ejemplo, es comn la
capacidad de generar automticamente cdigo FORTRAN o C a partir de las
expresiones obtenidas de modo simblico.
Grficos. En general, es posible:
Representar curvas y superficies en dos y tres dimensiones, definidas explcita o
paramtricamente.
Gonzlez, Amo y Garca Sistemas de computacin algebraicos. Evolucin y aplicaciones
7
Representar curvas y superficies definidas implcitamente.
Programacin matemtica. Se dispone de un lenguaje de alto nivel con el que se
puede implementar nuevos algoritmos y funciones, extendiendo as las posibilidades del
sistema.
Este conjunto de prestaciones hace de los sistemas de clculo cientfico
herramientas muy tiles en la ciencia, la tcnica, la investigacin y otros campos donde
estn transformando radicalmente el uso que hasta ahora se estaba haciendo de los
ordenadores.
4. LOS PAQUETES DE CLCULO MS UTILIZADOS EN LA ACTUALIDAD
A continuacin se ofrece una relacin de los paquetes matemticos de clculo
simblico (y clculo numrico) ms conocidos, que existen en la actualidad en el
mercado, con una pequea descripcin.
Aljabr: Es un paquete de clculo derivado de Macsyma. Puede diferenciar, integrar,
calcular lmites, resolver sistemas de ecuaciones lineales o polinomiales, factorizar
polinomios, expandir funciones en series de Laurent o Taylor, resolver ecuaciones
diferenciales (usando mtodos directos o transformadas), calcular series de Poisson, y
manejar matrices. Permite programacin.
Axiom: Un potente y moderno sistema de propsito general, prototipo de lo que sern
los nuevos Paquetes de Clculo. Comenz a circular a partir de 1990. Es programable,
utiliza un lenguaje que usa conceptos claramente asociados a la programacin orientada
a objetos, categoras, dominios y paquetes, aunque tambin permite programacin
procedural y funcional. Posee ayuda en lnea y la capacidad de manejar objetos grficos
en 2D y 3D. La versin actual es Axiom 2.1.
Calculus Calculator (CC): Una hoja de trabajo matemtico para IBM PC, con
capacidad de realizar grficos.
Cayley: Es un lenguaje de programacin dirigido hacia las matemticas discretas con
un fuerte nfasis en la Teora de Grupos y estructuras algebraicas afines.
Derive: Un programa de manipulacin simblica, que en sus primeras versiones estaba
dirigido por men. Surgi como ampliacin de Math en 1988.
Gonzlez, Amo y Garca Sistemas de computacin algebraicos. Evolucin y aplicaciones
8
Eureka: Se trata de un sistema para resolucin de ecuaciones que permite la ejecucin
de varias ecuaciones simultneamente.
Exploring Small Groups (ESG): Una herramienta de ayuda en el aprendizaje del
lgebra abstracta.
Fermat: Es un paquete de clculo shareware para el clculo polinomial y matricial. Se
puede ejecutar sobre Macintosh y PC.Realiza aritmtica sobre enteros y racionales,
clculo simblico, grficos y otros clculos numricos. Es muy rpido, ocupa muy
pocos recursos y tiene una gran facilidad de uso. La ltima versin es la v2.6.0 . Fermat
es especialmente indicado para: funciones aritmticas racionales y polinomiales; formas
normal, determinante, normal Smith e inversa de matrices con entradas polinomiales
multivariable sobre Z, Q, Zp, cuerpos finitos o ms complejos; matrices dispersas;
polinomios caractersticos.
Fields & Operators: Un programa grfico interactivo diseado para visualizar
superficies, campos vectoriales e integrales de flujo.
Form: Es un paquete de clculo realizado para el manejo de frmulas muy complejas,
lo que lo hace indicado para clculos en lgebras no conmutativas y en fsica de alta
energa. Posee un lenguaje de programacin. La versin actual es Form 2.3.
F(z): Es un programa grfico interactivo para microcomputadoras diseado para ayudar
en el estudio de funciones de variable compleja.
Gauss: Lenguaje de programacin matemtico construido en torno al manejo de objetos
matemticos. El programa tiene numerosas opciones con aplicacin particular a la
Estadstica.
GNU Calc: Entre sus caractersticas de este paquete de clculo destacan precisin
elegida por el usuario, aritmtica entera, real y compleja, funciones cientficas, lgebra y
clculo simblico, matrices, grficas, funciones financieras y facilidad de programacin.
No es tan poderoso como otros CAS de propsito general, como Mathematica, lo que lo
hace conveniente para problemas sencillos debido a su interfaz parecido al de una
calculadora, lo que conlleva una gran facilidad de uso. GNU Calc, y su cdigo fuente,
son de dominio pblico (freeware).
Groups: Es un programa para los ordenadores NeXT, que puede ayudar a los
estudiantes a aprender todo acerca de grupos finitos de orden superior a 20.
Gonzlez, Amo y Garca Sistemas de computacin algebraicos. Evolucin y aplicaciones
9
ISETL (Interactive SET Languaje): Es un lenguaje de ordenador de alto nivel
interpretado, de implementacin interactiva.
Macsyma: Fue la punta de lanza de la potencia de clculo de los programas de clculo
simblico. Hoy en da sigue siendo un potente programa de propsito general, pero con
el inconveniente de que est disponible en pocas plataformas.
Magma: Es un paquete de clculo diseado para solucionar problemas
computacionalmente complicados de lgebra, teora de nmeros, geometra y
combinatoria. Tiene un entorno rigurosamente matemtico. Contiene clases de las 5
ramas principales del lgebra: teora de grupos, teora de anillos, teora de cuerpos,
teora de mdulos y teora de lgebras. Entre sus caractersticas destacan: una filosofa
de diseo algebraica, universalidad, ya que cubre la mayora de ramas del lgebra, teora
de nmeros, geometra algebraica y geometra de extensin finita, integracin y
rendimiento.
Maple: Programa de propsito general que incluye el manejo de clculo simblico.
Desarrollado desde 1980 a 1983, en la Universidad de Waterloo (Canad). El programa
est escrito bsicamente en C.
Matcalc: Paquete de clculo matricial diseado para usar en la enseanza de conceptos
de lgebra lineal bsica, as como de mtodos modernos de computacin en lgebra
lineal y matricial.
MathCad: Supercalculadora, es un tipo de procesador de texto tcnico. La ltima
versin Mathcad 2001. Permite, en un mismo documento, realizar clculos numricos y
simblicos, anotaciones con texto, incluir dibujos, realizar grficos, animaciones, etc.,
as como abrir documentos localizados en Internet. Estas posibilidades los hacen muy
adecuado para la docencia.
Mathematica: Una poderosa herramienta matemtica que incluye grficos, clculo
simblico y clculo numrico, todo ello accesible desde un lenguaje sencillo de
comandos y un lenguaje de programacin, en un entorno grfico. Programa escrito en C
en 1988. Mathematica fue un punto y aparte en el desarrollo del clculo simblico,
posiblemente debido a dos caractersticas singulares, sus amplias posibilidades grficas
y el uso pionero de Internet en su difusin.
Gonzlez, Amo y Garca Sistemas de computacin algebraicos. Evolucin y aplicaciones
10
Math View Professional: Es un paquete de rutinas numricas, tales como sistemas de
problemas algebraicos, races y clculos de ceros, integrales, optimizacin, operadores
de series, etc.
Maxima: Escrito en Lisp por Prof. W. Schelter de la Universidad de Texas, es
ejecutable sobre TI Explorer, MIPS y Sun, entre otras plataformas. Existe una versin
beta para PC. Desciende de Macsyma.
Microcalc: Programa para el aprendizaje y enseanza de clculo.
Milo: Programa de matemticas simblicas y grfico.
Math: Fue el primer sistema de clculo simblico creado especficamente para PC.
Pad: Un sistema de propsito general, bastante difundido.
NetWare: Est diseado para microordenadores IBM y compatibles con recursos
compartidos.
Orbits: Permite al usuario experimentar con sistemas no lineales obtenidos por
iteracin de la funcin f(x)=Ax(1-x), para investigar la rbita x, f(x), f(f(x)),... de un
punto en el intervalo unidad [0 , 1].
PC - Macsyma: Programa interactivo de lgebra Simblica.
PC Matlab: Es un lenguaje basado en matrices para matemticas lineales y es usado
para nmeros reales crticos.
Phase Portraits: Es un programa grfico de ecuaciones para ordenadores Macintosh.
Phaser: Es un animador / simulador para sistemas dinmicos que corren ordenadores
personales IBM y compatibles.
PowerMath II: Es un paquete de clculo para Macintosh.
Punimax: Escrito en Clisp, desciende de Macsyma.
Reduce: Su mbito inicial eran problemas de fsica de alta energa. Fue el primer
programa que evolucion para convertirse en el primer sistema de propsito general.
Scratchpad: Proyecto de lgebra Computacional desarrollada por IBM desde los aos
sesenta.
Scratchpad II: Es un sistema de lgebra por ordenador y un lenguaje de programacin.
SENAC: Es un paquete de clculo de propsito general escrito en LISP y diseado de
forma modular. Est compuesto por los mdulos Sencore (librera base), Senpack
(librera de clculo numrico), Sengraph (librera grfica), Numlink (enlace con la
librera de clculo simblico de NAG), y Graflink (enlace con la librera grfica de
Gonzlez, Amo y Garca Sistemas de computacin algebraicos. Evolucin y aplicaciones
11
NAG). Est soportado por las plataformas PC, estaciones de trabajo Unix , Convex y
Cray.
Smp: En su origen constituy la semilla de Mathematica. Estaba destinado a los fsicos
e ingenieros y fue el primer programa de clculo simblico capaz de ejecutarse en una
gran multitud de sistemas operativos.
Snappea: Unas herramientas para todos los interesados en variedades tridimensionales
hiperblicas o teora de grupos.
Tarskis World: Es un software tutorial escrito para introducir a la lgica de predicados
de primer orden.
Ubasic: Es una versin de Basic de alta precisin y de dominio pblico para PCs
compatibles IBM.
Vaxima: Descendiente de Macsyma, manteniendo las capacidades de aqul, ha sido
implementado para ejecutarse sobre plataformas VAX/UNIX.
Vissim: Herramienta de modelizacin matemtica programable, simula modelos fsicos
reales.
Ciertamente, el nmero de programas que existen en la actualidad es
inmensamente mayor, ya que constantemente aparecen otros nuevos y versiones
actualizadas de los ya existentes.
Tambin se pueden encontrar programas ms sencillos que se adecuan a las
necesidades bsicas y habituales de los estudiantes. En su mayora son programas
matemticos cuyo funcionamiento es lo ms parecido a una calculadora avanzada.
Entre ellos podemos destacar los siguientes:
Bravo: Potente calculadora cientfica capaz de realizar de forma sencilla funciones
trigonomtricas. Puede realizar clculos de nmeros complejos as como vectoriales y
adems es capaz de convertir hasta en 112 medidas. Soporta los idiomas ingls, alemn,
espaol e italiano.
Euclides: Programa de Geometra que permite representar todo tipo de figuras con un
solo clic, trasladarlas, transformarlas e imprimir a cualquier tamao. Especialmente
indicado para la enseanza y aprendizaje de la geometra.
SunCalculator: Es un programa de clculo mejorado con funciones de evaluacin
integradas y editor de texto. Entre todas las funciones que se incluyen, existe la
Gonzlez, Amo y Garca Sistemas de computacin algebraicos. Evolucin y aplicaciones
12
posibilidad de modificar los clculos bsicos y trigonomtricos, disponer de mltiples
funciones en el mismo grfico y guardar dibujos de formato BMP y WMF.
Calculac: Contiene prcticamente todas las funciones de una calculadora cientfica real
en tu PC. Puede realizar clculos de senos, cosenos, tangentes, nmeros aleatorios,
grados, etc. Dispone de una opcin para utilizarla como una calculadora estndar.
EinSTein: Calculadora cientfica muy completa. Tiene funciones matemticas,
trigonomtricas, financieras e incluso un calendario. Soporta distintos idiomas entre los
que estn ingles, alemn, italiano y espaol.
PmaCalc: Es una calculadora cientfica y un conversor de euros. Permite realizar
operaciones estndar, usar funciones trigonomtricas, utilizar su memoria para sumar y
hacer promedios, realizar operaciones boolerianas.
5. TENDENCIA DE LAS TCNICAS DOCENTES DE MATEMTICAS EN
LAS FACULTADES DE ECONMICAS Y EMPRESARIALES.
Actualmente se han ampliado los mtodos de docencia de las asignaturas de
matemticas. El uso de las herramientas que nos proporcionan los programas de
clculo simblico (para la manipulacin y solucin de expresiones algebraicas
(ecuaciones)), llevar al desuso algunas tcnicas de manipulacin algebraicas en papel y
lpiz. Por tanto, con estos paquetes de clculo simblico se ganar un tiempo adicional
en el aula para dedicarlo a innovaciones, lo que requerir un cambio en los programas
de estudio.
Antes de la aparicin de la tecnologa computacional, el 85% del plan de
estudios de matemticas consista en cmputo en papel y lpiz (que involucra el proceso
algebraico y analtico de las matemticas, incluso las manipulaciones simblicas
comunes del lgebra y el clculo). Para poner en prctica la utilizacin de los
paquetes de clculo se necesitar un moderno y equilibrado plan de estudios en el que la
resolucin de problemas y la demostracin (o dar argumentos convincentes) jueguen un
papel ms importante, y el cmputo con papel y lpiz ocupen una porcin ms pequea
de tiempo.
El resultado del uso de la tecnologa para realizar las operaciones ms sencillas
pretende conseguir una mayor habilidad mental de los estudiantes ya que necesitarn
interpretar la racionalidad de los resultados obtenidos con la tecnologa ( ya que la
Gonzlez, Amo y Garca Sistemas de computacin algebraicos. Evolucin y aplicaciones
13
tecnologa no es matemtica, sino que proporciona las mejores herramientas para
hacer algunas manipulaciones matemticas).
De los programas relacionados en el apartado anterior, los ms utilizados en las
Facultades de Econmicas y Empresariales (asignaturas de matemticas) son:
Matemtica, Derive, Maple y Mathlab. Los tres primeros pueden empezar a utilizarse
incluso en el bachillerato, aunque son perfectamente vlidos para licenciatura y
doctorado. El ltimo de ellos es algo ms complicado por lo que sera recomendable un
nivel mnimo de licenciatura para su uso.
6. BIBLIOGRAFA
- Almerich, A.: Comparativa de sistemas de clculo simblico para 57 problemas
algebraicos. Proyecto fin de carrera. Facultad de Informtica. Universidad
Politcnica de Valencia.
- Barry, S.: (1990) Four Computer Mathematical Environments. Notices of
American Mathematical Society, Vol. 37, Num. 7.
- Bernardin, L.: (1999) A Review of Simbolic Solvers .In Computer Algebra
Systems: A Practical Guide, ed. Michael Wester, Wiley,
- Castillo, E.; Iglesias, A.; Gutirrez, J.M.; Alvarez, E.; Cobo, A: (1993).
Matemtica. Ed. Paraninfo.
- Coppen, H.: (1978). Instruccin didctica de los medios audiovisuales Ed. Anaya.
Madrid.
- Corless, R.M.: (1995). Lecture Notes for Math 498/990
- Emmerson Quinn, S.: (1990) Index of Review of symbolic Software.Notices of
American Mathematica Society.
- Evans, B.: (1992) .History of CA Systems. Article 3767 of Sci.math.symbolic.
- Evans, B: (1990).Uses of Technoligy in the Mathematics Curriculum, Cipher
Systems.
- Fateman, R.J.: (1996) .Why Computer Algebra Systems Sometimes Cant Solve
Simple Equations. Notices of American Mathematical Society.
- Garca, A: Prcticas de matemticas con Derive, Editorial GLAGSA. Madrid.
- Garca,A: (1994).Enseanza experimental de las matemticas, Epsilon .Pg.91-92.
Gonzlez, Amo y Garca Sistemas de computacin algebraicos. Evolucin y aplicaciones
14
- Gonzlez Enrquez, J.J.: (1998).Experimentos en lgebra lineal en mathematica.
Suma. Revista sobre la enseanza y aprendizaje de las matemticas. N. 27.
- Hofstadter. D.R.: (1987) Gdel, Escher, Bach, un eterno y grcil bucle.Tusquets
Ediciones. Barcelona.
- Simon, B.: (1992) Comparative CAS Review. Notices of the American
Mathematical Society, Vol. 39, N 7.
- Wester,M: (1994). A Review of CAS Mathematical Capabilities
http://math.unm.edu/wester/cas_review.html
- Wester,M: (1994). A Review of CAS Mathematical Capabilities. Computer
Algebra Nederland Nieuwbrief, number 13.
- Wolffram, S.: (1993). Mathematica. A System for Doing Mathematics by Computer.
Editorial Addison-Wesley.
- Wolfram, S. : (1998). The Mathematica book Fourth Edition Wolfram Media, Inc.