Prof Marcelo Carlos Gimenes Pesquisa de softwares matemticos

Listagem de softwares matemticos ou aplicveis

N Ttulo Site Situao Tipo Idioma
01 Cabri www.cabri.com.br Comercial (Pago) Geometria Portugus
Gomtre II dinmica
02 Cinderella http://cinderella.lmc.fc.ul.pt Comercial (Pago) Geometria Portugus
http://www.cinderella.de/en/home/index.html dinmica
03 Derive http://www.derive-europe.com/main.asp Comercial (Pago) Algbrico Ingls
http://www.casshop.de/
04 Isetl http://www.ilstu.edu/~jfcottr/isetl Livre (Gratuto) Linguagem Ingls
http://csis03.muc.edu/isetlw/about.htm interativa
05 Maple http://www.maplesoft.com Comercial (Pago) Algbrico Ingls
http://www.quarks.com.br
06 MathCad http://bluehawk.monmouth.edu/~tzielins/mathcad/tjz/do Comercial (Pago) Algbrico Ingls
c001.htm

07 Mathematica http://www.wri.com Comercial (Pago) Algbrico Ingls

http://www.wolfram.com
08 MatLab http://www.mathworks.com Comercial (Pago) lgebra linear Ingls
http://www.downseek.com/download/21231.asp

09 MuPAD http://www.mupad.de/ Comercial (Pago) Algbrico Ingls

http://www.mupad.com
10 The http://www.keypress.com/catalog/products/software/Prod Comercial (Pago) Geometria Ingls
Geometer's _GSP.html dinmica
Sketchpad http://www.cl-gaia.rcts.pt/matematica/geometer.htm

11 WinMat http://math.exeter.edu/rparris/default.html Livre (Gratuito) lgebra linear Ingls

12 WinPlot http://math.exeter.edu/rparris/winplot.html Livre (Gratuito) Construo Ingls e
http://math.exeter.edu/rparris/default.html grfica Portugus
http://www.gregosetroianos.mat.br/softwinplot.asp
13 MS-Excel http://www.microsoft.com Comercial (Pago) Ferramenta Portugus
http://digilander.libero.it/enzomrd/matexcel.htm

14 Geoplan: http://www.mat.ufrgs.br/~edumatec/software/softw.htm Comercial (Pago) Geometria Ingls

GIMENES, M. C. Proposta de Capacitao em Grupos de Estudos para professores em Informtica Educacional na rea da
Matemtica Dissertao de Mestrado, Palmas-PR: 2004
Prof Marcelo Carlos Gimenes Pesquisa de softwares matemticos

http://www2.cnam.fr/creem/GeoplanW/geoplanw.htm dinmica
15 Geospace: http://www.mat.ufrgs.br/~edumatec/software/softw.htm Comercial (Pago) Geometria Ingls
http://www2.cnam.fr/creem/GeospacW/geospacw.htm dinmica
16 Graphmatica: http://www8.pair.com/ksoft/index.html Livre (Gratuito) Grfico Ingls
http://www.mat.ufrgs.br/~edumatec/software/softw.htm
17 Linguagem http://www.nied.unicamp.br/publicacoes/pub.php? Livre (Gratuito) Linguagem de Portugus
LOGO: classe=software Programao
SuperLOGO http://www.mat.ufrgs.br/~edumatec/software/softw.htm
http://www.papert.org/
http://www.comp.ufla.br/~kacilene/infoeduc/links.html
18 Geometria http://www.mat.ufrgs.br/~edumatec/software/softw.htm Livre (Gratuito) Geometria Ingls
Descritiva dinmica
19 CurveExpert: http://www.mat.ufrgs.br/~edumatec/software/softw.htm Livre (Gratuito) Grfico Ingls
19 Poly: http://www.peda.com/poly/ Livre (Gratuito) Planificao Ingls
http://www.mat.ufrgs.br/~edumatec/software/softw.htm de Poliedros
21 Jogos (vrios) http://www.mat.ufrgs.br/~edumatec/software/softw.htm

Resumo dos softwares:

Cabri Gomtre II: um software que permite construir todas as figuras da geometria elementar que podem ser traadas
com a ajuda de uma rgua e de um compasso. Uma vez construdas, as figuras podem ser movimentadas conservando as
propriedades que lhes haviam sido atribudas. Essa possibilidade de deformao permite o acesso rpido e contnuo a todos os
casos, constituindo-se numa ferramenta rica de validao experimental de fatos geomtricos. Ele tem outros aspectos que vo
muito alm da manipulao dinmica e imediata das figuras.

