Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/casc/Abelard20,
  author       = {Simon Abelard},
  editor       = {Fran{\c{c}}ois Boulier and
                  Matthew England and
                  Timur M. Sadykov and
                  Evgenii V. Vorozhtsov},
  title        = {On the Complexity of Computing Integral Bases of Function Fields},
  booktitle    = {Computer Algebra in Scientific Computing - 22nd International Workshop,
                  {CASC} 2020, Linz, Austria, September 14-18, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12291},
  pages        = {42--62},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-60026-6\_3},
  doi          = {10.1007/978-3-030-60026-6\_3},
  timestamp    = {Mon, 31 Jan 2022 07:36:54 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/Abelard20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/AbramovKR20,
  author       = {Sergei A. Abramov and
                  Denis E. Khmelnov and
                  Anna A. Ryabenko},
  editor       = {Fran{\c{c}}ois Boulier and
                  Matthew England and
                  Timur M. Sadykov and
                  Evgenii V. Vorozhtsov},
  title        = {Truncated and Infinite Power Series in the Role of Coefficients of
                  Linear Ordinary Differential Equations},
  booktitle    = {Computer Algebra in Scientific Computing - 22nd International Workshop,
                  {CASC} 2020, Linz, Austria, September 14-18, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12291},
  pages        = {63--76},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-60026-6\_4},
  doi          = {10.1007/978-3-030-60026-6\_4},
  timestamp    = {Sat, 14 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/AbramovKR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/AyryanMSY20,
  author       = {Edik A. Ayryan and
                  Mikhail D. Malykh and
                  Leonid A. Sevastianov and
                  Yu Ying},
  editor       = {Fran{\c{c}}ois Boulier and
                  Matthew England and
                  Timur M. Sadykov and
                  Evgenii V. Vorozhtsov},
  title        = {On Periodic Approximate Solutions of the Three-Body Problem Found
                  by Conservative Difference Schemes},
  booktitle    = {Computer Algebra in Scientific Computing - 22nd International Workshop,
                  {CASC} 2020, Linz, Austria, September 14-18, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12291},
  pages        = {77--90},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-60026-6\_5},
  doi          = {10.1007/978-3-030-60026-6\_5},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/AyryanMSY20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/BodratoZ20,
  author       = {Marco Bodrato and
                  Alberto Zanoni},
  editor       = {Fran{\c{c}}ois Boulier and
                  Matthew England and
                  Timur M. Sadykov and
                  Evgenii V. Vorozhtsov},
  title        = {Univariate Polynomials with Long Unbalanced Coefficients as Bivariate
                  Balanced Ones: {A} Toom-Cook Multiplication Approach},
  booktitle    = {Computer Algebra in Scientific Computing - 22nd International Workshop,
                  {CASC} 2020, Linz, Austria, September 14-18, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12291},
  pages        = {91--107},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-60026-6\_6},
  doi          = {10.1007/978-3-030-60026-6\_6},
  timestamp    = {Wed, 21 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/BodratoZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/BrandtKM20,
  author       = {Alexander Brandt and
                  Mahsa Kazemi and
                  Marc Moreno Maza},
  editor       = {Fran{\c{c}}ois Boulier and
                  Matthew England and
                  Timur M. Sadykov and
                  Evgenii V. Vorozhtsov},
  title        = {Power Series Arithmetic with the {BPAS} Library},
  booktitle    = {Computer Algebra in Scientific Computing - 22nd International Workshop,
                  {CASC} 2020, Linz, Austria, September 14-18, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12291},
  pages        = {108--128},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-60026-6\_7},
  doi          = {10.1007/978-3-030-60026-6\_7},
  timestamp    = {Sat, 14 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/BrandtKM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/BrownM20,
  author       = {Christopher W. Brown and
                  Scott McCallum},
  editor       = {Fran{\c{c}}ois Boulier and
                  Matthew England and
                  Timur M. Sadykov and
                  Evgenii V. Vorozhtsov},
  title        = {Enhancements to Lazard's Method for Cylindrical Algebraic Decomposition},
  booktitle    = {Computer Algebra in Scientific Computing - 22nd International Workshop,
                  {CASC} 2020, Linz, Austria, September 14-18, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12291},
  pages        = {129--149},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-60026-6\_8},
  doi          = {10.1007/978-3-030-60026-6\_8},
  timestamp    = {Fri, 04 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/BrownM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/ChenM20,
  author       = {Tian Chen and
                  Michael B. Monagan},
  editor       = {Fran{\c{c}}ois Boulier and
                  Matthew England and
                  Timur M. Sadykov and
                  Evgenii V. Vorozhtsov},
  title        = {The Complexity and Parallel Implementation of Two Sparse Multivariate
                  Hensel Lifting Algorithms for Polynomial Factorization},
  booktitle    = {Computer Algebra in Scientific Computing - 22nd International Workshop,
                  {CASC} 2020, Linz, Austria, September 14-18, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12291},
  pages        = {150--169},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-60026-6\_9},
  doi          = {10.1007/978-3-030-60026-6\_9},
  timestamp    = {Wed, 21 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/ChenM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/ChiT20,
  author       = {Boming Chi and
                  Akira Terui},
  editor       = {Fran{\c{c}}ois Boulier and
                  Matthew England and
                  Timur M. Sadykov and
                  Evgenii V. Vorozhtsov},
  title        = {The {GPGCD} Algorithm with the B{\'{e}}zout Matrix},
  booktitle    = {Computer Algebra in Scientific Computing - 22nd International Workshop,
                  {CASC} 2020, Linz, Austria, September 14-18, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12291},
  pages        = {170--187},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-60026-6\_10},
  doi          = {10.1007/978-3-030-60026-6\_10},
  timestamp    = {Sat, 14 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/ChiT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/CorlessGSS20,
  author       = {Robert M. Corless and
                  Mark Giesbrecht and
                  Leili Rafiee Sevyeri and
                  B. David Saunders},
  editor       = {Fran{\c{c}}ois Boulier and
                  Matthew England and
                  Timur M. Sadykov and
                  Evgenii V. Vorozhtsov},
  title        = {On Parametric Linear System Solving},
  booktitle    = {Computer Algebra in Scientific Computing - 22nd International Workshop,
                  {CASC} 2020, Linz, Austria, September 14-18, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12291},
  pages        = {188--205},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-60026-6\_11},
  doi          = {10.1007/978-3-030-60026-6\_11},
  timestamp    = {Wed, 21 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/CorlessGSS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/DeveikisGGVGPBP20,
  author       = {Algirdas Deveikis and
                  Alexander Gusev and
                  Vladimir P. Gerdt and
                  Sergue I. Vinitsky and
                  Andrzej G{\'{o}}zdz and
                  Aleksandra Pedrak and
                  Cestmir Burdik and
                  George S. Pogosyan},
  editor       = {Fran{\c{c}}ois Boulier and
                  Matthew England and
                  Timur M. Sadykov and
                  Evgenii V. Vorozhtsov},
  title        = {Symbolic-Numeric Algorithm for Computing Orthonormal Basis of O(5){\(^\times\)}
                  SU(1, 1) Group},
  booktitle    = {Computer Algebra in Scientific Computing - 22nd International Workshop,
                  {CASC} 2020, Linz, Austria, September 14-18, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12291},
  pages        = {206--227},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-60026-6\_12},
  doi          = {10.1007/978-3-030-60026-6\_12},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/DeveikisGGVGPBP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/DivakovTS20,
  author       = {Dmitry V. Divakov and
                  Anastasia A. Tiutiunnik and
                  Anton L. Sevastianov},
  editor       = {Fran{\c{c}}ois Boulier and
                  Matthew England and
                  Timur M. Sadykov and
                  Evgenii V. Vorozhtsov},
  title        = {Symbolic-Numeric Study of Geometric Properties of Adiabatic Waveguide
                  Modes},
  booktitle    = {Computer Algebra in Scientific Computing - 22nd International Workshop,
                  {CASC} 2020, Linz, Austria, September 14-18, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12291},
  pages        = {228--244},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-60026-6\_13},
  doi          = {10.1007/978-3-030-60026-6\_13},
  timestamp    = {Sat, 14 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/DivakovTS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/HashemiHPS20,
  author       = {Amir Hashemi and
                  Joos Heintz and
                  Luis M. Pardo and
                  Pablo Solern{\'{o}}},
  editor       = {Fran{\c{c}}ois Boulier and
                  Matthew England and
                  Timur M. Sadykov and
                  Evgenii V. Vorozhtsov},
  title        = {Intrinsic Complexity for Constructing Zero-Dimensional Gr{\"{o}}bner
                  Bases},
  booktitle    = {Computer Algebra in Scientific Computing - 22nd International Workshop,
                  {CASC} 2020, Linz, Austria, September 14-18, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12291},
  pages        = {245--265},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-60026-6\_14},
  doi          = {10.1007/978-3-030-60026-6\_14},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/HashemiHPS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/IrtegovT20,
  author       = {Valentin Irtegov and
                  Tatiana Titorenko},
  editor       = {Fran{\c{c}}ois Boulier and
                  Matthew England and
                  Timur M. Sadykov and
                  Evgenii V. Vorozhtsov},
  title        = {On the Study of the Motion of a System of Two Connected Rigid Bodies
                  by Computer Algebra Methods},
  booktitle    = {Computer Algebra in Scientific Computing - 22nd International Workshop,
                  {CASC} 2020, Linz, Austria, September 14-18, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12291},
  pages        = {266--281},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-60026-6\_15},
  doi          = {10.1007/978-3-030-60026-6\_15},
  timestamp    = {Wed, 21 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/IrtegovT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/JingMT20,
  author       = {Rui{-}Juan Jing and
                  Marc Moreno Maza and
                  Delaram Talaashrafi},
  editor       = {Fran{\c{c}}ois Boulier and
                  Matthew England and
                  Timur M. Sadykov and
                  Evgenii V. Vorozhtsov},
  title        = {Complexity Estimates for Fourier-Motzkin Elimination},
  booktitle    = {Computer Algebra in Scientific Computing - 22nd International Workshop,
                  {CASC} 2020, Linz, Austria, September 14-18, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12291},
  pages        = {282--306},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-60026-6\_16},
  doi          = {10.1007/978-3-030-60026-6\_16},
  timestamp    = {Wed, 21 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/JingMT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/Jolly20,
  author       = {Raphael Jolly},
  editor       = {Fran{\c{c}}ois Boulier and
                  Matthew England and
                  Timur M. Sadykov and
                  Evgenii V. Vorozhtsov},
  title        = {Progress Report on the Scala Algebra System},
  booktitle    = {Computer Algebra in Scientific Computing - 22nd International Workshop,
                  {CASC} 2020, Linz, Austria, September 14-18, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12291},
  pages        = {307--315},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-60026-6\_17},
  doi          = {10.1007/978-3-030-60026-6\_17},
  timestamp    = {Wed, 21 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/Jolly20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/KalininaSU20,
  author       = {Elizaveta Kalinina and
                  Yuri Smol'kin and
                  Alexei Yu. Uteshev},
  editor       = {Fran{\c{c}}ois Boulier and
                  Matthew England and
                  Timur M. Sadykov and
                  Evgenii V. Vorozhtsov},
  title        = {Routh - Hurwitz Stability of a Polynomial Matrix Family. Real Perturbations},
  booktitle    = {Computer Algebra in Scientific Computing - 22nd International Workshop,
                  {CASC} 2020, Linz, Austria, September 14-18, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12291},
  pages        = {316--334},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-60026-6\_18},
  doi          = {10.1007/978-3-030-60026-6\_18},
  timestamp    = {Sat, 14 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/KalininaSU20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/KaltofenPY20,
  author       = {Erich L. Kaltofen and
                  Cl{\'{e}}ment Pernet and
                  Zhi{-}Hong Yang},
  editor       = {Fran{\c{c}}ois Boulier and
                  Matthew England and
                  Timur M. Sadykov and
                  Evgenii V. Vorozhtsov},
  title        = {Hermite Rational Function Interpolation with Error Correction},
  booktitle    = {Computer Algebra in Scientific Computing - 22nd International Workshop,
                  {CASC} 2020, Linz, Austria, September 14-18, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12291},
  pages        = {335--357},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-60026-6\_19},
  doi          = {10.1007/978-3-030-60026-6\_19},
  timestamp    = {Sat, 14 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/KaltofenPY20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/KauersM20,
  author       = {Manuel Kauers and
                  Jakob Moosbauer},
  editor       = {Fran{\c{c}}ois Boulier and
                  Matthew England and
                  Timur M. Sadykov and
                  Evgenii V. Vorozhtsov},
  title        = {Good Pivots for Small Sparse Matrices},
  booktitle    = {Computer Algebra in Scientific Computing - 22nd International Workshop,
                  {CASC} 2020, Linz, Austria, September 14-18, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12291},
  pages        = {358--367},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-60026-6\_20},
  doi          = {10.1007/978-3-030-60026-6\_20},
  timestamp    = {Sat, 14 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/KauersM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/KaufmannB20,
  author       = {Daniela Kaufmann and
                  Armin Biere},
  editor       = {Fran{\c{c}}ois Boulier and
                  Matthew England and
                  Timur M. Sadykov and
                  Evgenii V. Vorozhtsov},
  title        = {Nullstellensatz-Proofs for Multiplier Verification},
  booktitle    = {Computer Algebra in Scientific Computing - 22nd International Workshop,
                  {CASC} 2020, Linz, Austria, September 14-18, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12291},
  pages        = {368--389},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-60026-6\_21},
  doi          = {10.1007/978-3-030-60026-6\_21},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/KaufmannB20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/Kovacs20,
  author       = {Zolt{\'{a}}n Kov{\'{a}}cs},
  editor       = {Fran{\c{c}}ois Boulier and
                  Matthew England and
                  Timur M. Sadykov and
                  Evgenii V. Vorozhtsov},
  title        = {"Mathemachines" via LEGO, GeoGebra and CindyJS},
  booktitle    = {Computer Algebra in Scientific Computing - 22nd International Workshop,
                  {CASC} 2020, Linz, Austria, September 14-18, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12291},
  pages        = {390--401},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-60026-6\_22},
  doi          = {10.1007/978-3-030-60026-6\_22},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/Kovacs20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/LindnerIJ20,
  author       = {Sebastian Lindner and
                  Laurent Imbert and
                  Michael J. Jacobson Jr.},
  editor       = {Fran{\c{c}}ois Boulier and
                  Matthew England and
                  Timur M. Sadykov and
                  Evgenii V. Vorozhtsov},
  title        = {Balanced {NUCOMP}},
  booktitle    = {Computer Algebra in Scientific Computing - 22nd International Workshop,
                  {CASC} 2020, Linz, Austria, September 14-18, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12291},
  pages        = {402--420},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-60026-6\_23},
  doi          = {10.1007/978-3-030-60026-6\_23},
  timestamp    = {Wed, 21 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/LindnerIJ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/LiuLM20,
  author       = {Yang Liu and
                  Dmitry A. Lyakhov and
                  Dominik L. Michels},
  editor       = {Fran{\c{c}}ois Boulier and
                  Matthew England and
                  Timur M. Sadykov and
                  Evgenii V. Vorozhtsov},
  title        = {Contact Linearizability of Scalar Ordinary Differential Equations
                  of Arbitrary Order},
  booktitle    = {Computer Algebra in Scientific Computing - 22nd International Workshop,
                  {CASC} 2020, Linz, Austria, September 14-18, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12291},
  pages        = {421--430},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-60026-6\_24},
  doi          = {10.1007/978-3-030-60026-6\_24},
  timestamp    = {Mon, 29 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/LiuLM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/LuanPKZ20,
  author       = {Qi Luan and
                  Victor Y. Pan and
                  Won{-}geun Kim and
                  Vitaly Zaderman},
  editor       = {Fran{\c{c}}ois Boulier and
                  Matthew England and
                  Timur M. Sadykov and
                  Evgenii V. Vorozhtsov},
  title        = {Faster Numerical Univariate Polynomial Root-Finding by Means of Subdivision
                  Iterations},
  booktitle    = {Computer Algebra in Scientific Computing - 22nd International Workshop,
                  {CASC} 2020, Linz, Austria, September 14-18, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12291},
  pages        = {431--446},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-60026-6\_25},
  doi          = {10.1007/978-3-030-60026-6\_25},
  timestamp    = {Wed, 21 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/LuanPKZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/Nabeshima20,
  author       = {Katsusuke Nabeshima},
  editor       = {Fran{\c{c}}ois Boulier and
                  Matthew England and
                  Timur M. Sadykov and
                  Evgenii V. Vorozhtsov},
  title        = {Computing Parametric Standard Bases for Semi-weighted Homogeneous
                  Isolated Hypersurface Singularities},
  booktitle    = {Computer Algebra in Scientific Computing - 22nd International Workshop,
                  {CASC} 2020, Linz, Austria, September 14-18, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12291},
  pages        = {447--460},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-60026-6\_26},
  doi          = {10.1007/978-3-030-60026-6\_26},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/Nabeshima20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/Pan20,
  author       = {Victor Y. Pan},
  editor       = {Fran{\c{c}}ois Boulier and
                  Matthew England and
                  Timur M. Sadykov and
                  Evgenii V. Vorozhtsov},
  title        = {Acceleration of Subdivision Root-Finding for Sparse Polynomials},
  booktitle    = {Computer Algebra in Scientific Computing - 22nd International Workshop,
                  {CASC} 2020, Linz, Austria, September 14-18, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12291},
  pages        = {461--477},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-60026-6\_27},
  doi          = {10.1007/978-3-030-60026-6\_27},
  timestamp    = {Wed, 21 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/Pan20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/ProkopenyaMB20,
  author       = {Alexander N. Prokopenya and
                  Mukhtar Zh. Minglibayev and
                  Oralkhan Baisbayeva},
  editor       = {Fran{\c{c}}ois Boulier and
                  Matthew England and
                  Timur M. Sadykov and
                  Evgenii V. Vorozhtsov},
  title        = {Analytical Computations in Studying Translational-Rotational Motion
                  of a Non-stationary Triaxial Body in the Central Gravitational Field},
  booktitle    = {Computer Algebra in Scientific Computing - 22nd International Workshop,
                  {CASC} 2020, Linz, Austria, September 14-18, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12291},
  pages        = {478--491},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-60026-6\_28},
  doi          = {10.1007/978-3-030-60026-6\_28},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/ProkopenyaMB20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/Radulescu20,
  author       = {Ovidiu Radulescu},
  editor       = {Fran{\c{c}}ois Boulier and
                  Matthew England and
                  Timur M. Sadykov and
                  Evgenii V. Vorozhtsov},
  title        = {Tropical Geometry of Biological Systems (Invited Talk)},
  booktitle    = {Computer Algebra in Scientific Computing - 22nd International Workshop,
                  {CASC} 2020, Linz, Austria, September 14-18, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12291},
  pages        = {1--13},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-60026-6\_1},
  doi          = {10.1007/978-3-030-60026-6\_1},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/Radulescu20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/RahkooyRS20,
  author       = {Hamid Rahkooy and
                  Ovidiu Radulescu and
                  Thomas Sturm},
  editor       = {Fran{\c{c}}ois Boulier and
                  Matthew England and
                  Timur M. Sadykov and
                  Evgenii V. Vorozhtsov},
  title        = {A Linear Algebra Approach for Detecting Binomiality of Steady State
                  Ideals of Reversible Chemical Reaction Networks},
  booktitle    = {Computer Algebra in Scientific Computing - 22nd International Workshop,
                  {CASC} 2020, Linz, Austria, September 14-18, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12291},
  pages        = {492--509},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-60026-6\_29},
  doi          = {10.1007/978-3-030-60026-6\_29},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/RahkooyRS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/RahkooyS20,
  author       = {Hamid Rahkooy and
                  Thomas Sturm},
  editor       = {Fran{\c{c}}ois Boulier and
                  Matthew England and
                  Timur M. Sadykov and
                  Evgenii V. Vorozhtsov},
  title        = {First-Order Tests for Toricity},
  booktitle    = {Computer Algebra in Scientific Computing - 22nd International Workshop,
                  {CASC} 2020, Linz, Austria, September 14-18, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12291},
  pages        = {510--527},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-60026-6\_30},
  doi          = {10.1007/978-3-030-60026-6\_30},
  timestamp    = {Sat, 14 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/RahkooyS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/Roanes-Lozano20,
  author       = {Eugenio Roanes{-}Lozano},
  editor       = {Fran{\c{c}}ois Boulier and
                  Matthew England and
                  Timur M. Sadykov and
                  Evgenii V. Vorozhtsov},
  title        = {Looking for Compatible Routes in the Railway Interlocking System of
                  an Overtaking Station Using a Computer Algebra System},
  booktitle    = {Computer Algebra in Scientific Computing - 22nd International Workshop,
                  {CASC} 2020, Linz, Austria, September 14-18, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12291},
  pages        = {528--542},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-60026-6\_31},
  doi          = {10.1007/978-3-030-60026-6\_31},
  timestamp    = {Wed, 21 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/Roanes-Lozano20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/SeilerS20,
  author       = {Werner M. Seiler and
                  Matthias Sei{\ss}},
  editor       = {Fran{\c{c}}ois Boulier and
                  Matthew England and
                  Timur M. Sadykov and
                  Evgenii V. Vorozhtsov},
  title        = {Algebraic and Geometric Analysis of Singularities of Implicit Differential
                  Equations (Invited Talk)},
  booktitle    = {Computer Algebra in Scientific Computing - 22nd International Workshop,
                  {CASC} 2020, Linz, Austria, September 14-18, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12291},
  pages        = {14--41},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-60026-6\_2},
  doi          = {10.1007/978-3-030-60026-6\_2},
  timestamp    = {Sat, 14 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/SeilerS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/TajimaSN20,
  author       = {Shinichi Tajima and
                  Takafumi Shibuta and
                  Katsusuke Nabeshima},
  editor       = {Fran{\c{c}}ois Boulier and
                  Matthew England and
                  Timur M. Sadykov and
                  Evgenii V. Vorozhtsov},
  title        = {Computing Logarithmic Vector Fields Along an {ICIS} Germ via Matlis
                  Duality},
  booktitle    = {Computer Algebra in Scientific Computing - 22nd International Workshop,
                  {CASC} 2020, Linz, Austria, September 14-18, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12291},
  pages        = {543--562},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-60026-6\_32},
  doi          = {10.1007/978-3-030-60026-6\_32},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/TajimaSN20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/TelenBV20,
  author       = {Simon Telen and
                  Marc Van Barel and
                  Jan Verschelde},
  editor       = {Fran{\c{c}}ois Boulier and
                  Matthew England and
                  Timur M. Sadykov and
                  Evgenii V. Vorozhtsov},
  title        = {Robust Numerical Tracking of One Path of a Polynomial Homotopy on
                  Parallel Shared Memory Computers},
  booktitle    = {Computer Algebra in Scientific Computing - 22nd International Workshop,
                  {CASC} 2020, Linz, Austria, September 14-18, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12291},
  pages        = {563--582},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-60026-6\_33},
  doi          = {10.1007/978-3-030-60026-6\_33},
  timestamp    = {Wed, 19 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/TelenBV20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/TitiG20,
  author       = {Jihad Titi and
                  J{\"{u}}rgen Garloff},
  editor       = {Fran{\c{c}}ois Boulier and
                  Matthew England and
                  Timur M. Sadykov and
                  Evgenii V. Vorozhtsov},
  title        = {Symbolic-Numeric Computation of the Bernstein Coefficients of a Polynomial
                  from Those of One of Its Partial Derivatives and of the Product of
                  Two Polynomials},
  booktitle    = {Computer Algebra in Scientific Computing - 22nd International Workshop,
                  {CASC} 2020, Linz, Austria, September 14-18, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12291},
  pages        = {583--599},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-60026-6\_34},
  doi          = {10.1007/978-3-030-60026-6\_34},
  timestamp    = {Wed, 21 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/TitiG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/VorozhtsovK20,
  author       = {Evgenii V. Vorozhtsov and
                  Sergey P. Kiselev},
  editor       = {Fran{\c{c}}ois Boulier and
                  Matthew England and
                  Timur M. Sadykov and
                  Evgenii V. Vorozhtsov},
  title        = {Comparative Study of the Accuracy of Higher-Order Difference Schemes
                  for Molecular Dynamics Problems Using the Computer Algebra Means},
  booktitle    = {Computer Algebra in Scientific Computing - 22nd International Workshop,
                  {CASC} 2020, Linz, Austria, September 14-18, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12291},
  pages        = {600--620},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-60026-6\_35},
  doi          = {10.1007/978-3-030-60026-6\_35},
  timestamp    = {Wed, 21 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/VorozhtsovK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/Zheng20,
  author       = {Tao Zheng},
  editor       = {Fran{\c{c}}ois Boulier and
                  Matthew England and
                  Timur M. Sadykov and
                  Evgenii V. Vorozhtsov},
  title        = {Characterizing Triviality of the Exponent Lattice of a Polynomial
                  Through Galois and Galois-Like Groups},
  booktitle    = {Computer Algebra in Scientific Computing - 22nd International Workshop,
                  {CASC} 2020, Linz, Austria, September 14-18, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12291},
  pages        = {621--641},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-60026-6\_36},
  doi          = {10.1007/978-3-030-60026-6\_36},
  timestamp    = {Wed, 21 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/Zheng20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/casc/2020,
  editor       = {Fran{\c{c}}ois Boulier and
                  Matthew England and
                  Timur M. Sadykov and
                  Evgenii V. Vorozhtsov},
  title        = {Computer Algebra in Scientific Computing - 22nd International Workshop,
                  {CASC} 2020, Linz, Austria, September 14-18, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12291},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-60026-6},
  doi          = {10.1007/978-3-030-60026-6},
  isbn         = {978-3-030-60025-9},
  timestamp    = {Mon, 31 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/2020.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.