Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/casc/Abramov16,
  author       = {Sergei A. Abramov},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {On the Differential and Full Algebraic Complexities of Operator Matrices
                  Transformations},
  booktitle    = {Computer Algebra in Scientific Computing - 18th International Workshop,
                  {CASC} 2016, Bucharest, Romania, September 19-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9890},
  pages        = {1--14},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45641-6\_1},
  doi          = {10.1007/978-3-319-45641-6\_1},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/Abramov16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/AlbertS16,
  author       = {Mario Albert and
                  Werner M. Seiler},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {Resolving Decompositions for Polynomial Modules},
  booktitle    = {Computer Algebra in Scientific Computing - 18th International Workshop,
                  {CASC} 2016, Bucharest, Romania, September 19-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9890},
  pages        = {15--29},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45641-6\_2},
  doi          = {10.1007/978-3-319-45641-6\_2},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/AlbertS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/AuzingerHHK16,
  author       = {Winfried Auzinger and
                  Wolfgang Herfort and
                  Harald Hofst{\"{a}}tter and
                  Othmar Koch},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {Setup of Order Conditions for Splitting Methods},
  booktitle    = {Computer Algebra in Scientific Computing - 18th International Workshop,
                  {CASC} 2016, Bucharest, Romania, September 19-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9890},
  pages        = {30--42},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45641-6\_3},
  doi          = {10.1007/978-3-319-45641-6\_3},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/AuzingerHHK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/AuzingerHK16,
  author       = {Winfried Auzinger and
                  Harald Hofst{\"{a}}tter and
                  Othmar Koch},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {Symbolic Manipulation of Flows of Nonlinear Evolution Equations, with
                  Application in the Analysis of Split-Step Time Integrators},
  booktitle    = {Computer Algebra in Scientific Computing - 18th International Workshop,
                  {CASC} 2016, Bucharest, Romania, September 19-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9890},
  pages        = {43--57},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45641-6\_4},
  doi          = {10.1007/978-3-319-45641-6\_4},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/AuzingerHK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/BinaeiHS16,
  author       = {Bentolhoda Binaei and
                  Amir Hashemi and
                  Werner M. Seiler},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {Improved Computation of Involutive Bases},
  booktitle    = {Computer Algebra in Scientific Computing - 18th International Workshop,
                  {CASC} 2016, Bucharest, Romania, September 19-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9890},
  pages        = {58--72},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45641-6\_5},
  doi          = {10.1007/978-3-319-45641-6\_5},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/BinaeiHS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/BlissV16,
  author       = {Nathan Bliss and
                  Jan Verschelde},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {Computing All Space Curve Solutions of Polynomial Systems by Polyhedral
                  Methods},
  booktitle    = {Computer Algebra in Scientific Computing - 18th International Workshop,
                  {CASC} 2016, Bucharest, Romania, September 19-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9890},
  pages        = {73--86},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45641-6\_6},
  doi          = {10.1007/978-3-319-45641-6\_6},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/BlissV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/BogdanovKS16,
  author       = {D. V. Bogdanov and
                  Alexey A. Kytmanov and
                  Timur M. Sadykov},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {Algorithmic Computation of Polynomial Amoebas},
  booktitle    = {Computer Algebra in Scientific Computing - 18th International Workshop,
                  {CASC} 2016, Bucharest, Romania, September 19-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9890},
  pages        = {87--100},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45641-6\_7},
  doi          = {10.1007/978-3-319-45641-6\_7},
  timestamp    = {Thu, 25 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/BogdanovKS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/BouillaguetD16,
  author       = {Charles Bouillaguet and
                  Claire Delaplace},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {Sparse Gaussian Elimination Modulo p: An Update},
  booktitle    = {Computer Algebra in Scientific Computing - 18th International Workshop,
                  {CASC} 2016, Bucharest, Romania, September 19-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9890},
  pages        = {101--116},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45641-6\_8},
  doi          = {10.1007/978-3-319-45641-6\_8},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/BouillaguetD16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/BrightGHKNC16,
  author       = {Curtis Bright and
                  Vijay Ganesh and
                  Albert Heinle and
                  Ilias S. Kotsireas and
                  Saeed Nejati and
                  Krzysztof Czarnecki},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {MathCheck2: {A} {SAT+CAS} Verifier for Combinatorial Conjectures},
  booktitle    = {Computer Algebra in Scientific Computing - 18th International Workshop,
                  {CASC} 2016, Bucharest, Romania, September 19-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9890},
  pages        = {117--133},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45641-6\_9},
  doi          = {10.1007/978-3-319-45641-6\_9},
  timestamp    = {Fri, 30 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/BrightGHKNC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/CaludeT16,
  author       = {Cristian S. Calude and
                  Declan Thompson},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {Incompleteness, Undecidability and Automated Proofs - (Invited Talk)},
  booktitle    = {Computer Algebra in Scientific Computing - 18th International Workshop,
                  {CASC} 2016, Bucharest, Romania, September 19-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9890},
  pages        = {134--155},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45641-6\_10},
  doi          = {10.1007/978-3-319-45641-6\_10},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/CaludeT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/ChenW16,
  author       = {Changbo Chen and
                  Wenyuan Wu},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {A Numerical Method for Computing Border Curves of Bi-parametric Real
                  Polynomial Systems and Applications},
  booktitle    = {Computer Algebra in Scientific Computing - 18th International Workshop,
                  {CASC} 2016, Bucharest, Romania, September 19-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9890},
  pages        = {156--171},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45641-6\_11},
  doi          = {10.1007/978-3-319-45641-6\_11},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/ChenW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/EnglandD16,
  author       = {Matthew England and
                  James H. Davenport},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {The Complexity of Cylindrical Algebraic Decomposition with Respect
                  to Polynomial Degree},
  booktitle    = {Computer Algebra in Scientific Computing - 18th International Workshop,
                  {CASC} 2016, Bucharest, Romania, September 19-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9890},
  pages        = {172--192},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45641-6\_12},
  doi          = {10.1007/978-3-319-45641-6\_12},
  timestamp    = {Mon, 31 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/EnglandD16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/Erascu16,
  author       = {Madalina Erascu},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {Efficient Simplification Techniques for Special Real Quantifier Elimination
                  with Applications to the Synthesis of Optimal Numerical Algorithms},
  booktitle    = {Computer Algebra in Scientific Computing - 18th International Workshop,
                  {CASC} 2016, Bucharest, Romania, September 19-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9890},
  pages        = {193--211},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45641-6\_13},
  doi          = {10.1007/978-3-319-45641-6\_13},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/Erascu16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/GusevGHDVC16,
  author       = {Alexander Gusev and
                  Vladimir P. Gerdt and
                  Luong Le Hai and
                  V. L. Derbov and
                  Sergey I. Vinitsky and
                  Ochbadrakh Chuluunbaatar},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {Symbolic-Numeric Algorithms for Solving BVPs for a System of ODEs
                  of the Second Order: Multichannel Scattering and Eigenvalue Problems},
  booktitle    = {Computer Algebra in Scientific Computing - 18th International Workshop,
                  {CASC} 2016, Bucharest, Romania, September 19-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9890},
  pages        = {212--227},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45641-6\_14},
  doi          = {10.1007/978-3-319-45641-6\_14},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/GusevGHDVC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/GusevGVDGPSD16,
  author       = {A. A. Gusev and
                  Vladimir P. Gerdt and
                  Sergey I. Vinitsky and
                  V. L. Derbov and
                  Andrzej G{\'{o}}zdz and
                  Aleksandra Pedrak and
                  A. Szulerecka and
                  A. Dobrowolski},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {Symbolic Algorithm for Generating Irreducible Rotational-Vibrational
                  Bases of Point Groups},
  booktitle    = {Computer Algebra in Scientific Computing - 18th International Workshop,
                  {CASC} 2016, Bucharest, Romania, September 19-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9890},
  pages        = {228--242},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45641-6\_15},
  doi          = {10.1007/978-3-319-45641-6\_15},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/GusevGVDGPSD16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/GutnikS16,
  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 Investigation of the Influence of Aerodynamic Forces on
                  Satellite Equilibria},
  booktitle    = {Computer Algebra in Scientific Computing - 18th International Workshop,
                  {CASC} 2016, Bucharest, Romania, September 19-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9890},
  pages        = {243--254},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45641-6\_16},
  doi          = {10.1007/978-3-319-45641-6\_16},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/GutnikS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/Hahn16,
  author       = {Thomas Hahn},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {Computer Algebra in High-Energy Physics (Invited Talk)},
  booktitle    = {Computer Algebra in Scientific Computing - 18th International Workshop,
                  {CASC} 2016, Bucharest, Romania, September 19-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9890},
  pages        = {255--275},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45641-6\_17},
  doi          = {10.1007/978-3-319-45641-6\_17},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/Hahn16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/HashemiT16,
  author       = {Amir Hashemi and
                  Delaram Talaashrafi},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {A Note on Dynamic Gr{\"{o}}bner Bases Computation},
  booktitle    = {Computer Algebra in Scientific Computing - 18th International Workshop,
                  {CASC} 2016, Bucharest, Romania, September 19-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9890},
  pages        = {276--288},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45641-6\_18},
  doi          = {10.1007/978-3-319-45641-6\_18},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/HashemiT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/IrtegovT16,
  author       = {Valentin Irtegov and
                  Tatiana Titorenko},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {Qualitative Analysis of the Reyman - Semenov-Tian-Shansky Integrable
                  Case of the Generalized Kowalewski Top},
  booktitle    = {Computer Algebra in Scientific Computing - 18th International Workshop,
                  {CASC} 2016, Bucharest, Romania, September 19-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9890},
  pages        = {289--304},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45641-6\_19},
  doi          = {10.1007/978-3-319-45641-6\_19},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/IrtegovT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/Kalinina16,
  author       = {Elizabeth A. Kalinina},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {On Multiple Eigenvalues of a Matrix Dependent on a Parameter},
  booktitle    = {Computer Algebra in Scientific Computing - 18th International Workshop,
                  {CASC} 2016, Bucharest, Romania, September 19-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9890},
  pages        = {305--314},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45641-6\_20},
  doi          = {10.1007/978-3-319-45641-6\_20},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/Kalinina16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/KremerCA16,
  author       = {Gereon Kremer and
                  Florian Corzilius and
                  Erika {\'{A}}brah{\'{a}}m},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {A Generalised Branch-and-Bound Approach and Its Application in {SAT}
                  Modulo Nonlinear Integer Arithmetic},
  booktitle    = {Computer Algebra in Scientific Computing - 18th International Workshop,
                  {CASC} 2016, Bucharest, Romania, September 19-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9890},
  pages        = {315--335},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45641-6\_21},
  doi          = {10.1007/978-3-319-45641-6\_21},
  timestamp    = {Thu, 23 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/KremerCA16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/LawM16,
  author       = {Marshall Law and
                  Michael B. Monagan},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {Computing Characteristic Polynomials of Matrices of Structured Polynomials},
  booktitle    = {Computer Algebra in Scientific Computing - 18th International Workshop,
                  {CASC} 2016, Bucharest, Romania, September 19-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9890},
  pages        = {336--348},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45641-6\_22},
  doi          = {10.1007/978-3-319-45641-6\_22},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/LawM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/LemaireT16,
  author       = {Fran{\c{c}}ois Lemaire and
                  Alexandre Temperville},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {Computing Sparse Representations of Systems of Rational Fractions},
  booktitle    = {Computer Algebra in Scientific Computing - 18th International Workshop,
                  {CASC} 2016, Bucharest, Romania, September 19-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9890},
  pages        = {349--366},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45641-6\_23},
  doi          = {10.1007/978-3-319-45641-6\_23},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/LemaireT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/MichelsLGHRW16,
  author       = {Dominik L. Michels and
                  Dmitry A. Lyakhov and
                  Vladimir P. Gerdt and
                  Zahid Hossain and
                  Ingmar H. Riedel{-}Kruse and
                  Andreas G. Weber},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {On the General Analytical Solution of the Kinematic Cosserat Equations},
  booktitle    = {Computer Algebra in Scientific Computing - 18th International Workshop,
                  {CASC} 2016, Bucharest, Romania, September 19-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9890},
  pages        = {367--380},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45641-6\_24},
  doi          = {10.1007/978-3-319-45641-6\_24},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/MichelsLGHRW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/MonaganT16,
  author       = {Michael B. Monagan and
                  Baris Tuncer},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {Using Sparse Interpolation in Hensel Lifting},
  booktitle    = {Computer Algebra in Scientific Computing - 18th International Workshop,
                  {CASC} 2016, Bucharest, Romania, September 19-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9890},
  pages        = {381--400},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45641-6\_25},
  doi          = {10.1007/978-3-319-45641-6\_25},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/MonaganT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/Monniaux16,
  author       = {David Monniaux},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {A Survey of Satisfiability Modulo Theory},
  booktitle    = {Computer Algebra in Scientific Computing - 18th International Workshop,
                  {CASC} 2016, Bucharest, Romania, September 19-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9890},
  pages        = {401--425},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45641-6\_26},
  doi          = {10.1007/978-3-319-45641-6\_26},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/Monniaux16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/PlutaMKR16,
  author       = {Kacper Pluta and
                  Guillaume Moroz and
                  Yukiko Kenmochi and
                  Pascal Romon},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {Quadric Arrangement in Classifying Rigid Motions of a 3D Digital Image},
  booktitle    = {Computer Algebra in Scientific Computing - 18th International Workshop,
                  {CASC} 2016, Bucharest, Romania, September 19-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9890},
  pages        = {426--443},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45641-6\_27},
  doi          = {10.1007/978-3-319-45641-6\_27},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/PlutaMKR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/PrabhakarS16,
  author       = {Swaroop N. Prabhakar and
                  Vikram Sharma},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {A Lower Bound for Computing Lagrange's Real Root Bound},
  booktitle    = {Computer Algebra in Scientific Computing - 18th International Workshop,
                  {CASC} 2016, Bucharest, Romania, September 19-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9890},
  pages        = {444--456},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45641-6\_28},
  doi          = {10.1007/978-3-319-45641-6\_28},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/PrabhakarS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/SasakiI16,
  author       = {Tateaki Sasaki and
                  Daiju Inaba},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {Enhancing the Extended Hensel Construction by Using Gr{\"{o}}bner
                  Bases},
  booktitle    = {Computer Algebra in Scientific Computing - 18th International Workshop,
                  {CASC} 2016, Bucharest, Romania, September 19-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9890},
  pages        = {457--472},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45641-6\_29},
  doi          = {10.1007/978-3-319-45641-6\_29},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/SasakiI16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/ShapeevV16,
  author       = {Vasily P. Shapeev and
                  Evgenii V. Vorozhtsov},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {Symbolic-Numerical Optimization and Realization of the Method of Collocations
                  and Least Residuals for Solving the Navier-Stokes Equations},
  booktitle    = {Computer Algebra in Scientific Computing - 18th International Workshop,
                  {CASC} 2016, Bucharest, Romania, September 19-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9890},
  pages        = {473--488},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45641-6\_30},
  doi          = {10.1007/978-3-319-45641-6\_30},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/ShapeevV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/SommarsV16,
  author       = {Jeff Sommars and
                  Jan Verschelde},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {Pruning Algorithms for Pretropisms of Newton Polytopes},
  booktitle    = {Computer Algebra in Scientific Computing - 18th International Workshop,
                  {CASC} 2016, Bucharest, Romania, September 19-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9890},
  pages        = {489--503},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45641-6\_31},
  doi          = {10.1007/978-3-319-45641-6\_31},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/SommarsV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/Stefanescu16,
  author       = {Doru Stefanescu},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {Computational Aspects of a Bound of Lagrange},
  booktitle    = {Computer Algebra in Scientific Computing - 18th International Workshop,
                  {CASC} 2016, Bucharest, Romania, September 19-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9890},
  pages        = {504--511},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45641-6\_32},
  doi          = {10.1007/978-3-319-45641-6\_32},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/Stefanescu16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/casc/2016,
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Werner M. Seiler and
                  Evgenii V. Vorozhtsov},
  title        = {Computer Algebra in Scientific Computing - 18th International Workshop,
                  {CASC} 2016, Bucharest, Romania, September 19-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9890},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45641-6},
  doi          = {10.1007/978-3-319-45641-6},
  isbn         = {978-3-319-45640-9},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/2016.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.