Cinderella: um software de construo em geometria. Semelhante ao Cabri e Sketchpad, foi projetado para ser
matematicamente robusto e fcil de usar. Um diferencial deste software que permite trabalhar tambm em geometria
hiperblica e esfrica. E mais: tem a opo de salvar como pgina da web automaticamente. O Cinderella pode ser instalado
em Windows, em MacOS, e em Linux.

Derive 6: um poderoso sistema para fazer matemtica simblica e numrica a partir do computador pessoal. Processa
variveis algbricas, expresses, equaes, funes, vetores, matrizes e expresses booleanas. Os problemas nos campos da
aritmtica, da lgebra, da trigonometria, do clculo, da lgebra linear podem ser resolvidos com o clique do mouse. Faa

GIMENES, M. C. Proposta de Capacitao em Grupos de Estudos para professores em Informtica Educacional na rea da
Matemtica Dissertao de Mestrado, Palmas-PR: 2004
Prof Marcelo Carlos Gimenes Pesquisa de softwares matemticos

grficos das expresses matemticas em duas e trs dimenses usando vrios sistemas de coordenadas. Derive uma
excelente ferramenta para aprender, ensinar e fazer matemtica.

ISETL: uma linguagem interativa desenvolvida para a matemtica. uma linguagem de programao matemtica cuja
sintaxe se aproxima do simbolismo matemtico. O programa livre (freeware).

Maple 9 um poderoso sistema de computao algbrica, que proporciona um completo ambiente matemtico para a
manipulao de expresses algbricas, simblicas, preciso numrica arbitrria, grficos em 2D e 3D e programao. O Maple
9 inclui mais de 3000 funes computacionais para matemtica simblica e numrica. Podem ser desenvolvidas atividades nas
reas da lgebra, clculo, equaes diferenciais, lgebra linear, lgebra linear modular, clculo de vetores e diversos outras
reas.

MathCAD: Programa comercial produzido pela MathSoft, Inc. Oferece uma grande capacidade de clculo numrico e analtico
e criao de grficos, integrando a possibilidade de publicar os seus resultados na Internet atravs da utilizao do
Internet Explorer da Microsoft. Existe um MathCAD Collaboratory onde so colocadas disposio vrias
contribuies de utilizadores do programa. A MathSoft, Inc. disponibiliza uma verso exploratria do MathCAD. O
MathCAD apenas existe para computadores com Windows 95 ou superior. Mathcad 2001 Com mais de 1.5 milhes de
usurios em todo o mundo, Mathcad o pacote padro para profissionais tcnicos e toda a comunidade acadmica.
Mathcad 2001 a ferramenta mais poderosa para aplicaes matemticas. capaz de rapidez e preciso incrvel,
fornecendo solues atravs das disciplinas de engenharia. O Mathcad um software matemtico, para a realizao de
clculos tcnicos e grficos em duas e trs dimenses, alm de animaes grficas. Trabalha com a notao da prpria
matemtica, no requerendo do usurio aprendizado demorado para o incio da utilizao.

Mathematica: Programa comercial produzido por Wolfram Research, Inc. Este programa foi originalmente desenhado para
executar todo o tipo de tarefas correntes na atividade matemtica que pudessem ser executadas por um computador. As
tarefas que este programa capaz de desempenhar dividem-se essencialmente em 4 categorias: manipulao simblica,
clculo numrico, grficos e programao. A partir da verso 3.0 inclui-se nas capacidades do programa a manipulao de
ficheiros tornando o processo de programao mais natural. Existem verses deste programa para os principais sistemas
operacionais existentes no mercado.

MATLAB (MATrix LABoratory): Programa comercial produzido por Mathworks. Inc. MATLAB fornece uma ferramenta para
manipulao simblica, clculo numrico, criao e visualizao de grficos (incluindo o formato PNG) e uma linguagem de
programao de alto nvel. Vrios exemplos de utilizao esto disponveis bem como algumas demonstraes das
potencialidades do MATLAB em diversos modelos. Existem verses para diversas plataformas. O MATLAB um software

GIMENES, M. C. Proposta de Capacitao em Grupos de Estudos para professores em Informtica Educacional na rea da
Matemtica Dissertao de Mestrado, Palmas-PR: 2004
Prof Marcelo Carlos Gimenes Pesquisa de softwares matemticos

destinado a fazer clculos com matrizes. Os comandos do MATLAB so muito prximos da forma como escrevemos expresses
algbricas, tornando mais simples o seu uso. Podem ser incorporados s rotinas pr-definidas, pacotes para clculos
especficos. Escrevemos um pacote chamado gaal com funes que so direcionadas para este curso.

