Computer Algebra in Scientific Computing: 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings (Lecture Notes in ... Computer Science and General Issues)
暫譯: 科學計算中的計算代數:第16屆國際研討會,CASC 2014,波蘭華沙,2014年9月8-12日。會議論文集(計算機科學與一般問題講義)

  • 出版商: Springer
  • 出版日期: 2014-08-19
  • 售價: $2,410
  • 貴賓價: 9.5$2,290
  • 語言: 英文
  • 頁數: 516
  • 裝訂: Paperback
  • ISBN: 3319105140
  • ISBN-13: 9783319105147
  • 相關分類: Computer-Science
  • 海外代購書籍(需單獨結帳)

相關主題

商品描述

This book constitutes the proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing, CASC 2014, held in Warsaw, Poland, in September 2014. The 33 full papers presented were carefully reviewed and selected for inclusion in this book.
The papers address issues such as Studies in polynomial algebra are represented by contributions devoted to factoring sparse bivariate polynomials using the priority queue, the construction of irreducible polynomials by using the Newton index, real polynomial root finding by means of matrix and polynomial iterations, application of the eigenvalue method with symmetry for solving polynomial systems arising in the vibration analysis of mechanical structures with symmetry properties, application of Gröbner systems for computing the (absolute) reduction number of polynomial ideals, the application of cylindrical algebraic decomposition for solving the quantifier elimination problems, certification of approximate roots of overdetermined and singular polynomial systems via the recovery of an exact rational univariate representation from approximate numerical data, new parallel algorithms for operations on univariate polynomials (multi-point evaluation, interpolation) based on subproduct tree techniques.

商品描述(中文翻譯)

本書為2014年9月在波蘭華沙舉行的第16屆國際科學計算計算機代數研討會(CASC 2014)的會議紀錄。所呈現的33篇完整論文經過仔細審查並選定納入本書中。

這些論文探討的議題包括:多項式代數的研究,涵蓋了使用優先佇列對稀疏雙變數多項式進行因式分解的貢獻、利用牛頓指數構造不可約多項式、通過矩陣和多項式迭代進行實多項式根的尋找、應用具有對稱性的特徵值方法來解決在具有對稱性質的機械結構振動分析中出現的多項式系統、應用Gröbner系統計算多項式理想的(絕對)約化數、利用圓柱代數分解解決量詞消除問題、通過從近似數據恢復精確的有理單變數表示來認證過度確定和奇異多項式系統的近似根、基於子乘積樹技術的單變數多項式運算(多點評估、插值)的新並行算法。