Programy matematyczne
Linki do stron z programami:
- Math WWW VL: Software [FSU Math]
- GAMS : Guide to Available Mathematical Software
- SAL - Mathematics - Computer Algebra
Systems
Dla matematyków:
- APECS - kalkulator krzywych eliptycznych
Iana Connella
- ARIBAS -
interaktywny interpretator dla arytmetyki dużych liczb całkowitych i zmiennoprzecinkowych o
wysokiej dokładności; składnia podobna do Pascala/Moduli.
- Arithmetica: Encryption via arithmetical
algebraic geometry
- CAGE
project, Universität des Saarlandes. CAGE znaczy `Classes for Algebraic Geometry and
Ellliptic Curves'.
- CALC - kalkulator do teorii
liczb Keitha Matthewsa
- CLINT - Hugh Montgomery's
Computational Laboratories in Number Theory
- CLN package - Bruno Haible
- Congruence Zeta Function
Calculator (Hiroyuki Ogawa) - online i do ściągnięcia.
- Curves of Genus 2 ftp site (Victor Flynn)
- The ECMNET Project:
Programy do znajdowania mających 50 i więcej cyfr dzielnikow dużych liczb
- GAP - nazwa
jest skrótem od Groups, Algorithms, Programming; bezpłatny system programów do matematyki
dyskretnej i algebry; zorientowany na UNIX, skompilowany pod Windows traci niektóre możliwości.
Inne serwery:
Opis, system, rozszerzenia, GAP forum. Dostępny również przez anonymous ftp:
- GP-PARI - superkalkulator programowalny pod DOS - liczy nawet na krzywych
eliptycznych i w ciałach liczb algebraicznych; liczy wszystko, co da się policzyć, z dowolną
dokładnością. Ostatnia wersja 2.17 może pracować w oknie DOS pod Windows 95/98, ale bez
możliwości edycji linii poleceń.
- HartMath
HartMath to komputerowy system algebraiczny napisany w Java 1.1. Wszystkie funkcje
matematyczne również napisano w Java. Użyteczność matematyczna HartMath jest
zbliżona do użyteczności Yacas. Obliczenia z dużymi liczbami naturalnymi,
symboliczne obliczanie pochodnych, algebra liniowa, wykresy na płaszczyźnie,
obliczenia numeryczne, redukcja wyrażeń podobnych, programowanie funkcji.
Zaimplementowany na EPOC32 (tzn. Psion 5mx z maszyną wirtualną Java).
- HECKE, A Modular
Forms Calculator (William Stein) HECKE jest programem do obliczeń z formmami modularnymi
za pomocą symboli modularnych. M.in. operatory Hecke i szczególne wartości L-funkcji. Wersje
MAGMA i C++.
- JACAL home page -
JACAL to interaktywny
program do obliczeń symbolicznych. JACAL umie przekształcać i upraszczać równania,
manipulować skalarami, wektorami i macierzami, których elementami są wyrażenia
algebraiczne zbudowane ze stałych liczbowych, zmiennych, pierwiastków i
pochodnych. Napisany w Scheme, ogólna licencja GNU.
- KASH-K4 - oparty na
GAP program do obliczeń z algebry i teorii liczb opracowany przez
grupę KANT (Computational Algebraic Number
Theory, Michael Pohst: Technisches Universität Berlin); anonymous ftp:
ftp.math.tu-berlin.de/pub/algebra/Kant/Kash/
- Macauley2 - program do obliczeń związanych z
geometrią algebraiczną. Dostępny również przez ftp:
ftp.math.uiuc.edu user name
Macaulay2 password Macaulay2.
- MACSYMA - szumnie reklamowany
przez producenta jako zamiennik dla Mathematica,
Maple, Derive,
MuPad, Axiom i Matlab.
- MAGMA (John
Cannon: University of Sydney) Magma stosuje idee programowania objektowego w algebrze
uniwersalnej i teorii kategorii.
- Waterloo Maple Porównywalny
z Mathematica program do obliczeń symbolicznych. Aktualny
produkt komercyjny - Maple 6M.
- Eric Weisstein's World of Mathematics -
Mathematica, jeden z lepszych programów do obliczeń
symboliczych.
- Matlab - The MathWorks - Product Page
- Maxima - klon Macsyma,
całkowicie na warunkach ogólnej licencji
GNU. Figuruje w archiwach GNU. Napisany w Common Lisp. Maxima jest rozwijana przez
Billa Scheltera.
- MockMMA - interpretatuje wzory i
redukuje wyrazy podobne w stylu Mathematica, napisany w
Lisp, z dodatkowymi możliwościami matematycznymi.
- Firma MSI: Scientific Work Place,
Scientific Word, Scientific Notepad
- MuPAD: Home Page
- SIMATH, komputerowy system algebraiczny
zorientowany na algebraiczną teorię liczb Horsta Zimmera, Universität des Saarlandes.
Dostępny przez anonymous ftp z ftp.math.uni-sb.de (czyli 134.96.32.23) w
katalogu /pub/simath.
- The Yacas computer algebra system
Biblioteki, arkusze, pakiety, programy do kalkulatorów, języków programowania i systemów do
obliczeń symbolicznych
- apfloat: A C++ High Performance
Arbitrary Precision Arithmetic Package by Mikko Tommila
- BC (the exact arithmetic Unix calculator program)
- CASA - pakiet do
obliczeń z geometrii algebraicznej w Maple. Działa wszędzie, gdzie działa
Maple V Release 4.
Anonymous ftp z ftp.risc.uni-linz.ac.at, katalog
/pub/CASA.
- Programy z teorii
liczb dla Casio Graphic Calculators (Roy MacLean)
- CYCLOPROV - public domain,
oparty na LiDIA pakiet C++ do testowania pierwszości liczb (tylko DEC Alpha) Preda Mihailescu
- ECPP
pakiet do sprawdzania pierwszości dużych liczb za pomocaą krzywych eliptycznych François Moraina
- FreeLIP large integer package, Cunningham
project, (Paul Leyland's archive)
- Ginac: Ginac to biblioteka C++ do komputerowych obliczeń symbolicznych w programach w C++. Stale rozwijana, ponoć wygląda obiecująco.
GiNaC to iterowany i rekursywny akronim dla "GiNaC is Not a CAS", gdzie CAS oznacza Computer
Algebra System. Jest przeznaczony do tworzenia zintegrowanych systemów, łączących obliczenia
symboliczne z bardziej tradycyjnymi działami informatyki (metody numeryczne, interfaces
graficzne) pod jednym dachem. Rozpowszechniana na warunkach GNU general public license (GPL).
- GNU multiple precision package
- LiDIA: (Johannes
Buchmann: Universität Darmstadt)Biblioteka C++ do obliczeń z teorii liczb.
- Implementations
of extended LLL, by Wilberd van der Kallen - dla Mathematica
- Maple Worksheets in Number Theory
(John Cosgrave)
- NTL: A Library for doing Number Theory (Victor Shoup)
- NTRU Cryptosystems
-
NUMBERS Calculator (Ivo Düntsch)
- Number Theory Programs for the
TI-92 (Paul Pollack)
- Pate Williams' implementations of
algorithms from books of Henri Cohen, D.R. Stinson, N. Koblitz, H. Riesel and A.J.
Menezes, P.C van Oorschot and S.A. Vanstone
- Perfectly Scientific, Inc.
- PIPS: Polynomials over Galois
Fields, A calculator program by Florent Chabaud
- PrimeForm - Probable
Prime and Classical Primality Testing for 32-bit Windows (Chris Nash)
- Primzahltests und
Faktorisierungsalgorithmen (Johann Wiesenbauer)
- TECC (Tiny Elliptic
Curve Calculator - Masanari Kida)
- UBASIC 8.8e (Yuji Kida) A basic
interpreter with fast multiprecision arithmetic
- ZEN-1.0b Fast computation in finite
extensions of finite rings
Opisy, literatura, itp.
- "Symbolic C++ : An Introduction to
Computer Algebra Using Object-Oriented Programming" - książka autorstwa an Kiat Shi,
Willi-Hans Steeb, Yorick Hardy i Kiat Shi. Opisuje bibliotekę do obliczeń symbolicznych w C++.
- Journal of Statistical Software
- Electronic Transactions in Numerical Analysis (Gopher)
Projekty zorientowane tematycznie:
- The Magnus combinatorial
group theory software project
- Computational
Category Theory Międzynarodowy projekt rozwoju oprogramowania dla wielu platform do obliczeń
z kategoriami i związanymi z nimi strukturami algebraicznymi.
I inne:
- Cabri Geometry II
- DERIVE, A Mathematical
Assistant Home Page
- Matematyka Przydatne aplikacje dla
Windows ...
Matematyka w
Internecie
Powrót do FAQ