MINITAB: Oferece ferramentas exatas e fceis de usar para melhoria da qualidade e estatstica geral. MINITAB usado por
muitas empresas internacionais, incluindo General Electric, Ford Motor Company, General Motors, 3M, Honeywell Internacional,
LG, Toshiba, Nokia e pelos principais consultores Six Sigma. O MINITAB, por ser o pacote mais avanado para introduo
educao de estatstica, usado por mais de 4000 faculdades e universidades . A Minitab tem sua sede em State College,
Pensilvnia, USA; escritrios no Reino Unido e Frana e distribuidores no mundo inteiro.

MuPAD (Multi Processing Algebra Data tool) um software desenvolvido pelo MuPAD Research Group sob a orientao do
Prof. B. Fuchssteiner na Universidade de Paderborn (Germany). MuPAD oferece um sistema algbrico para clculo simblico e
numrico. Os usurios podem desenvolver as suas prprias rotinas e ligar mdulos escritos em C/C++ por forma a aumentar a
flexibilidade e rapidez de execuo. Para testar a utilizao do MuPAD est disponvel uma sesso on-line. Esto disponveis,
atravs da SciFace, vrios tipos de licena de utilizao: alguns pagos, outros com preos reduzido e ainda, essencialmente
para utilizadores individuais, licenas gratuitas. Existem verses para plataformas baseadas em Windows, Linux, MacIntosh,
Solares e SunOS.

The Geometer's Sketchpad: Software de construo em geometria desenvolvido por N. Jackiw e S.Steketee comercializado
por Key Curriculum Press. um software de construo que nos oferece rgua e compasso eletrnicos, sendo a interface de
menus de construo em linguagem clssica da Geometria. Os desenhos de objetos geomtricos so feitos a partir das
propriedades que os definem e mantm estabilidade sob o movimento. possvel converter seus arquivos em linguagem java,
de maneira que sejam disponibilizados na rede.

WinMat: permite que o usurio calcule e edite matrizes. Resolve problemas lineares padres da lgebra. O programa opera-se
na modalidade real, complexa, e do inteiro. Este um programa do projeto PEANUT SOFTWARE.

WinPlot: Este um sistema grfico para desenhar funes em 2D e 3D, incluindo clculo diferencial e integral.
Este um programa do projeto PEANUT SOFTWARE.

Geoplan: (WINDOWS) software de construo em geometria que trabalha os conceitos analticos da geometria em um
sistema de coordenadas cartesianas. Desenvolvido pelo Centre de Recherche et d'Exprimentation pour l'Ensignement des
Mathmatiques (CREEM).
GIMENES, M. C. Proposta de Capacitao em Grupos de Estudos para professores em Informtica Educacional na rea da
Matemtica Dissertao de Mestrado, Palmas-PR: 2004
Prof Marcelo Carlos Gimenes Pesquisa de softwares matemticos

Geospace: (WINDOWS) software de construo e explorao em geometria que trabalha os conceitos espaciais. Desenvolvido
pelo Centre de Recherche et d'Exprimentation pour l'Ensignement des Mathmatiques (CREEM).

MS-Excel: Planilha eletrnica da Microsoft que mesmo sendo um programa comercial pode ser aplicado ao ensino da
matemtica. uma ferramenta bastante ampla, podendo-se configurar planilhas nas reas da trigonometria, lgebra,
matemtica financeira e estatstica. Ativando o pacote estatstico por meio do menu ferramentas / suplementos / ferramentas
de anlise e ferramentas de anlise VBA, vrios recursos sero disponibilizados para tratamento de dados estatsticos.

Graphmatica: (WINDOWS) software que permite a construo grfica a partir de funes elementares. Possui ainda a opo
de se trabalhar em coordenadas polares, cartesianas e em escalas logartmicas. uma criao de K. Hertzer.

Linguagem LOGO: SuperLOGO: A linguagem LOGO foi desenvolvida na dcada de 60 no MIT (Massachusetts Institute of
Technology, em Bostan) por Seymour Papert, um matemtico que j havia trabalhado com Piaget em Genebra (Suia), veio
para os Estados Unidos onde, juntamente com Marvin Minsky, fundou o Laboratrio de Inteligncia Artificial do MIT

Tangram: (WINDOWS) permite que se construa uma grande variedade de figuras a partir das sete peas do tangram. As
peas podem ser rotadas, refletidas, giradas, transladadas, etc.

Geometria Descritiva: (DOS) software de construo em geometria descritiva, que trabalha em um sistema projetivo; em
3D. Produzido por V.Teodoro e F.Clrigo, da Universidade Nova de Lisboa.

