Asir OpenXM-Contrib

Asir OpenXM-Contrib User's Manual (日本語版)

Edition 1.1.2 for OpenXM/Asir2000

February 2000

• はじめに
• Asir Contrib の函数名について
• 数(標準数学函数)
• 微積分(標準数学函数)
• 級数(標準数学函数)
• 超幾何函数(標準数学函数)
• 行列(標準数学函数)
• Graphic(標準数学函数)
• 表示(標準数学函数)
• 多項式(標準数学函数)
• 複体(標準数学函数)
• OpenMath Function Names
  • OpenMath CD Basic
• OpenXM-Contrib 一般函数
  • 函数一覧
    • ox_check_errors2
• GNUPLOT 函数
  • 函数一覧
    • gnuplot_start
    • gnuplot
    • gnuplot_plot_dots
    • gnuplot_output
    • gnuplot_plot_function
• Mathematica 函数
  • 函数一覧
    • m_start
    • m_tree_to_string
    • m_rtostr
• OpenMath 函数
  • om_start
  • om_xml
  • om_xml_to_cmo
• PHC 函数
  • 函数一覧
    • phc_start
    • phc
• SM1 函数
  • ox_sm1_forAsir サーバ
    • ox_sm1_forAsir
  • 函数一覧
    • sm1_start
    • sm1
    • sm1_push_int0
    • sm1_gb
    • sm1_deRham
    • sm1_hilbert
    • sm1_genericAnn
    • sm1_wTensor0
    • sm1_reduction
    • sm1_xml_tree_to_prefix_string
    • sm1_syz
    • sm1_mul
    • sm1_distraction
    • sm1_gkz
    • sm1_appell1
    • sm1_appell4
    • sm1_rank
    • sm1_auto_reduce
    • sm1_slope
• DSOLV 函数
  • 函数一覧
    • dsolv_dual
    • dsolv_starting_term
• TIGERS 函数
  • tigers
• Matrix operations (library by Okutani)
  • omatrix_1
  • omatrix_diag
  • omatrix_trans
  • omatrix_inverse
  • omatrix_solve
  • omatrix_kernel
• Differential equations (library by Okutani)
  • odiff_op_appell4
  • odiff_op_tosm1
  • odiff_op_toasir
  • odiff_op_fromasir
  • odiff_act
  • odiff_act_appell4
  • odiff_poly_solve
  • odiff_poly_solve_hg1
  • odiff_poly_solve_appell4
  • odiff_rat_solve
• D-module (library by Okutani)
  • odmodule_d_op_tosm1
  • odmodule_d_op_toasir
  • odmodule_d_op_fromasir
  • odmodule_ch_ideal
  • odmodule_singular_locus
  • odmodule_restriction
  • odmodule_elimination
• 索引

This document was generated on 11 July 2001 using the texi2html translator version 1.52.