Search dblp for Publications

export results for "toc:db/conf/casc/casc2017.bht:"

 download as .bib file

@inproceedings{DBLP:conf/casc/Abramov17,
  author       = {Sergei A. Abramov},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {Linear Differential Systems with Infinite Power Series Coefficients
                  (Invited Talk)},
  booktitle    = {Computer Algebra in Scientific Computing - 19th International Workshop,
                  {CASC} 2017, Beijing, China, September 18-22, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10490},
  pages        = {1--15},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66320-3\_1},
  doi          = {10.1007/978-3-319-66320-3\_1},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/Abramov17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/Banshchikov17,
  author       = {Andrei V. Banshchikov},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {On the Asymptotic Stability of a Satellite with a Gravitational Stabilizer},
  booktitle    = {Computer Algebra in Scientific Computing - 19th International Workshop,
                  {CASC} 2017, Beijing, China, September 18-22, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10490},
  pages        = {16--26},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66320-3\_2},
  doi          = {10.1007/978-3-319-66320-3\_2},
  timestamp    = {Thu, 07 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/Banshchikov17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/BrianiCL17,
  author       = {Matteo Briani and
                  Annie A. M. Cuyt and
                  Wen{-}shin Lee},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {Sparse Interpolation, the {FFT} Algorithm and {FIR} Filters},
  booktitle    = {Computer Algebra in Scientific Computing - 19th International Workshop,
                  {CASC} 2017, Beijing, China, September 18-22, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10490},
  pages        = {27--39},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66320-3\_3},
  doi          = {10.1007/978-3-319-66320-3\_3},
  timestamp    = {Thu, 07 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/BrianiCL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/BrunoER17,
  author       = {Alexander D. Bruno and
                  Victor F. Edneral and
                  Valery G. Romanovski},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {On New Integrals of the Algaba-Gamero-Garcia System},
  booktitle    = {Computer Algebra in Scientific Computing - 19th International Workshop,
                  {CASC} 2017, Beijing, China, September 18-22, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10490},
  pages        = {40--50},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66320-3\_4},
  doi          = {10.1007/978-3-319-66320-3\_4},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/BrunoER17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/ChenWF17,
  author       = {Changbo Chen and
                  Wenyuan Wu and
                  Yong Feng},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {Full Rank Representation of Real Algebraic Sets and Applications},
  booktitle    = {Computer Algebra in Scientific Computing - 19th International Workshop,
                  {CASC} 2017, Beijing, China, September 18-22, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10490},
  pages        = {51--65},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66320-3\_5},
  doi          = {10.1007/978-3-319-66320-3\_5},
  timestamp    = {Thu, 07 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/ChenWF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/ChengD17,
  author       = {Jin{-}San Cheng and
                  Xiaojie Dou},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {Certifying Simple Zeros of Over-Determined Polynomial Systems},
  booktitle    = {Computer Algebra in Scientific Computing - 19th International Workshop,
                  {CASC} 2017, Beijing, China, September 18-22, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10490},
  pages        = {66--76},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66320-3\_6},
  doi          = {10.1007/978-3-319-66320-3\_6},
  timestamp    = {Thu, 07 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/ChengD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/DongM17,
  author       = {Rina Dong and
                  Chenqi Mou},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {Decomposing Polynomial Sets Simultaneously into Gr{\"{o}}bner
                  Bases and Normal Triangular Sets},
  booktitle    = {Computer Algebra in Scientific Computing - 19th International Workshop,
                  {CASC} 2017, Beijing, China, September 18-22, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10490},
  pages        = {77--92},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66320-3\_7},
  doi          = {10.1007/978-3-319-66320-3\_7},
  timestamp    = {Thu, 07 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/DongM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/EnglandEGR0017,
  author       = {Matthew England and
                  Hassan Errami and
                  Dima Grigoriev and
                  Ovidiu Radulescu and
                  Thomas Sturm and
                  Andreas Weber},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {Symbolic Versus Numerical Computation and Visualization of Parameter
                  Regions for Multistationarity of Biological Networks},
  booktitle    = {Computer Algebra in Scientific Computing - 19th International Workshop,
                  {CASC} 2017, Beijing, China, September 18-22, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10490},
  pages        = {93--108},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66320-3\_8},
  doi          = {10.1007/978-3-319-66320-3\_8},
  timestamp    = {Mon, 31 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/EnglandEGR0017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/EpureRS17,
  author       = {Raul Epure and
                  Yue Ren and
                  Hans Sch{\"{o}}nemann},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {The Polymake Interface in Singular and Its Applications},
  booktitle    = {Computer Algebra in Scientific Computing - 19th International Workshop,
                  {CASC} 2017, Beijing, China, September 18-22, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10490},
  pages        = {109--117},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66320-3\_9},
  doi          = {10.1007/978-3-319-66320-3\_9},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/EpureRS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/FanJP17,
  author       = {W. L. Fan and
                  D. J. Jeffrey and
                  Erik Postma},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {Computation of Some Integer Sequences in Maple},
  booktitle    = {Computer Algebra in Scientific Computing - 19th International Workshop,
                  {CASC} 2017, Beijing, China, September 18-22, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10490},
  pages        = {118--133},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66320-3\_10},
  doi          = {10.1007/978-3-319-66320-3\_10},
  timestamp    = {Thu, 07 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/FanJP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/GusevGCCVDG17,
  author       = {A. A. Gusev and
                  Vladimir P. Gerdt and
                  Ochbadrakh Chuluunbaatar and
                  G. Chuluunbaatar and
                  Sergey I. Vinitsky and
                  V. L. Derbov and
                  Andrzej G{\'{o}}zdz},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {Symbolic-Numerical Algorithm for Generating Interpolation Multivariate
                  Hermite Polynomials of High-Accuracy Finite Element Method},
  booktitle    = {Computer Algebra in Scientific Computing - 19th International Workshop,
                  {CASC} 2017, Beijing, China, September 18-22, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10490},
  pages        = {134--150},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66320-3\_11},
  doi          = {10.1007/978-3-319-66320-3\_11},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/GusevGCCVDG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/GusevGCCVDG17a,
  author       = {A. A. Gusev and
                  Vladimir P. Gerdt and
                  Ochbadrakh Chuluunbaatar and
                  G. Chuluunbaatar and
                  Sergey I. Vinitsky and
                  V. L. Derbov and
                  Andrzej G{\'{o}}zdz},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {Symbolic-Numerical Algorithms for Solving the Parametric Self-adjoint
                  2D Elliptic Boundary-Value Problem Using High-Accuracy Finite Element
                  Method},
  booktitle    = {Computer Algebra in Scientific Computing - 19th International Workshop,
                  {CASC} 2017, Beijing, China, September 18-22, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10490},
  pages        = {151--166},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66320-3\_12},
  doi          = {10.1007/978-3-319-66320-3\_12},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/GusevGCCVDG17a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/GutnikS17,
  author       = {Sergey A. Gutnik and
                  Vasily A. Sarychev},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {A Symbolic Study of the Satellite Dynamics Subject to Damping Torques},
  booktitle    = {Computer Algebra in Scientific Computing - 19th International Workshop,
                  {CASC} 2017, Beijing, China, September 18-22, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10490},
  pages        = {167--182},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66320-3\_13},
  doi          = {10.1007/978-3-319-66320-3\_13},
  timestamp    = {Thu, 07 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/GutnikS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/HuG17,
  author       = {Youren Hu and
                  Xiao{-}Shan Gao},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {Characteristic Set Method for Laurent Differential Polynomial Systems},
  booktitle    = {Computer Algebra in Scientific Computing - 19th International Workshop,
                  {CASC} 2017, Beijing, China, September 18-22, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10490},
  pages        = {183--195},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66320-3\_14},
  doi          = {10.1007/978-3-319-66320-3\_14},
  timestamp    = {Thu, 07 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/HuG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/HuangG17,
  author       = {Qiao{-}Long Huang and
                  Xiao{-}Shan Gao},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {Sparse Polynomial Interpolation with Finitely Many Values for the
                  Coefficients},
  booktitle    = {Computer Algebra in Scientific Computing - 19th International Workshop,
                  {CASC} 2017, Beijing, China, September 18-22, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10490},
  pages        = {196--209},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66320-3\_15},
  doi          = {10.1007/978-3-319-66320-3\_15},
  timestamp    = {Thu, 07 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/HuangG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/IrtegovT17,
  author       = {Valentin Irtegov and
                  Tatyana Titorenko},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {On Stationary Motions of the Generalized Kowalewski Gyrostat and Their
                  Stability},
  booktitle    = {Computer Algebra in Scientific Computing - 19th International Workshop,
                  {CASC} 2017, Beijing, China, September 18-22, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10490},
  pages        = {210--224},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66320-3\_16},
  doi          = {10.1007/978-3-319-66320-3\_16},
  timestamp    = {Thu, 07 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/IrtegovT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/JingM17,
  author       = {Rui{-}Juan Jing and
                  Marc Moreno Maza},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {Computing the Integer Points of a Polyhedron, {I:} Algorithm},
  booktitle    = {Computer Algebra in Scientific Computing - 19th International Workshop,
                  {CASC} 2017, Beijing, China, September 18-22, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10490},
  pages        = {225--241},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66320-3\_17},
  doi          = {10.1007/978-3-319-66320-3\_17},
  timestamp    = {Thu, 07 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/JingM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/JingM17a,
  author       = {Rui{-}Juan Jing and
                  Marc Moreno Maza},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {Computing the Integer Points of a Polyhedron, {II:} Complexity Estimates},
  booktitle    = {Computer Algebra in Scientific Computing - 19th International Workshop,
                  {CASC} 2017, Beijing, China, September 18-22, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10490},
  pages        = {242--256},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66320-3\_18},
  doi          = {10.1007/978-3-319-66320-3\_18},
  timestamp    = {Thu, 07 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/JingM17a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/KozeraN17,
  author       = {Ryszard Kozera and
                  Lyle Noakes},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {Non-linearity and Non-convexity in Optimal Knots Selection for Sparse
                  Reduced Data},
  booktitle    = {Computer Algebra in Scientific Computing - 19th International Workshop,
                  {CASC} 2017, Beijing, China, September 18-22, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10490},
  pages        = {257--271},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66320-3\_19},
  doi          = {10.1007/978-3-319-66320-3\_19},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/KozeraN17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/LiWZ17,
  author       = {Zhe Li and
                  Baocheng Wan and
                  Shugong Zhang},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {The Convergence Conditions of Interval Newton's Method Based on Point
                  Estimates},
  booktitle    = {Computer Algebra in Scientific Computing - 19th International Workshop,
                  {CASC} 2017, Beijing, China, September 18-22, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10490},
  pages        = {272--284},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66320-3\_20},
  doi          = {10.1007/978-3-319-66320-3\_20},
  timestamp    = {Thu, 07 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/LiWZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/Liu17,
  author       = {Jiang Liu},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {Normalization of Indexed Differentials Based on Function Distance
                  Invariants},
  booktitle    = {Computer Algebra in Scientific Computing - 19th International Workshop,
                  {CASC} 2017, Beijing, China, September 18-22, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10490},
  pages        = {285--300},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66320-3\_21},
  doi          = {10.1007/978-3-319-66320-3\_21},
  timestamp    = {Thu, 07 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/Liu17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/LyakhovGWM17,
  author       = {Dmitry A. Lyakhov and
                  Vladimir P. Gerdt and
                  Andreas G. Weber and
                  Dominik L. Michels},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {Symbolic-Numeric Integration of the Dynamical Cosserat Equations},
  booktitle    = {Computer Algebra in Scientific Computing - 19th International Workshop,
                  {CASC} 2017, Beijing, China, September 18-22, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10490},
  pages        = {301--312},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66320-3\_22},
  doi          = {10.1007/978-3-319-66320-3\_22},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/LyakhovGWM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/NeigerRS17,
  author       = {Vincent Neiger and
                  Hamid Rahkooy and
                  {\'{E}}ric Schost},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {Algorithms for Zero-Dimensional Ideals Using Linear Recurrent Sequences},
  booktitle    = {Computer Algebra in Scientific Computing - 19th International Workshop,
                  {CASC} 2017, Beijing, China, September 18-22, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10490},
  pages        = {313--328},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66320-3\_23},
  doi          = {10.1007/978-3-319-66320-3\_23},
  timestamp    = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/NeigerRS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/Prokopenya17,
  author       = {Alexander N. Prokopenya},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {Symbolic-Numerical Analysis of the Relative Equilibria Stability in
                  the Planar Circular Restricted Four-Body Problem},
  booktitle    = {Computer Algebra in Scientific Computing - 19th International Workshop,
                  {CASC} 2017, Beijing, China, September 18-22, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10490},
  pages        = {329--345},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66320-3\_24},
  doi          = {10.1007/978-3-319-66320-3\_24},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/Prokopenya17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/ShapeevV17,
  author       = {Vasily P. Shapeev and
                  Evgenii V. Vorozhtsov},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {The Method of Collocations and Least Residuals Combining the Integral
                  Form of Collocation Equations and the Matching Differential Relations
                  at the Solution of PDEs},
  booktitle    = {Computer Algebra in Scientific Computing - 19th International Workshop,
                  {CASC} 2017, Beijing, China, September 18-22, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10490},
  pages        = {346--361},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66320-3\_25},
  doi          = {10.1007/978-3-319-66320-3\_25},
  timestamp    = {Thu, 07 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/ShapeevV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/WangWX17,
  author       = {Yu Wang and
                  Wenyuan Wu and
                  Bican Xia},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {A Special Homotopy Continuation Method for a Class of Polynomial Systems},
  booktitle    = {Computer Algebra in Scientific Computing - 19th International Workshop,
                  {CASC} 2017, Beijing, China, September 18-22, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10490},
  pages        = {362--376},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66320-3\_26},
  doi          = {10.1007/978-3-319-66320-3\_26},
  timestamp    = {Thu, 07 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/WangWX17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/WuCR17,
  author       = {Wenyuan Wu and
                  Changbo Chen and
                  Greg Reid},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {Penalty Function Based Critical Point Approach to Compute Real Witness
                  Solution Points of Polynomial Systems},
  booktitle    = {Computer Algebra in Scientific Computing - 19th International Workshop,
                  {CASC} 2017, Beijing, China, September 18-22, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10490},
  pages        = {377--391},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66320-3\_27},
  doi          = {10.1007/978-3-319-66320-3\_27},
  timestamp    = {Thu, 07 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/WuCR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/Zhi17,
  author       = {Lihong Zhi},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {Computing Multiple Zeros of Polynomial Systems: Case of Breadth One
                  (Invited Talk)},
  booktitle    = {Computer Algebra in Scientific Computing - 19th International Workshop,
                  {CASC} 2017, Beijing, China, September 18-22, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10490},
  pages        = {392--405},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66320-3\_28},
  doi          = {10.1007/978-3-319-66320-3\_28},
  timestamp    = {Thu, 07 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/Zhi17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/casc/2017,
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {Computer Algebra in Scientific Computing - 19th International Workshop,
                  {CASC} 2017, Beijing, China, September 18-22, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10490},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66320-3},
  doi          = {10.1007/978-3-319-66320-3},
  isbn         = {978-3-319-66319-7},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/2017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics