日本語
 
Help Privacy Policy ポリシー/免責事項
  詳細検索ブラウズ

アイテム詳細

  A Case Study on the Parametric Occurrence of Multiple Steady States

Bradford, R., Davenport, J. H., England, M., Errami, H., Gerdt, V., Grigoriev, D., Hoyt, C., Košta, M., Radulescu, O., Sturm, T., & Weber, A. (2017). A Case Study on the Parametric Occurrence of Multiple Steady States. In ISSAC’17 (pp. 45-52). New York, NY: ACM. doi:10.1145/3087604.3087622.

Item is

基本情報

表示: 非表示:
資料種別: 会議論文

ファイル

表示: ファイル

関連URL

表示:

作成者

表示:
非表示:
 作成者:
Bradford, Russell1, 著者
Davenport, James H.1, 著者
England, Matthew1, 著者
Errami, Hassan1, 著者
Gerdt, Vladimir1, 著者
Grigoriev, Dima1, 著者
Hoyt, Charles1, 著者
Košta, Marek1, 著者
Radulescu, Ovidiu1, 著者
Sturm, Thomas2, 著者           
Weber, Andreas1, 著者
所属:
1External Organizations, ou_persistent22              
2Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

内容説明

表示:

資料詳細

表示:
非表示:
言語: eng - English
 日付: 2017-04-2320172017
 出版の状態: 出版
 ページ: -
 出版情報: -
 目次: -
 査読: -
 識別子(DOI, ISBNなど): BibTex参照ID: BradfordISSAC2017
DOI: 10.1145/3087604.3087622
 学位: -

関連イベント

表示:
非表示:
イベント名: International Symposium on Symbolic and Algebraic Computation
開催地: Kaiserslautern, Germany
開始日・終了日: 2017-07-25 - 2017-07-28

訴訟

表示:

Project information

表示:

出版物 1

表示:
非表示:
出版物名: ISSAC’17
  副タイトル : Proceedings of the 2017 ACM International Symposium on Symbolic and Algebraic Computation
  省略形 : ISSAC 2017
種別: 会議論文集
 著者・編者:
所属:
出版社, 出版地: New York, NY : ACM
ページ: - 巻号: - 通巻号: - 開始・終了ページ: 45 - 52 識別子(ISBN, ISSN, DOIなど): ISBN: 978-1-4503-5064-8