Home Page
CoCoA System
Co
mputations in
Co
mmutative
A
lgebra
DOWNLOAD page
CoCoA 4.7.5
release notes
Fill this form if you want to be informed about
CoCoA
next
releases
and
conferences
(~ 4 emails per year)
Email:
Name:
Surname:
OS:
Mac, Linux,..
Interface:
Text, Emacs, GUI
Legend
pre-release
latest version
old version
cocoa
:
textual interface
binary which can run under
emacs
or in a
terminal
EmacsUI
:
Emacs User Interface
cocoa.el and other customization files
GUI
:
Graphical User Interface
binary
CoCoAServer
: server binary communication with the new C++
CoCoALib
(succeded by CoCoA 5)
Macintosh
Installation Instructions
for the GUI you need to install Qt-libraries from Nokia Qt.
CoCoA-4.7.5
(3M)
Universal
MacOSX provides
cocoa, EmacsUI, CoCoAServer
CoCoA-4.7.5
(8.2M)
Universal
MacOSX provides
cocoa, GUI, CoCoAServer
CoCoA-4.1
LinuxPPC (940 Kb)
CoCoA-4.0
MacOS9 (1000 Kb)
Linux x86
Installation Instructions
Emacs interface for
cocoa
CoCoA-4.7.5
(1.6M) provides
cocoa, EmacsUI, CoCoAServer
CoCoA-4.7.5
(4.7M) provides
cocoa, EmacsUI, GUI, CoCoAServer
Optimized for
64-bit
processors:
CoCoA-4.7.4
(1.6M) provides
cocoa, EmacsUI, CoCoAServer
for (
old
) glibc-2 [Debian]
CoCoA-4.7.4
(1.6M) provides
cocoa, EmacsUI, CoCoAServer
CoCoA-4.7.4
(2.5M) provides
cocoa, EmacsUI, GUI, CoCoAServer
MSWindows
Installation Instructions
CoCoA-4.7.5
(7.5M) provides
cocoa, EmacsUI, GUI, CoCoAServer
Sun Solaris
Installation Instructions
Emacs interface for
cocoa
CoCoA-4.6
(1M) provides
cocoa 32bit, EmacsUI, CoCoAServer 64bit
CoCoA-4.6
(4M) provides
cocoa 32bit, EmacsUI, GUI, CoCoAServer 64bit
For Solaris on x86
CoCoA-4.7.4 (prerelease 1)
(1.9M) provides
cocoa, EmacsUI, CoCoAServer
DEC Alpha workstations
CoCoA-4.2
OSF1 (1100 Kb)
ARM
Installation Instructions
CoCoA-4.2
(990 Kb) ARM processors running Linux (
www.handhelds.org
)
HP workstations
CoCoA-3.6
SGI Irix
CoCoA-3.7
(597 Kb) SGI workstations running IRIX
**
Please, if you are interested in CoCoA for a non-supported platform, let us know and we will try to offer it.
** The
IRIX
version is available by kind cooperation of
EURANDOM
.