Software matematico

Lista di programmi freeware per la matematica

In questa pagina ho raccolto i link da cui scaricare alcuni software matematici freeware o anche open source. Li ho classificati in alcune categorie. Ecco l'indice:


Calcolatrici

Calculait 3.37 - http://www.simtel.net/pub/pd/55080.html
Calculait è una piccola calcolatrice che esegue (oltre alle operazioni che normalmente ci si aspetta da una buona calcolatrice) due tipi di operazione che trovo interessanti: genera numeri interi "casuali" in un intervallo dato e fa le operazioni con le date. Trovo che l'interfaccia sia un difetto perché è un po' bizzarra, ma soprattutto la procedura di installazione si comporta in modo strano (non crea un collegamento all'eseguibile da nessuna parte, e bisogna farlo manualmente). Il file ZIP occupa 370 Kb e il programma occupa 510 Kb sul disco.
Una cosa interessante è il linguaggio con cui è stato realizzato:

Calculait 3.37 was written in Rapid-Q (beta), a freeware compiler developed by
William Yu. You can download it at www.basicguru.com/abc/rapidq.

Calc98 - http://www.calculator.org/
Una calcolatrice scientifica per Windows. Ha un aspetto professionale.

PasMath - http://it.geocities.com/povigna/computer/pasmath.htm
Un risolutore di espressioni numeriche che visualizza tutti i passaggi per arrivare al risultato. Il programma è basato su una mia idea e scritto in Pascal. Si tratta anche di software Open Source.

Free42 - http://home.planet.nl/~demun000/thomas_projects/free42/
An HP-42S Calculator Simulator

Calcolatrici grafiche

Le calcolatrici grafiche non devono essere confuse con i programmi per fare geometria. Il Mac OS aveva un programma di questo tipo (IL MIO COMPUTER, Luglio 1997, pag.126, una rivista che ogni tanto leggevo, ma era adatta soprattutto ai principianti). Una calcolatrice grafica serve per visualizzare il grafico di una funzione.

FNGraph - http://www.ournet.md/~fngraph/
Ho scoperto questo programma a scuola, installato sui computer nel mio Liceo. Poi ho visto anche un breve commento su PC Professionale, ma non mi sembra la soluzione ideale come programma per ottenere il grafico di una funzione.

GraphCalc 4.0.1 - http://www.graphcalc.com
Programma distribuito con la licenza GPL. Fa anche i grafici tridimensionali. Scelta consigliata

Analysis 2.3 - http://www.geocities.com/SiliconValley/Hills/3824/index_it.html
Programma scritto da un programmatore italiano. Grafici 2d e 3d. Con codice sorgente.

Geometria

Questi programmi servono per disegnare figure geometriche e modificarle per esempio trascinando i punti con il mouse. Si possono usare per fare le costruzioni delle dimostrazioni elementari di Euclide, o per costruire altre curve, come epicicloidi, cardioidi o spirali:

Inoltre, alcuni di questi programmi sono scritti in Java, e perciò funzionano anche sotto Mac OS X.

Eukleides - http://perso.orange.fr/obrecht/ or http://www.eukleides.org/
Eukleides è un linguaggio che permette il typesetting di figure geometriche da includere in documenti TeX e LaTeX.

Dr. Geo - http://ofset.sourceforge.net/drgeo/

Geogebra - http://www.geogebra.at/

Funziona anche con Mac OS X!

GeoNext - http://geonext.uni-bayreuth.de/

Funziona anche con Mac OS X!

C.a.R. - http://mathsrv.ku-eichstaett.de/MGF/homes/grothmann/java/zirkel/doc_en/index.html

GeoLabo - http://www.bibmath.net/geolabo

Declic - http://emmanuel.ostenne.free.fr/declic

Calcolo simbolico

Alged 3.5 - http://www.simtel.net/product.php[id]25110[sekid]0[SiteID]simtel.net
Un editor algebrico. Interfaccia DOS, molto scomoda per chi è abituato ad usare solo applicazioni per Windows (o comunque le moderne interfacce grafiche). Si lavora soprattutto via tastiera, ma anche via mouse. Visualizza anche grafici 2d e 3d.

Axiom - http://savannah.nongnu.org/projects/axiom
La home page dice che "è particolarmente utile per la ricerca matematica e per lo sviluppo di algoritmi matematici".

Maxima - http://maxima.sourceforge.net/index.shtml
Maxima deriva da Macsyma (anche se non ho idea del preciso rapporto di parentela fra i due), un programma che pare aver ispirato Maple e Mathematica.

Yacas - http://www.xs4all.nl/~apinkus/yacas.html
Yet Another Computer Algebra System. La mailing list su Yahoo Groups è infestata di spam, ma il programma è molto efficace.

GAP - http://www-history.mcs.st-and.ac.uk/~gap/
GAP (Groups, Algorithms, Programming, a System for Computational Discrete Algebra) è un programmone decisamente grande, di circa 300 Mb.

HartMath - http://freshmeat.net/projects/hartmath/
Un programma in Java. Dopo cinque anni e mezzo di sviluppo, ormai sembra completo ed affidabile.

CoCoa - http://cocoa.dima.unige.it/
Un programma di calcolo simbolico sviluppato all'Università di Genova.

Software programmabili

UBASIC - http://www.simtel.net/category.php[id]299[SiteID]simtel.net
La "U" significa "Ultra-High Precision". Questo è un interprete BASIC molto veloce ottimizzato per i calcoli numerici.

CMAP - http://groups.yahoo.com/group/cmap/
CMAP sta per C-Based Mathematical Application Programming (environment). Si tratta di un ambiente per scrivere programmi matematici in una specie di linguaggio C. Ci sono dei file PDF che costituiscono anche una introduzione alla programmazione.

Cloni di MATLAB - http://www.dspguru.com/sw/opendsp/mathclo2.htm

Questi sono programmi di calcolo per lo più numerico che utilizzano una sintassi simile a quella del programma commerciale (costoso) MATLAB.

Frattali

Fractint for Windows - http://spanky.triumf.ca/www/fractint/getting.html
Programma per creare frattali. Molto decorativo.

Chaos Pro - http://www.chaospro.de
Un altro programma per i frattali, che offre molte scelte.

Videoscrittura matematica

Anche se è fuori luogo in questa pagina, voglio evidenziare l'esistenza del LaTeX Equation Editor per Mac OS X - http://www.apple.com/downloads/macosx/math_science/latexequationeditor.html.

OpenOffice.org - http://www.openoffice.org
Suite di applicazioni per l'ufficio che contiene un buon editor di equazioni.

Hermitech Formulator - http://www.freedownloadscenter.com/Business/Document_Management_Tools/Hermitech_Formulator.html
Un download pesante.

GNU TeXmacs - http://www.texmacs.org/




Amaya - http://www.w3.org/Amaya/
Amaya è un browser/editor HTML che permette di produrre e visualizzare anche il MathML.

Typesetting

MiKTeX - http://www.miktex.org/
MiKTeX è un sistema di typesetting per Windows basato sul TeX (vale a dire, una "distribuzione TeX").

Proof editor

Questi programmi servono come aiuto per scrivere dimostrazioni formali corrette.

JAPE - http://www.jape.org.uk/
JAPE è un framework dentro al quale si possono implementare varie logiche. Si tratta di uno strumento molto flessibile.

JAPE: http://users.comlab.ox.ac.uk/bernard.sufrin/jape.html
DC Proof: http://www.dcproof.com/
Plato: http://www.utexas.edu/courses/plato/
Altri: http://www.cs.otago.ac.nz/staffpriv/hans/logiccourseware.html

Software per la statistica

Questi programmi servono per analizzare i dati.

R - http://www.r-project.org/
R è "GNU S"

Calcolo agli elementi finiti

Questi programmi servono per risolvere problemi agli elementi finiti.

FElt - http://felt.sourceforge.net/
FElt è un sistema open source per il FEM.

Software didattico

http://www.dienneti.it/matematica/software_5.htm - ringrazio Dienneti per avermi informato della variazione di questa URL e per avermi chiamato "spettabile redazione" :-)
http://www.ciram.unibo.it/~barozzi/www_did.html


Ecco una pagina simile a questa ma più complicata: http://www.maths.dundee.ac.uk/software/.

Ed ecco un'altra pagina molto simile a questa: http://freestatistics.altervista.org/it/mat.php.

Vedete anche:

  1. http://core-n02.dmoz.aol.com:30080/World/Italiano/Computer/Software/Freeware/.
  2. http://www.matematicamente.it/links/software.htm
  3. http://www.math.it/bookmark.htm
  4. http://digilander.iol.it/nfragale/metodi/introduzione.html
  5. http://users.libero.it/prof.lazzarini/voce03.htm

http://www.zeroprogramas.com/subcategoria.asp?subcat=264&pagina=6&orden=nombre

http://www.download-free.programas-gratis.net/php/subcategories.php?id_subcategoria=129&ordenar=free&pagina=5


Michele Povigna
Tornate alla home page
Potete contattarmi via e-mail a: [email protected]

Hosted by www.Geocities.ws

1