Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 1-10 of 19 (Search time: 0.033 seconds).
Item hits:
BibliographyContents
近似共通因子を持つ多項式の規格化 (数式処理 : その研究と目指すもの)
  讃岐, 勝 (2013-07)
  数理解析研究所講究録, 1843: 94-100
file type icon 
ブーリアングレブナ基底の時間割作成問題への応用 (数式処理 : その研究と目指すもの)
  井上, 秀太郎 (2013-07)
  数理解析研究所講究録, 1843: 51-55
file type icon 
過酷事故に陥った航空機の制御を目指して : 多変数べき級数根の利用 (数式処理 : その研究と目指すもの)
  佐々木, 建昭, 稲葉, 大樹 (2013-07)
  数理解析研究所講究録, 1843: 8-21
file type icon 
近似特異系の特異化 : 摂動で乱れた系の矯正 (数式処理 : その研究と目指すもの)
  佐々木, 建昭 (2013-07)
  数理解析研究所講究録, 1843: 80-93
file type icon 
対話型数式ユーザインタフェースMathTOUCHにおける数式表記表現の代数的ルールによる正準化の方法 (数式処理 : その研究と目指すもの)
  福井, 哲夫 (2013-07)
  数理解析研究所講究録, 1843: 119-130
file type icon 
グレブナー基底候補の正当性検証について (数式処理 : その研究と目指すもの)
  野呂, 正行, 横山, 和弘 (2013-07)
  数理解析研究所講究録, 1843: 38-50
file type icon 
シュタイナー環におけるデカルトの円定理の拡張について : Extended Abstract (数式処理 : その研究と目指すもの)
  森継, 修一 (2013-07)
  数理解析研究所講究録, 1843: 155-162
file type icon 
SNAP package and Improved QRGCD algorithm (Computer Algebra : The Algorithms, Implementations and the Next Generation)
  増井, 貴明, 長坂, 耕作 (2013-07)
  数理解析研究所講究録, 1843: 101-113
file type icon 
$mu$-constant deformation に対する代数的局所コホモロジーとTjurina stratification (数式処理 : その研究と目指すもの)
  鍋島, 克輔, 田島, 慎一 (2013-07)
  数理解析研究所講究録, 1843: 56-65
file type icon 
数独の難易度判定のためのブーリアングレブナー基底の並列計算について (数式処理 : その研究と目指すもの)
  佐藤, 裕介, 井上, 秀太郎, 佐藤, 洋祐 (2013-07)
  数理解析研究所講究録, 1843: 28-37
file type icon