LiDIA C++ Library for Number Theory
The Magma System for Algebra, Number Theory and Geometry
Mersenne Prime Freeware
SIMATH (Number Theory, Elliptic Curves, Compiler)
CLINT Computer Lab in Number Theory
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: 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
Congruence Zeta Function Calculator
Curves of Genus 2 ftp site
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.
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.
HECKE, A Modular Forms Calculator 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++.
KASH-K4 oparty na GAP program do obliczeń z algebry i teorii liczb opracowany przez grupę KANT (Computational Algebraic Number Theory, Michael Pohst: Technisches Universitat Berlin)
SIMATH komputerowy system algebraiczny zorientowany na algebraiczną teorię liczb Horsta Zimmera, Universitat des Saarlandes.
The Yacas computer algebra system
apfloat
CASA pakiet do obliczeń z geometrii algebraicznej w Maple. Działa wszędzie, gdzie działa Maple V
Programy z teorii liczb dla Casio Graphic Calculators
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 Francois Moraina
FreeLIP large integer package, Cunningham project
Maple Worksheets in Number Theory
NTL: A Library for doing Number Theory
NTRU Cryptosystems
NUMBERS Calculator
Number Theory Programs for the TI-92
PIPS: Polynomials over Galois Fields
PrimeForm
Primzahltests und Faktorisierungsalgorithmen
TECC (Tiny Elliptic Curve Calculator
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.
Macauley2 program do obliczeń związanych z geometrią algebraiczną.
ZEN-1.0b Fast computation in finite extensions of finite rings

Geometria

Obliczenia numeryczne

Tela Help File
SAS Institute Inc.
Mathematical and Statistical Software at Pittsburgh Supercomputer Center
MatheMatrix Out-Of-Core Matrix Algebra Library
PDEase2D
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.
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).
GMP - GNU multiple precision package

Różne:

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
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.
UBASIC 8.8e
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

Next: Wyszukiwanie matematyków Up: Matematyka w Internecie Previous: Strony poświęcone konkretnej tematyce

Pawel Gladki 2006-01-30