Poly: (WINDOWS) uma criao Pedagoguery Software, que permite a investigao de slidos tridimensionalmente (com
possibilidade de movimento), dimensionalmente (planificao) e de vista topolgica. Possui uma grande coleo de slidos,
platnicos e arquimedianos entre outros.

CurveExpert: (Windows) software que ajusta curvas em conjunto de pontos no plano (por exemplo, coleta de dados
numricos), via modelos de regresso -linear e no-linear- e diferentes interpolaes.

Recreativos ( jogos e outros):

GIMENES, M. C. Proposta de Capacitao em Grupos de Estudos para professores em Informtica Educacional na rea da
Matemtica Dissertao de Mestrado, Palmas-PR: 2004
Prof Marcelo Carlos Gimenes Pesquisa de softwares matemticos

Torre de Hanoi: (DOS) jogo de origem asitica, que permite que o jogador desenvolva o raciocnio e crie estratgias para
resolver problemas.

OOG - Object Orientation Game: (WINDOWS) a partir da manipulao de peas de tangrans, pentomins, hexagons e
poligomins, permite que se construa uma grande variedade de figuras. As peas podem ser rotadas, refletidas e
transladadas.

Winarc: (WINDOWS) possui uma variedade de jogos entre eles, resta um, labirinto fantasma, hex, cubo mgico,etc.

Tess: (WINDOWS) permite que se crie ilustraes a partir de princpios de rotao, reflexo e translao.

Polytris: (WINDOWS) jogo tetris.

impossvel, e nem inteno deste trabalho esgotar a pesquisa sobre os softwares matemticos. Existem e surgiro muitos
outros. necessria a anlise destes e outros softwares verificando suas aplicabilidades no ensino e na pesquisa da
matemtica. Lembrando que mais importante do que o software sero as pessoas que o utilizam: professores e alunos.

Outros softwares que merecem uma minuciosa anlise esto disponveis nos sites:

http://www.mat.ufrgs.br/~edumatec/software/softw.htm
http://www.math.psu.edu/MathLists/Software.html
http://www.ufv.br/dma/intermat/Softwares/softwares_matematicos.htm
http://www.somatematica.com.br/softwares.phtml
http://www.mat.uc.pt/~jaimecs/indexem13.html#Heading6
http://www.redemattic.com/downloads.html

GIMENES, M. C. Proposta de Capacitao em Grupos de Estudos para professores em Informtica Educacional na rea da
Matemtica Dissertao de Mestrado, Palmas-PR: 2004
Prof Marcelo Carlos Gimenes Pesquisa de softwares matemticos

Descrevo, a seguir, um roteiro para pesquisa (busca) de softwares matemticos na web:

1. Pesquisar: dispondo de Internet, o usurio poder acessar diversos sites de vrios softwares pelo mundo, ou ainda, sites
com listas de softwares disponveis. Sugesto: utilizar sites de busca: google, altavista, etc.

2. Download: o usurio precisa estar preocupado com a situao do software. Caso seja freeware (livre) poder baixar,
instalar e utilizar. Porm, quando o software comercializado, dever baixar verso demo (livre mas incompleta) ou trial
(livre mas temporria). Posteriormente, havendo interesse poder optar pela aquisio com licena.

3. Anlise 1: o software dever ser analisado sobre vrios aspectos tcnicos: facilidade de uso, aspectos grficos e sonoros,
possibilidade de utilizao do mouse e/ou teclado, disponibilidade para diferentes sistemas operacionais (Windows, Linux,
MacOS, etc). Sugesto: utilizar textos de classificao de software.
(http://www.portugaljovem.net/mariolima/educacao/referencias/mat_cur/computadores.doc e
www.mat.uc.pt/~jaimecs/nonius/nonius11_2.html )

4. Anlise 2: devero ser analisados tambm sobre os aspectos: metodolgicos, pedaggicos, matemticos, etc.

5. Utilizao: na pesquisa e aplicao no ensino e aprendizagem. O professor no precisa se tornar expert no software para
s ento utilizar com os alunos, pois se assim fosse, nunca o faria. Porm preciso uma mnima familiarizao e
determinao de objetivos a serem alcanados com a utilizao do mesmo. Dever haver uma parceria entre professores e
alunos para alcanar bons resultados em fazer matemtica com softwares.

GIMENES, M. C. Proposta de Capacitao em Grupos de Estudos para professores em Informtica Educacional na rea da
Matemtica Dissertao de Mestrado, Palmas-PR: 2004