Search dblp for Publications

export results for "toc:db/conf/ascm/ascm2012.bht:"

 download as .bib file

@proceedings{DBLP:conf/ascm/2012,
  editor       = {Ruyong Feng and
                  Wen{-}shin Lee and
                  Yosuke Sato},
  title        = {Computer Mathematics, 9th Asian Symposium {(ASCM} 2009), Fukuoka,
                  Japan, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing,
                  China, October 2012, Contributed Papers and Invited Talks},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-43799-5},
  doi          = {10.1007/978-3-662-43799-5},
  isbn         = {978-3-662-43798-8},
  timestamp    = {Sat, 23 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ascm/2012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ascm/BoyerCK12,
  author       = {Brice Boyer and
                  Matthew T. Comer and
                  Erich L. Kaltofen},
  editor       = {Ruyong Feng and
                  Wen{-}shin Lee and
                  Yosuke Sato},
  title        = {Sparse Polynomial Interpolation by Variable Shift in the Presence
                  of Noise and Outliers in the Evaluations},
  booktitle    = {Computer Mathematics, 9th Asian Symposium {(ASCM} 2009), Fukuoka,
                  Japan, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing,
                  China, October 2012, Contributed Papers and Invited Talks},
  pages        = {183--197},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-662-43799-5\_16},
  doi          = {10.1007/978-3-662-43799-5\_16},
  timestamp    = {Sat, 23 Jun 2018 18:40:49 +0200},
  biburl       = {https://dblp.org/rec/conf/ascm/BoyerCK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ascm/ChenLSWYZ12,
  author       = {Liangyu Chen and
                  Tuo Leng and
                  Liyong Shen and
                  Min Wu and
                  Zhengfeng Yang and
                  Zhenbing Zeng},
  editor       = {Ruyong Feng and
                  Wen{-}shin Lee and
                  Yosuke Sato},
  title        = {Finding the Symbolic Solution of a Geometric Problem Through Numerical
                  Computations},
  booktitle    = {Computer Mathematics, 9th Asian Symposium {(ASCM} 2009), Fukuoka,
                  Japan, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing,
                  China, October 2012, Contributed Papers and Invited Talks},
  pages        = {223--241},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-662-43799-5\_18},
  doi          = {10.1007/978-3-662-43799-5\_18},
  timestamp    = {Wed, 02 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ascm/ChenLSWYZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ascm/ChenM12,
  author       = {Changbo Chen and
                  Marc Moreno Maza},
  editor       = {Ruyong Feng and
                  Wen{-}shin Lee and
                  Yosuke Sato},
  title        = {An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions},
  booktitle    = {Computer Mathematics, 9th Asian Symposium {(ASCM} 2009), Fukuoka,
                  Japan, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing,
                  China, October 2012, Contributed Papers and Invited Talks},
  pages        = {199--221},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-662-43799-5\_17},
  doi          = {10.1007/978-3-662-43799-5\_17},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ascm/ChenM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ascm/GiesbrechtP12,
  author       = {Mark Giesbrecht and
                  Nam Pham},
  editor       = {Ruyong Feng and
                  Wen{-}shin Lee and
                  Yosuke Sato},
  title        = {A Symbolic Approach to Compute a Null-Space Basis in the Projection
                  Method},
  booktitle    = {Computer Mathematics, 9th Asian Symposium {(ASCM} 2009), Fukuoka,
                  Japan, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing,
                  China, October 2012, Contributed Papers and Invited Talks},
  pages        = {243--259},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-662-43799-5\_19},
  doi          = {10.1007/978-3-662-43799-5\_19},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ascm/GiesbrechtP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ascm/Han12,
  author       = {Jingjun Han},
  editor       = {Ruyong Feng and
                  Wen{-}shin Lee and
                  Yosuke Sato},
  title        = {A Simple Quantifier-Free Formula of Positive Semidefinite Cyclic Ternary
                  Quartic Forms},
  booktitle    = {Computer Mathematics, 9th Asian Symposium {(ASCM} 2009), Fukuoka,
                  Japan, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing,
                  China, October 2012, Contributed Papers and Invited Talks},
  pages        = {261--274},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-662-43799-5\_20},
  doi          = {10.1007/978-3-662-43799-5\_20},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ascm/Han12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ascm/Hoeven12,
  author       = {Joris van der Hoeven},
  editor       = {Ruyong Feng and
                  Wen{-}shin Lee and
                  Yosuke Sato},
  title        = {Overview of the Mathemagix Type System},
  booktitle    = {Computer Mathematics, 9th Asian Symposium {(ASCM} 2009), Fukuoka,
                  Japan, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing,
                  China, October 2012, Contributed Papers and Invited Talks},
  pages        = {397--425},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-662-43799-5\_27},
  doi          = {10.1007/978-3-662-43799-5\_27},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ascm/Hoeven12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ascm/Kaltofen12,
  author       = {Erich L. Kaltofen},
  editor       = {Ruyong Feng and
                  Wen{-}shin Lee and
                  Yosuke Sato},
  title        = {Symbolic Computation and Complexity Theory Transcript of My Talk},
  booktitle    = {Computer Mathematics, 9th Asian Symposium {(ASCM} 2009), Fukuoka,
                  Japan, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing,
                  China, October 2012, Contributed Papers and Invited Talks},
  pages        = {3--7},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-662-43799-5\_1},
  doi          = {10.1007/978-3-662-43799-5\_1},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ascm/Kaltofen12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ascm/LeiZR12,
  author       = {Na Lei and
                  Xiaopeng Zheng and
                  Yuxue Ren},
  editor       = {Ruyong Feng and
                  Wen{-}shin Lee and
                  Yosuke Sato},
  title        = {The Vanishing Ideal of a Finite Set of Points with Multiplicity Structures},
  booktitle    = {Computer Mathematics, 9th Asian Symposium {(ASCM} 2009), Fukuoka,
                  Japan, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing,
                  China, October 2012, Contributed Papers and Invited Talks},
  pages        = {275--296},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-662-43799-5\_21},
  doi          = {10.1007/978-3-662-43799-5\_21},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ascm/LeiZR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ascm/LiSW12,
  author       = {Yaohui Li and
                  Yuqing Song and
                  Zhifeng Wu},
  editor       = {Ruyong Feng and
                  Wen{-}shin Lee and
                  Yosuke Sato},
  title        = {Signature-Based Method of Deciding Program Termination},
  booktitle    = {Computer Mathematics, 9th Asian Symposium {(ASCM} 2009), Fukuoka,
                  Japan, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing,
                  China, October 2012, Contributed Papers and Invited Talks},
  pages        = {297--310},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-662-43799-5\_22},
  doi          = {10.1007/978-3-662-43799-5\_22},
  timestamp    = {Tue, 06 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ascm/LiSW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ascm/LiuOO12,
  author       = {Xuefeng Liu and
                  Tomoaki Okayama and
                  Shin'ichi Oishi},
  editor       = {Ruyong Feng and
                  Wen{-}shin Lee and
                  Yosuke Sato},
  title        = {High-Precision Eigenvalue Bound for the Laplacian with Singularities},
  booktitle    = {Computer Mathematics, 9th Asian Symposium {(ASCM} 2009), Fukuoka,
                  Japan, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing,
                  China, October 2012, Contributed Papers and Invited Talks},
  pages        = {311--323},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-662-43799-5\_23},
  doi          = {10.1007/978-3-662-43799-5\_23},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ascm/LiuOO12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ascm/MazaX12,
  author       = {Marc Moreno Maza and
                  Rong Xiao},
  editor       = {Ruyong Feng and
                  Wen{-}shin Lee and
                  Yosuke Sato},
  title        = {Degree and Dimension Estimates for Invariant Ideals of {\textbackslash}(P{\textbackslash})
                  -Solvable Recurrences},
  booktitle    = {Computer Mathematics, 9th Asian Symposium {(ASCM} 2009), Fukuoka,
                  Japan, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing,
                  China, October 2012, Contributed Papers and Invited Talks},
  pages        = {349--373},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-662-43799-5\_25},
  doi          = {10.1007/978-3-662-43799-5\_25},
  timestamp    = {Wed, 16 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ascm/MazaX12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ascm/MonaganP12,
  author       = {Michael B. Monagan and
                  Roman Pearce},
  editor       = {Ruyong Feng and
                  Wen{-}shin Lee and
                  Yosuke Sato},
  title        = {{POLY:} {A} New Polynomial Data Structure for Maple 17},
  booktitle    = {Computer Mathematics, 9th Asian Symposium {(ASCM} 2009), Fukuoka,
                  Japan, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing,
                  China, October 2012, Contributed Papers and Invited Talks},
  pages        = {325--348},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-662-43799-5\_24},
  doi          = {10.1007/978-3-662-43799-5\_24},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ascm/MonaganP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ascm/Schicho12,
  author       = {Josef Schicho},
  editor       = {Ruyong Feng and
                  Wen{-}shin Lee and
                  Yosuke Sato},
  title        = {Factorization of Motions},
  booktitle    = {Computer Mathematics, 9th Asian Symposium {(ASCM} 2009), Fukuoka,
                  Japan, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing,
                  China, October 2012, Contributed Papers and Invited Talks},
  pages        = {9--11},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-662-43799-5\_2},
  doi          = {10.1007/978-3-662-43799-5\_2},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ascm/Schicho12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ascm/ShenWX12,
  author       = {Fei Shen and
                  Wenyuan Wu and
                  Bican Xia},
  editor       = {Ruyong Feng and
                  Wen{-}shin Lee and
                  Yosuke Sato},
  title        = {Real Root Isolation of Polynomial Equations Based on Hybrid Computation},
  booktitle    = {Computer Mathematics, 9th Asian Symposium {(ASCM} 2009), Fukuoka,
                  Japan, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing,
                  China, October 2012, Contributed Papers and Invited Talks},
  pages        = {375--396},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-662-43799-5\_26},
  doi          = {10.1007/978-3-662-43799-5\_26},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ascm/ShenWX12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ascm/Wu12,
  author       = {Xiaoli Wu},
  editor       = {Ruyong Feng and
                  Wen{-}shin Lee and
                  Yosuke Sato},
  title        = {Resultant-Free Computation of Indefinite Hyperexponential Integrals},
  booktitle    = {Computer Mathematics, 9th Asian Symposium {(ASCM} 2009), Fukuoka,
                  Japan, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing,
                  China, October 2012, Contributed Papers and Invited Talks},
  pages        = {427--435},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-662-43799-5\_28},
  doi          = {10.1007/978-3-662-43799-5\_28},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ascm/Wu12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ascm/YangWH12,
  author       = {Jing Yang and
                  Dongming Wang and
                  Hoon Hong},
  editor       = {Ruyong Feng and
                  Wen{-}shin Lee and
                  Yosuke Sato},
  title        = {ImUp: {A} Maple Package for Uniformity-Improved Reparameterization
                  of Plane Curves},
  booktitle    = {Computer Mathematics, 9th Asian Symposium {(ASCM} 2009), Fukuoka,
                  Japan, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing,
                  China, October 2012, Contributed Papers and Invited Talks},
  pages        = {437--451},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-662-43799-5\_29},
  doi          = {10.1007/978-3-662-43799-5\_29},
  timestamp    = {Fri, 14 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ascm/YangWH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ascm/ZhangQW12,
  author       = {Wen Zhang and
                  Sanzheng Qiao and
                  Yimin Wei},
  editor       = {Ruyong Feng and
                  Wen{-}shin Lee and
                  Yosuke Sato},
  title        = {The Diagonal Reduction Algorithm Using Fast Givens},
  booktitle    = {Computer Mathematics, 9th Asian Symposium {(ASCM} 2009), Fukuoka,
                  Japan, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing,
                  China, October 2012, Contributed Papers and Invited Talks},
  pages        = {453--465},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-662-43799-5\_30},
  doi          = {10.1007/978-3-662-43799-5\_30},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ascm/ZhangQW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ascm/ZhangWJL12,
  author       = {Xiaoming Zhang and
                  Baofeng Wu and
                  Qingfang Jin and
                  Zhuojun Liu},
  editor       = {Ruyong Feng and
                  Wen{-}shin Lee and
                  Yosuke Sato},
  title        = {Constructing Generalized Bent Functions from Trace Forms of Galois
                  Rings},
  booktitle    = {Computer Mathematics, 9th Asian Symposium {(ASCM} 2009), Fukuoka,
                  Japan, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing,
                  China, October 2012, Contributed Papers and Invited Talks},
  pages        = {467--477},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-662-43799-5\_31},
  doi          = {10.1007/978-3-662-43799-5\_31},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ascm/ZhangWJL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ascm/ZhangYG12,
  author       = {Zhi{-}Yong Zhang and
                  Chun{-}Ming Yuan and
                  Xiao{-}Shan Gao},
  editor       = {Ruyong Feng and
                  Wen{-}shin Lee and
                  Yosuke Sato},
  title        = {Matrix Formulae of Differential Resultant for First Order Generic
                  Ordinary Differential Polynomials},
  booktitle    = {Computer Mathematics, 9th Asian Symposium {(ASCM} 2009), Fukuoka,
                  Japan, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing,
                  China, October 2012, Contributed Papers and Invited Talks},
  pages        = {479--503},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-662-43799-5\_32},
  doi          = {10.1007/978-3-662-43799-5\_32},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ascm/ZhangYG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ascm/Aono09,
  author       = {Yoshinori Aono},
  editor       = {Ruyong Feng and
                  Wen{-}shin Lee and
                  Yosuke Sato},
  title        = {Simplification of the Lattice Based Attack of Boneh and Durfee for
                  {RSA} Cryptoanalysis},
  booktitle    = {Computer Mathematics, 9th Asian Symposium {(ASCM} 2009), Fukuoka,
                  Japan, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing,
                  China, October 2012, Contributed Papers and Invited Talks},
  pages        = {15--32},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-662-43799-5\_3},
  doi          = {10.1007/978-3-662-43799-5\_3},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ascm/Aono09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ascm/BoulierCLM09,
  author       = {Fran{\c{c}}ois Boulier and
                  Changbo Chen and
                  Fran{\c{c}}ois Lemaire and
                  Marc Moreno Maza},
  editor       = {Ruyong Feng and
                  Wen{-}shin Lee and
                  Yosuke Sato},
  title        = {Real Root Isolation of Regular Chains},
  booktitle    = {Computer Mathematics, 9th Asian Symposium {(ASCM} 2009), Fukuoka,
                  Japan, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing,
                  China, October 2012, Contributed Papers and Invited Talks},
  pages        = {33--48},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-662-43799-5\_4},
  doi          = {10.1007/978-3-662-43799-5\_4},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ascm/BoulierCLM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ascm/ChengL09,
  author       = {Howard Cheng and
                  George Labahn},
  editor       = {Ruyong Feng and
                  Wen{-}shin Lee and
                  Yosuke Sato},
  title        = {A Practical Implementation of a Modular Algorithm for Ore Polynomial
                  Matrices},
  booktitle    = {Computer Mathematics, 9th Asian Symposium {(ASCM} 2009), Fukuoka,
                  Japan, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing,
                  China, October 2012, Contributed Papers and Invited Talks},
  pages        = {49--59},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-662-43799-5\_5},
  doi          = {10.1007/978-3-662-43799-5\_5},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ascm/ChengL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ascm/GiesbrechtLZ09,
  author       = {Mark Giesbrecht and
                  George Labahn and
                  Yang Zhang},
  editor       = {Ruyong Feng and
                  Wen{-}shin Lee and
                  Yosuke Sato},
  title        = {Computing Popov Forms of Matrices Over {PBW} Extensions},
  booktitle    = {Computer Mathematics, 9th Asian Symposium {(ASCM} 2009), Fukuoka,
                  Japan, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing,
                  China, October 2012, Contributed Papers and Invited Talks},
  pages        = {61--65},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-662-43799-5\_6},
  doi          = {10.1007/978-3-662-43799-5\_6},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ascm/GiesbrechtLZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ascm/Hoshi09,
  author       = {Akinari Hoshi},
  editor       = {Ruyong Feng and
                  Wen{-}shin Lee and
                  Yosuke Sato},
  title        = {On the Simplest Quartic Fields and Related Thue Equations},
  booktitle    = {Computer Mathematics, 9th Asian Symposium {(ASCM} 2009), Fukuoka,
                  Japan, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing,
                  China, October 2012, Contributed Papers and Invited Talks},
  pages        = {67--85},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-662-43799-5\_7},
  doi          = {10.1007/978-3-662-43799-5\_7},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ascm/Hoshi09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ascm/InoueN09,
  author       = {Shutaro Inoue and
                  Akira Nagai},
  editor       = {Ruyong Feng and
                  Wen{-}shin Lee and
                  Yosuke Sato},
  title        = {On the Implementation of Boolean Gr{\"{o}}bner Bases},
  booktitle    = {Computer Mathematics, 9th Asian Symposium {(ASCM} 2009), Fukuoka,
                  Japan, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing,
                  China, October 2012, Contributed Papers and Invited Talks},
  pages        = {87--92},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-662-43799-5\_8},
  doi          = {10.1007/978-3-662-43799-5\_8},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ascm/InoueN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ascm/Kredel09,
  author       = {Heinz Kredel},
  editor       = {Ruyong Feng and
                  Wen{-}shin Lee and
                  Yosuke Sato},
  title        = {Comprehensive Gr{\"{o}}bner Bases in a Java Computer Algebra
                  System},
  booktitle    = {Computer Mathematics, 9th Asian Symposium {(ASCM} 2009), Fukuoka,
                  Japan, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing,
                  China, October 2012, Contributed Papers and Invited Talks},
  pages        = {93--108},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-662-43799-5\_9},
  doi          = {10.1007/978-3-662-43799-5\_9},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ascm/Kredel09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ascm/Sasaki09,
  author       = {Tateaki Sasaki},
  editor       = {Ruyong Feng and
                  Wen{-}shin Lee and
                  Yosuke Sato},
  title        = {A Practical Method for Floating-Point Gr{\"{o}}bner Basis Computation},
  booktitle    = {Computer Mathematics, 9th Asian Symposium {(ASCM} 2009), Fukuoka,
                  Japan, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing,
                  China, October 2012, Contributed Papers and Invited Talks},
  pages        = {109--124},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-662-43799-5\_10},
  doi          = {10.1007/978-3-662-43799-5\_10},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ascm/Sasaki09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ascm/SasakiI09,
  author       = {Tateaki Sasaki and
                  Daiju Inaba},
  editor       = {Ruyong Feng and
                  Wen{-}shin Lee and
                  Yosuke Sato},
  title        = {Series-Expansion of Multivariate Algebraic Functions at Singular Points:
                  Nonmonic Case},
  booktitle    = {Computer Mathematics, 9th Asian Symposium {(ASCM} 2009), Fukuoka,
                  Japan, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing,
                  China, October 2012, Contributed Papers and Invited Talks},
  pages        = {125--140},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-662-43799-5\_11},
  doi          = {10.1007/978-3-662-43799-5\_11},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ascm/SasakiI09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ascm/Sekigawa09,
  author       = {Hiroshi Sekigawa},
  editor       = {Ruyong Feng and
                  Wen{-}shin Lee and
                  Yosuke Sato},
  title        = {A Sequence of Nearest Polynomials with Given Factors},
  booktitle    = {Computer Mathematics, 9th Asian Symposium {(ASCM} 2009), Fukuoka,
                  Japan, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing,
                  China, October 2012, Contributed Papers and Invited Talks},
  pages        = {141--145},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-662-43799-5\_12},
  doi          = {10.1007/978-3-662-43799-5\_12},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ascm/Sekigawa09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ascm/Sojka09,
  author       = {Petr Sojka},
  editor       = {Ruyong Feng and
                  Wen{-}shin Lee and
                  Yosuke Sato},
  title        = {Digitization Workflow in the Czech Digital Mathematics Library},
  booktitle    = {Computer Mathematics, 9th Asian Symposium {(ASCM} 2009), Fukuoka,
                  Japan, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing,
                  China, October 2012, Contributed Papers and Invited Talks},
  pages        = {147--156},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-662-43799-5\_13},
  doi          = {10.1007/978-3-662-43799-5\_13},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ascm/Sojka09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ascm/SunW09,
  author       = {Yao Sun and
                  Dingkang Wang},
  editor       = {Ruyong Feng and
                  Wen{-}shin Lee and
                  Yosuke Sato},
  title        = {The Implementation and Complexity Analysis of the Branch Gr{\"{o}}bner
                  Bases Algorithm Over Boolean Polynomial Rings},
  booktitle    = {Computer Mathematics, 9th Asian Symposium {(ASCM} 2009), Fukuoka,
                  Japan, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing,
                  China, October 2012, Contributed Papers and Invited Talks},
  pages        = {157--169},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-662-43799-5\_14},
  doi          = {10.1007/978-3-662-43799-5\_14},
  timestamp    = {Tue, 22 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ascm/SunW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ascm/XiongKLL09,
  author       = {C. Xiong and
                  Thomas W. Kelsey and
                  Stephen A. Linton and
                  Ulf Leonhardt},
  editor       = {Ruyong Feng and
                  Wen{-}shin Lee and
                  Yosuke Sato},
  title        = {Towards the Calculation of Casimir Forces for Inhomogeneous Planar
                  Media},
  booktitle    = {Computer Mathematics, 9th Asian Symposium {(ASCM} 2009), Fukuoka,
                  Japan, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing,
                  China, October 2012, Contributed Papers and Invited Talks},
  pages        = {171--180},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-662-43799-5\_15},
  doi          = {10.1007/978-3-662-43799-5\_15},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ascm/XiongKLL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.