version 1.50, 2002/08/12 06:00:56 |
version 1.53, 2002/10/01 00:36:19 |
|
|
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN"> |
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN"> |
<HTML> |
<HTML> |
<!-- |
<!-- |
$OpenXM: OpenXM/doc/OpenXM-web/index.html,v 1.49 2002/03/02 01:00:25 takayama Exp $ |
$OpenXM: OpenXM/doc/OpenXM-web/index.html,v 1.52 2002/09/25 12:00:20 takayama Exp $ |
--> |
--> |
<HEAD> |
<HEAD> |
<LINK REV=MADE HREF="mailto:takayama@math.sci.kobe-u.ac.jp"> |
<LINK REV=MADE HREF="mailto:takayama@math.sci.kobe-u.ac.jp"> |
Line 18 $OpenXM: OpenXM/doc/OpenXM-web/index.html,v 1.49 2002/ |
|
Line 18 $OpenXM: OpenXM/doc/OpenXM-web/index.html,v 1.49 2002/ |
|
|
|
<P> |
<P> |
Welcome to the home page of OpenXM. |
Welcome to the home page of OpenXM. |
Last update is March 2, 2002, JST. |
Last update is September 25, 2002, JST. |
<A HREF="http://www.math.kobe-u.ac.jp/~kobashi/OpenXM/index-ja.html">Japanese Page (experimental, for 1.1.3)</A>, |
<A HREF="http://www.math.kobe-u.ac.jp/~kobashi/OpenXM/index-ja.html">Japanese Page (experimental, for 1.1.3)</A>, |
</P> |
</P> |
|
|
Line 26 Last update is March 2, 2002, JST. |
|
Line 26 Last update is March 2, 2002, JST. |
|
What is OpenXM? It is an infrastructure for mathematical |
What is OpenXM? It is an infrastructure for mathematical |
communication. |
communication. |
We propose standards for mathematical computation |
We propose standards for mathematical computation |
(OpenXM-RFC's). We will also support <a href="www.openmath.org"> OpenMath </a>. |
(OpenXM-RFC's). We will also support <a href="http://www.openmath.org"> OpenMath </a>. |
The project is also making experiments to connect mathematical |
The project is also making experiments to connect mathematical |
software systems each other on the infrastructure. |
software systems each other on the infrastructure. |
We are providing packages of mathematical software systems |
We are providing packages of mathematical software systems |
Line 34 supporting the OpenXM protocol. Here is a quick tour o |
|
Line 34 supporting the OpenXM protocol. Here is a quick tour o |
|
<A HREF="1.2.2/html/OpenXM-poster/func1/index.html">functions 1</A>, |
<A HREF="1.2.2/html/OpenXM-poster/func1/index.html">functions 1</A>, |
<A HREF="1.2.2/html/OpenXM-poster/func2/index.html">functions 2</A>, |
<A HREF="1.2.2/html/OpenXM-poster/func2/index.html">functions 2</A>, |
<A HREF="1.2.2/html/OpenXM-poster/efficient/index.html">Efficient computation</A>. |
<A HREF="1.2.2/html/OpenXM-poster/efficient/index.html">Efficient computation</A>. |
|
We have also started a project of |
|
<a href="http://www.math.kobe-u.ac.jp/OCD/index.html"> |
|
a digital and interactive mathematical formula book. </a> |
</P> |
</P> |
|
|
|
|
|
|
Getting the latest version (HEAD branch) from anonymous CVS server </a> </H2> |
Getting the latest version (HEAD branch) from anonymous CVS server </a> </H2> |
|
|
<H2>Binary Distribution by tar+gzip (RELEASE_1_2_2) |
<H2>Binary Distribution by tar+gzip (RELEASE_1_2_2) |
<A HREF="1.2.2/index-binary.html">Binary</A>. |
<A HREF="1.2.2/index-binary.html">Binaries including experimental version |
|
for Windows.</A>. |
</H2> |
</H2> |
|
|
<H2>Binary Distribution by Packages (RELEASE_1_2_2) |
<H2>Binary Distribution by Packages (RELEASE_1_2_2) |