# Source: axiom
# Package: axiom-tex
# Versions: axiom-tex (20120301-1), axiom-tex (20120301-2), axiom-tex (20120301-3), axiom-tex (20120501-1), axiom-tex (20120501-10), axiom-tex (20120501-11), axiom-tex (20120501-12), axiom-tex (20120501-13), axiom-tex (20120501-14), axiom-tex (20120501-16), axiom-tex (20120501-17), axiom-tex (20120501-18), axiom-tex (20120501-2), axiom-tex (20120501-8), axiom-tex (20120501-9), axiom-tex (20140801-1), axiom-tex (20140801-10), axiom-tex (20140801-11), axiom-tex (20140801-12), axiom-tex (20140801-2), axiom-tex (20140801-3), axiom-tex (20140801-4), axiom-tex (20140801-5), axiom-tex (20140801-6), axiom-tex (20140801-7), axiom-tex (20140801-8), axiom-tex (20140801-9), axiom-tex (20170401-1), axiom-tex (20170401-2), axiom-tex (20170401-3), axiom-tex (20170501-1), axiom-tex (20170501-10), axiom-tex (20170501-11), axiom-tex (20170501-12), axiom-tex (20170501-13), axiom-tex (20170501-14), axiom-tex (20170501-15), axiom-tex (20170501-2), axiom-tex (20170501-3), axiom-tex (20170501-4), axiom-tex (20170501-5), axiom-tex (20170501-6), axiom-tex (20170501-9), axiom-tex (20210105dp1-1), axiom-tex (20210105dp1-3), axiom-tex (20210105dp1-4), axiom-tex (20210105dp1-5), axiom-tex (20210105dp1-6)
# This Description is active
# This Description is owned
# Prioritize: 49
Description: General purpose computer algebra system: style file for TeX
 Axiom is useful for
 research and development of mathematical algorithms. It defines a
 strongly typed, mathematically correct type hierarchy. It has a
 programming language and a built-in compiler.
 .
 Axiom has been in development since 1973 and was sold as a
 commercial product. It has been released as free software.
 .
 Efforts are underway to extend this software to (a) develop a
 better user interface (b) make it useful as a teaching tool
 (c) develop an algebra server protocol (d) integrate additional
 mathematics (e) rebuild the algebra in a literate programming style
 (f) integrate logic programming (g) develop an Axiom Journal with
 refereed submissions.
 .
 This package contains a TeX style file useful in publishing results
 obtained with Axiom.
Description-ja: 汎用計算機代数システム: TeX 用スタイルファイル
 axiom は数学アルゴリズムの研究や開発に便利です。強く型付され、数学的に
 正確な型階層を定義します。プログラミング言語と内蔵コンパイラを備えてい
 ます。
 .
 axiom は 1973 年から開発が続けられ、商用製品として販売されていました。
 そしてフリーソフトウェアとしてリリースされました。
 .
 以下の事項を目指すべく、本ソフトウエアを拡張するための努力が行なわれて
 います:
  (a) より優れたインターフェイスの開発
  (b) 教育用ツールとして便利なものにする
  (c) 代数サーバプロトコルの開発
  (d) 追加された数学分野の統合
  (e) 読み書き可能なプログラミングスタイルでの代数の再構築
  (f) 論理プログラミングの統合
  (g) 校閲者の提案による Axiom Journal の開発
 .
 本パッケージには、Axiom により得られた結果を印刷する際に役立つ、TeX
 スタイルファイルが含まれます。

# other Descriptions of the axiom-tex package with a translation in ja:
# 
# Description-id: 558 https://ddtp.debian.org/ddt.cgi?desc_id=558
# patch https://ddtp.debian.org/ddt.cgi?diff1=558&diff2=129079&language=ja
# This Description was in etch from 2005-07-16 to 2011-07-22;
# This Description was in lenny from 2007-06-14 to 2011-07-22;
# This Description was in wheezy from 2011-02-12 to 2012-05-05;
# This Description was in squeeze from 2009-02-16 to 2014-07-22;
# This Description was in sid from 2005-07-16 to 2012-04-28;
#