On the Abhyankar's question for affine plane curves with one place at infinity (Feasibility of Theoretical Arguments of Mathematical Analysis on Computer)
スポンサーリンク
概要
著者
-
鈴木 昌和
九州大学大学院数理学研究院
-
鈴木 昌和
九州大学数理学研究院
-
横山 和弘
九州大学数理学研究院
-
横山 和弘
九州大学大学院数理学研究院
-
横山 和弘
富士通研究所
-
横山 和弘
立教大学理学部数学科
-
藤本 光史
福岡教育大学
-
藤本 光史
福岡教育大学 情報教育教室
-
鈴木 昌和
九州大学数理学府数理学専攻
-
横山 和弘
(株)富士通研究所 コンピュータシステム研究所
-
横山 和弘
富士通研究所国際情報社会科学研究所
関連論文
- ラベル選択を有する最小全域木問題 (アルゴリズムと計算機科学の数理的基盤とその応用)
- Algebraic approach to discrete-time polynomial spectral factorization
- 音声インターフェースと触覚ディスプレーを組み合わせた視覚障害者の新たな科学情報利用環境(福祉と音声処理, 一般)
- 日本語数式エディターの視覚障害者用音声インターフェース開発について(福祉と音声処理及び一般)(音声)
- 日本語数式エディターの視覚障害者用音声インターフェース開発について(福祉と音声処理及び一般)
- 科学技術文書認識システムを用いた理系文書点訳手法
- 漢字の詳細読み付き点字データ形式と点字ビューワ(ヒューマンコミュニケーショングループ(HCG)シンポジウム)
- PDF中のテキスト情報を利用した視覚障害者のための英文PDF科学技術文書読取りシステム(視覚補助,情報福祉論文)
- 計算実代数幾何入門(第5回)CADによるQE
- 計算実代数幾何入門(第4回)CADアルゴリズム(後半)
- 計算実代数幾何入門(第3回)CADアルゴリズム(前半)
- 最適化問題を効率的に解くための special CAD
- 計算実代数幾何入門(第2回)QEによる最適化とその応用
- 計算実代数幾何入門(第1回)CADとQEの概要
- Numerical Cylindrical Algebraic Decomposition with Certification via Symbolic Reconstruction (Computer Algebra : Design of Algorithms, Implementations and Applications)
- On Computing Sum of Roots with Positive Real Parts of Polynomials (Computer Algebra : Design of Algorithms, Implementations and Applications)
- Radical Representation of Polynomial Roots
- 有限体上の多変数多項式の因数分解について (Computer Algebra : Algorithms, Implementations and Applications)
- 標数2有限体上楕円曲線の位数計算 (代数曲線とその応用論文小特集)
- Atkin,Elkies らによる Schoof のアルゴリズム改良の実装について(数式処理における理論と応用の研究)
- 連立代数方程式の種々の解法 (特集 数式処理とその周辺--最新事情からソフトの評価・応用まで)
- Atkin, ElkiesらによるSchoofアルゴリズム改良の実装について
- Prime Decomposition of Radical Ideals and Algebraic Factorization of Polynomials
- 行列の有理標準形の一計算法(数式処理と数学研究への応用)
- modular 算法による多項式GCD計算について(数式処理と数学研究への応用)
- 共通鍵ブロック暗号SC2000
- 楕円曲線暗号 (特集 21世紀に向けた研究開発)
- 多項式環上の素イデアル分解について(数式処理における理論とその応用の研究)
- 零因子をもつ環上の逆行列計算について(数式処理における理論と応用の研究)
- 代数制約の処理 (制約論理プログラミング)
- 楕円曲線暗号
- 2)OCRを用いた科学技術文書の自動点訳について(画像情システム研究会)
- OCRを用いた科学技術文書の自動点訳について
- OCRを用いた科学技術文書の自動点訳について
- 科学技術文書の点訳システムについて
- 科学技術文書の点訳システムについて
- 音声インターフェースと触覚ディスプレーを組み合わせた視覚障害者の新たな科学情報利用環境(福祉と音声処理, 一般)
- 計算機代数入門
- 固有分解と特異値分解用ライブラリの性能評価のためのテスト行列に関する考察(数値計算1)
- 科学技術文書認識システムを用いた理系文書点訳手法
- 数学文書点訳における表の自動点訳
- 数学文書点訳における文書構造処理インターフェイス(福祉と知能・情動・認知障害,福祉と音声処理,一般)
- 数学文書点訳における文書構造処理インターフェイス(福祉と知能・情動・認知障害,福祉と音声処理,一般)
- 数学文書点訳における文書構造処理インターフェイス(福祉と知能・情動・認知障害,福祉と音声処理,一般)
- 数学文書点訳における表の自動点訳 (コンシューマエレクトロニクス・メディア工学)
- 数式を含んだ文書の点訳システム(視覚障害/聴覚障害,一般)
- 視覚障害者のためのPDF科学技術文書読み取りシステム(視覚障害/聴覚障害/一般)
- 数学の授業におけるインタラクティブなコンテンツを含んだ授業教材作成システム : その場で解く・描く授業教材の提案(認知と学習・教育用インタフェース/一般)
- Infty Editor : A Mathematics Typesetting Tool with a Handwriting Interface and a Graphical Front-End to OpenXM Servers (Computer Algebra : Algorithms, Implementations and Applications)
- 可変ブロックパターンによる矩形領域分割を用いた行列の認識
- 宮城清行「明元算法」に現れる連立代数方程式の解について
- 和算における「冪乗演段」で扱われた連立代数方程式の解について
- real root countingに関する話題 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 関孝和の問題を解く
- パラメーターが指数部に現れる連立代数方程式について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- On the Abhyankar's question for affine plane curves with one place at infinity (Feasibility of Theoretical Arguments of Mathematical Analysis on Computer)
- 今を生きる
- Risa/Asir上の複数多項式2次ふるい(MPQS)の実装について
- On a polynomial parametrization problem of plane curves with one place at infinity
- 日本数式処理学会第12回大会報告
- 頂点作用素代数研究の計算機による証明支援 (Computer Algebra : Algorithms, Implementations and Applications)
- 大会報告 日本数式処理学会第12回大会報告
- 有限体上の多項式イデアルの素イデアル分解について (数学解析の計算機上での理論的展開とその遂行可能性)
- Risa/Asir 上における積分関数の実装について
- 音声認識を用いた日本語による数式インタフェース (数学解析の計算機上での理論的展開とその遂行可能性)
- 文字画像の実時間クラスタリングを用いた文書認識と修正作業の効率化 : 英文数学書の場合
- 文字画像の実時間クラスタリングを用いた文書認識と修正作業の効率化 : 英文数学書の場合
- 文字画像の実時間クラスタリングを用いた文書認識と修正作業の効率化 : 英文数学書の場合
- 英文数学文書の正解付き文字・記号画像データベース(文書・文字メディアの認識・理解, 一般)
- 英文数学文書の正解付き文字・記号画像データベース(文書・文字メディアの認識・理解, 一般)
- 英文数学文書の正解付き文字・記号画像データベース
- 英文数学文書の正解付き文字・記号画像データベース
- 数学文書データベースの解析(文字とドキュメントの認識・理解)
- 数学文書データベースの解析(文字とドキュメントの認識・理解))
- 数式中の接触文字の画像マッチングに基づく切り分け法
- CenterBandを用いた数式構造解析の安定化
- CenterBandを用いた数式構造解析の安定化
- CenterBandを用いた数式構造解析の安定化
- ISSAC 参加記
- RISC-Linz 滞在報告(数式処理と数学研究への応用)
- DPマツチングによる接触文字分離(テーマセッション1(テキスト処理・文字列画像処理),文字・文書の認識・理解)
- サポートベクターマシンによる数学記号認識(テーマセッション,文字認識・文書理解)
- サポートベクターマシンによる数学記号認識(テーマセッション,文字認識・文書理解)
- 数学文書点訳における日本語分かち書き仮名変換処理(福祉と知能・情動・認知障害,福祉と音声処理,一般)
- 数学文書点訳における日本語分かち書き仮名変換処理(福祉と知能・情動・認知障害,福祉と音声処理,一般)
- 数学文書点訳における日本語分かち書き仮名変換処理(福祉と知能・情動・認知障害,福祉と音声処理,一般)
- Funkcialaj Ekvacioj の遡及電子化中間報告(紀要の電子化と周辺の話題)
- 数学論文ブラウザ
- 数学文書の電子化
- Mathematical Knowledge Browser (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 2次元ワープを併用したオンライン英数字・数学記号認識
- 数学記号の特徴を用いた数式の水平分割による数式構造解析
- 仮想リンクネットワークを用いた数式構文認識
- 最小コスト全域木探索を用いたオフライン数式構文認識
- ストロークの相互関係を用いたオンライン手書き数式認識
- 高速性を重視した数学記号認識とその数式を含む日本語印刷文書認識への応用
- 電子相関理論のための数式処理システムに向けて (数式処理研究の新たな発展)
- DAISY形式の日本語理数系教材が抱える諸問題 (福祉情報工学)
- ラベル選択付最小連結全域部分グラフ問題と化学構造式OCRへの応用 (アルゴリズムと計算理論の新展開)
- DAISY形式の日本語理数系教材が抱える諸問題(障害者支援)