記号行列式の一階微分の評価法

スポンサーリンク

概要

• 論文の詳細を見る
• 1992-12-15

著者

• 藤瀬 哲朗

  三菱総合研究所

• 藤瀬 哲朗

  (株)三菱総合研究所

• 小林 英恒

  日本大学理工学部数学科

• 村尾 裕一

  東京大学大型計算機センター

• 村尾 裕一

  東大 大型計算機セ

• 小林 英恒

  日本大学理工学部

関連論文

• 陰関数描画と区間数演算の効率化について (Computer Algebra : Design of Algorithms, Implementations and Applications)
• 数式処理(システム)におけるマルチスレッド化の試み (Computer Algebra : Design of Algorithms, Implementations and Applications)
• 行列積アルゴリズムに強く依存した行列のデータ構造の実装
• Risa/Asirの行列演算の実装(II) (Computer Algebra : Design of Algorithms, Implementations and Applications)
• Risa/Asir の Matrix 演算の実装について
• 行列計算と基本線形演算の実装法について (Computer Algebra : Design of Algorithms, Implementations and Applications)
• 数式処理のための行列演算の効率的な実装法について
• 多項式表現と行列演算の改良 (Computer Algebra : Algorithms, Implementations and Applications)
• Risa/AsirのMatrix演算の検討
• Risa/AsirのMatrix演算の新しい実装について (Computer Algebra : Algorithms, Implementations and Applications)
• 簡易没入型ディスプレイ CC Room の開発と映像生成手法
• フィｰルドと仮想空間を結ぶ情報アクセスインタフェｰス
• Web上におけるプレゼンテーション法(セッション2:Webと社会のつながり、応用技術)
• 数式の零点描画の高速化
• Risa/Asir のifplot の改良と並列化の試み (Computer Algebra : Design of Algorithms, Implementations and Applications)
• PIMOSの資源管理方式
• PIMOSの設計方針
• PIMOSの例外処理方式
• GPUを用いた多倍長整数演算法の設計
• GPUを使用した陰関数グラフ描画の高速処理法
• COINSにおける並列化(21世紀のコンパイラ道しるべ・・COINSをベースにして)
• G-基底によるU-終結式の構成(数式処理と数学研究への応用)
• Grobner Basis of a Module over K[x$_1$,...,x$_n$] and Polynomial Solutions of a System of Linear Equations
• GROBNER BASIS OF IDEAL OF CONVERGENT POWER SERIES
• 一般消去法による方程式の解法と実例(数式処理と数学研究への応用)
• 単因子の計算法(数式処理と数学研究への応用)
• Grobner-Basisとその応用(数式処理と数学研究への応用)
• ポータブルKL1処理系KLICの概要
• Web上におけるプレゼンテーション法(セッション2:Webと社会のつながり、応用技術)
• 1M-1 ホモトピー法への一次分数変換の適用法について
• 大学における事務ネットワークセキュリティについて
• FTAによる内的セキュリティシステムのための知識表現
• 4N-2 KLICへのデータ並列処理機能の導入について
• 3K-2 汎用並列組合せ最適化パッケージの構想
• KLIC処理系核の評価
• PIMOSの評価
• コンパイラと数式処理 : コンパイラ・インフラストラクチャCOINSの活用 : 構想 (Computer Algebra : Design of Algorithms, Implementations and Applications)
• PIMOS上でのシェルの実現 : 共有資源管理
• PIMOSの階層的資源管理
• A-6-4 半自動証明系Isabelleにおける証明過程の再利用について(A-6.情報理論,一般講演)
• Presentation Hensel's Lemma in Isabelle/HOL(Computer Algebra : Design of Algorithms, Implementations and Applications)
• F_018 Constructing and Using a Web Service to Find Theorems
• F-028 The Implementation of a Proof Search System for Isabelle
• Formalization of the valuation theory (Algebra, Languages and Computation)
• A-014 グリッドコンピューティングを用いた連立代数方程式の解法 : 根の振る舞いの解析に向けて(A.モデル・アルゴリズム・プログラミング)
• ホモトピー法のパラメータに一次分数変換を適用した近接根問題の解法について(アルゴリズム理論)
• A Relation between a Group and a Ring (Computer Algebra : Algorithms, Implementations and Applications)
• A Machine Proof of the Proposition : "Ideal $\subseteq \cup_i$ PrimeIdeal$_i$ $\Rightarrow$ Ideal $\subseteq$ PrimeIdeal$_i$" (Computer Algebra : Algorithms, Implementations and Applications)
• "Ring Story"再考 : トレンド,エヴォリューション,そして計画
• 一次分数変換を利用した連立代数方程式の近接根の分離と擬局所化における誤差について
• 連立代数方程式の数値解法における一次分数変換の新たな適用について
• 連立代数方程式の減次の可能性について(数式処理における理論と応用の研究)
• 連立代数方程式の擬局所化の過程で生じる誤差についての報告
• 連立代数方程式の擬局所化の過程で生じる誤差について
• 連立代数方程式の近接根の分離と擬局所化の可能性について(数式処理における理論と応用の研究)
• 一次分数変換を利用した近接根の分離方法とその誤差について
• 一次分数変換を利用した連立代数方程式の高精度計算法
• 1次分数変換を利用した1変数代数方程式の近接根の分離
• D-8-11 Isabelleでの所属関係の自動証明の実現について(D-8. 人工知能と知識処理,一般セッション)
• 分散データベースを用いたIDSの構築
• 特殊関数のデータ・ベース化について(数式処理における理論とその応用の研究)
• On Solving the Initial Problem of LR Arrays
• 分数変換による近接根の分離について(数式処理における理論とその応用の研究)
• Some Computations over Successive Algebraic Extension Fields
• 連立代数方程式の解の重複度(精度保証付き数値計算法とその応用)
• 記号行列式の一階微分の評価法
• ネータの正規化定理について(数式処理と数学研究への応用)
• 連立代数方程式の解の重複度(非線形問題の数値解析)
• Zeuthen's Rule について(数式処理と数学研究への応用)
• 国際数式記号処理学会議(ISSAC-90)への呼掛け(数式処理と数学研究への応用)
• 連立代数方程式について(数式処理と数学研究への応用)
• 多変数連立代数方程式の解法 (数式処理)
• 連立代数方程式のある種の解法について : 代数的・数値的算法による全解構成法(数式処理と数学研究への応用)
• Weierstrass Points on Curves of Fermat Type
• 高水準中間表現HIRでの最適化(21世紀のコンパイラ道しるべ・・COINSをベースにして 8)
• Common ESP上のLTBについて
• Wikiやblogでも数式を : BrEdiMaを使って (数式処理と教育 : 数学教育における数式処理システムの効果的利用に関する研究)
• Web上におけるプレゼンテーション法 (情報学基礎・デジタルドキュメント)
• Noda2005論文 Matrix Multiplication Made Fast--Practical View of Fast Matrix Operation for Computer Algebra System
• 自動証明を効果的に行うための手法 (Computer Algebra : Design of Algorithms, Implementations and Applications)
• 有理区間数とGPU並列処理について (第19回日本数式処理学会大会報告)
• 統合並列処理向けの多項式計算ソフトウェアの試作 (数式処理における理論と応用の研究)
• 一変数多項式因数分解のための並列計算系について(数式処理における理論と応用の研究)
• 5.数式処理と並列処理 (数式処理の最近の研究動向)
• 特集「数式処理の最近の研究動向」の編集にあたって (数式処理の最近の研究動向)
• 並列処理の多項式計算への応用
• 並列DDFアルゴリズム(数式処理における理論とその応用の研究)
• U-終結式の計算について(数式処理と数学研究への応用)
• An automated reasoning system based on isabelle/HOL (Algebras, Languages, Algorithms and Computations)
• 簡易没入型ディスプレイCC Roomの開発と映像生成手法(「グラフィックスとアルゴリズム」特集)
• 有理区間数とGPU並列処理について
• 拡張された2W-ary GCDアルゴリズム
• 国際会議報告 : PASCO'97
• 高速多項式乗算アルゴリズムの実現
• 数式処理の教科書と関連書籍
• 多項式の高速多点評価法とその並列処理について : 高速プログラムの開発へ向けて(数式処理における理論と応用の研究)
• Speeded Chinese Remaindering
• 疎な多項式の補間のためのモジュラー算法(数式処理と数学研究への応用)
• A Rule Selection Method for Automated Reasoning (Algebraic Systems and Theoretical Computer Science)
• An analysis of the Bernstein's theorem for an automated prover (Algebra and Computer Science)

もっと見る 閉じる

スポンサーリンク