default search action
Search dblp for Publications
export results for "toc:db/conf/casc/casc2014.bht:"
@inproceedings{DBLP:conf/casc/AbramovB14, author = {Sergei A. Abramov and Moulay A. Barkatou}, editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov}, title = {Computable Infinite Power Series in the Role of Coefficients of Linear Differential Systems}, booktitle = {Computer Algebra in Scientific Computing - 16th International Workshop, {CASC} 2014, Warsaw, Poland, September 8-12, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8660}, pages = {1--12}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10515-4\_1}, doi = {10.1007/978-3-319-10515-4\_1}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/casc/AbramovB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/Berghammer14, author = {Rudolf Berghammer}, editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov}, title = {Relation Algebra, RelView, and Plurality Voting}, booktitle = {Computer Algebra in Scientific Computing - 16th International Workshop, {CASC} 2014, Warsaw, Poland, September 8-12, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8660}, pages = {13--27}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10515-4\_2}, doi = {10.1007/978-3-319-10515-4\_2}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/Berghammer14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/BoulierKLPPU14, author = {Fran{\c{c}}ois Boulier and Anja Korporal and Fran{\c{c}}ois Lemaire and Wilfrid Perruquetti and Adrien Poteaux and Rosane Ushirobira}, editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov}, title = {An Algorithm for Converting Nonlinear Differential Equations to Integral Equations with an Application to Parameter Estimation from Noisy Data}, booktitle = {Computer Algebra in Scientific Computing - 16th International Workshop, {CASC} 2014, Warsaw, Poland, September 8-12, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8660}, pages = {28--43}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10515-4\_3}, doi = {10.1007/978-3-319-10515-4\_3}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/BoulierKLPPU14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/BradfordCDEMW14, author = {Russell J. Bradford and Changbo Chen and James H. Davenport and Matthew England and Marc Moreno Maza and David J. Wilson}, editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov}, title = {Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains}, booktitle = {Computer Algebra in Scientific Computing - 16th International Workshop, {CASC} 2014, Warsaw, Poland, September 8-12, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8660}, pages = {44--58}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10515-4\_4}, doi = {10.1007/978-3-319-10515-4\_4}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/BradfordCDEMW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/CaravantesFGN14, author = {Jorge Caravantes and Mario Fioravanti and Laureano Gonz{\'{a}}lez{-}Vega and Ioana Necula}, editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov}, title = {Computing the Topology of an Arrangement of Implicit and Parametric Curves Given by Values}, booktitle = {Computer Algebra in Scientific Computing - 16th International Workshop, {CASC} 2014, Warsaw, Poland, September 8-12, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8660}, pages = {59--73}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10515-4\_5}, doi = {10.1007/978-3-319-10515-4\_5}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/CaravantesFGN14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/ChengJ14, author = {Jin{-}San Cheng and Kai Jin}, editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov}, title = {Finding a Deterministic Generic Position for an Algebraic Space Curve}, booktitle = {Computer Algebra in Scientific Computing - 16th International Workshop, {CASC} 2014, Warsaw, Poland, September 8-12, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8660}, pages = {74--84}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10515-4\_6}, doi = {10.1007/978-3-319-10515-4\_6}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/ChengJ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/CostinT14, author = {Iulia Costin and Gheorghe Toader}, editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov}, title = {Optimal Estimations of Seiffert-Type Means By Some Special Gini Means}, booktitle = {Computer Algebra in Scientific Computing - 16th International Workshop, {CASC} 2014, Warsaw, Poland, September 8-12, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8660}, pages = {85--98}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10515-4\_7}, doi = {10.1007/978-3-319-10515-4\_7}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/CostinT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/DrozdovS14, author = {Grigoriy M. Drozdov and Vasily P. Shapeev}, editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov}, title = {{CAS} Application to the Construction of High-Order Difference Schemes for Solving Poisson Equation}, booktitle = {Computer Algebra in Scientific Computing - 16th International Workshop, {CASC} 2014, Warsaw, Poland, September 8-12, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8660}, pages = {99--110}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10515-4\_8}, doi = {10.1007/978-3-319-10515-4\_8}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/DrozdovS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/GraseggerLSW14, author = {Georg Grasegger and Alberto Lastra and J. Rafael Sendra and Franz Winkler}, editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov}, title = {On Symbolic Solutions of Algebraic Partial Differential Equations}, booktitle = {Computer Algebra in Scientific Computing - 16th International Workshop, {CASC} 2014, Warsaw, Poland, September 8-12, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8660}, pages = {111--120}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10515-4\_9}, doi = {10.1007/978-3-319-10515-4\_9}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/GraseggerLSW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/GroletMT14, author = {Aurelien Grolet and Philippe Malbos and Fabrice Thouverez}, editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov}, title = {Eigenvalue Method with Symmetry and Vibration Analysis of Cyclic Structures}, booktitle = {Computer Algebra in Scientific Computing - 16th International Workshop, {CASC} 2014, Warsaw, Poland, September 8-12, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8660}, pages = {121--137}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10515-4\_10}, doi = {10.1007/978-3-319-10515-4\_10}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/GroletMT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/GusevCVDGHR14, author = {Alexander Gusev and Ochbadrakh Chuluunbaatar and Sergey I. Vinitsky and Vladimir Derbov and Andrzej G{\'{o}}zdz and Luong Le Hai and Vitaly Rostovtsev}, editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov}, title = {Symbolic-Numerical Solution of Boundary-Value Problems with Self-adjoint Second-Order Differential Equation Using the Finite Element Method with Interpolation Hermite Polynomials}, booktitle = {Computer Algebra in Scientific Computing - 16th International Workshop, {CASC} 2014, Warsaw, Poland, September 8-12, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8660}, pages = {138--154}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10515-4\_11}, doi = {10.1007/978-3-319-10515-4\_11}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/casc/GusevCVDGHR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/GyurkiK14, author = {Stefan Gy{\"{u}}rki and Mikhail H. Klin}, editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov}, title = {Sporadic Examples of Directed Strongly Regular Graphs Obtained By Computer Algebra Experimentation}, booktitle = {Computer Algebra in Scientific Computing - 16th International Workshop, {CASC} 2014, Warsaw, Poland, September 8-12, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8660}, pages = {155--170}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10515-4\_12}, doi = {10.1007/978-3-319-10515-4\_12}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/GyurkiK14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/HaqueMM14, author = {Sardar Anisul Haque and Farnam Mansouri and Marc Moreno Maza}, editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov}, title = {On the Parallelization of Subproduct Tree Techniques Targeting Many-Core Architectures}, booktitle = {Computer Algebra in Scientific Computing - 16th International Workshop, {CASC} 2014, Warsaw, Poland, September 8-12, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8660}, pages = {171--185}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10515-4\_13}, doi = {10.1007/978-3-319-10515-4\_13}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/HaqueMM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/HashemiSS14, author = {Amir Hashemi and Michael Schweinfurter and Werner M. Seiler}, editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov}, title = {Deterministically Computing Reduction Numbers of Polynomial Ideals}, booktitle = {Computer Algebra in Scientific Computing - 16th International Workshop, {CASC} 2014, Warsaw, Poland, September 8-12, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8660}, pages = {186--201}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10515-4\_14}, doi = {10.1007/978-3-319-10515-4\_14}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/casc/HashemiSS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/HauensteinPS14, author = {Jonathan D. Hauenstein and Victor Y. Pan and {\'{A}}gnes Sz{\'{a}}nt{\'{o}}}, editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov}, title = {A Note on Global Newton Iteration Over Archimedean and Non-Archimedean Fields}, booktitle = {Computer Algebra in Scientific Computing - 16th International Workshop, {CASC} 2014, Warsaw, Poland, September 8-12, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8660}, pages = {202--217}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10515-4\_15}, doi = {10.1007/978-3-319-10515-4\_15}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/HauensteinPS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/IrtegovT14, author = {Valentin Irtegov and Tatyana Titorenko}, editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov}, title = {Invariant Manifolds in the Classic and Generalized Goryachev-Chaplygin Problem}, booktitle = {Computer Algebra in Scientific Computing - 16th International Workshop, {CASC} 2014, Warsaw, Poland, September 8-12, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8660}, pages = {218--229}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10515-4\_16}, doi = {10.1007/978-3-319-10515-4\_16}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/IrtegovT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/JanowiczO14, author = {Maciej Janowicz and Arkadiusz Orlowski}, editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov}, title = {Coherence and Large-Scale Pattern Formation in Coupled Logistic-Map Lattices via Computer Algebra Systems}, booktitle = {Computer Algebra in Scientific Computing - 16th International Workshop, {CASC} 2014, Warsaw, Poland, September 8-12, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8660}, pages = {230--241}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10515-4\_17}, doi = {10.1007/978-3-319-10515-4\_17}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/JanowiczO14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/Kitamoto14, author = {Takuya Kitamoto}, editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov}, title = {On the Computation of the Determinant of a Generalized Vandermonde Matrix}, booktitle = {Computer Algebra in Scientific Computing - 16th International Workshop, {CASC} 2014, Warsaw, Poland, September 8-12, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8660}, pages = {242--255}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10515-4\_18}, doi = {10.1007/978-3-319-10515-4\_18}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/Kitamoto14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/KorovinKS14, author = {Konstantin Korovin and Marek Kosta and Thomas Sturm}, editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov}, title = {Towards Conflict-Driven Learning for Virtual Substitution}, booktitle = {Computer Algebra in Scientific Computing - 16th International Workshop, {CASC} 2014, Warsaw, Poland, September 8-12, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8660}, pages = {256--270}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10515-4\_19}, doi = {10.1007/978-3-319-10515-4\_19}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/KorovinKS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/KozeraNS14, author = {Ryszard Kozera and Lyle Noakes and Piotr Szmielew}, editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov}, title = {Sharpness in Trajectory Estimation for Planar Four-points Piecewise-Quadratic Interpolation}, booktitle = {Computer Algebra in Scientific Computing - 16th International Workshop, {CASC} 2014, Warsaw, Poland, September 8-12, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8660}, pages = {271--285}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10515-4\_20}, doi = {10.1007/978-3-319-10515-4\_20}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/KozeraNS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/Kycia14, author = {Radoslaw Antoni Kycia}, editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov}, title = {Scheme for Numerical Investigation of Movable Singularities of the Complex Valued Solutions of Ordinary Differential Equations}, booktitle = {Computer Algebra in Scientific Computing - 16th International Workshop, {CASC} 2014, Warsaw, Poland, September 8-12, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8660}, pages = {286--301}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10515-4\_21}, doi = {10.1007/978-3-319-10515-4\_21}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/casc/Kycia14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/MichelsLGSW14, author = {Dominik Ludewig Michels and Dmitry A. Lyakhov and Vladimir P. Gerdt and Gerrit Alexander Sobottka and Andreas G. Weber}, editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov}, title = {Lie Symmetry Analysis for Cosserat Rods}, booktitle = {Computer Algebra in Scientific Computing - 16th International Workshop, {CASC} 2014, Warsaw, Poland, September 8-12, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8660}, pages = {324--334}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10515-4\_23}, doi = {10.1007/978-3-319-10515-4\_23}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/MichelsLGSW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/MullerR14, author = {Stefan M{\"{u}}ller and Georg Regensburger}, editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov}, title = {Generalized Mass-Action Systems and Positive Solutions of Polynomial Equations with Real and Symbolic Exponents (Invited Talk)}, booktitle = {Computer Algebra in Scientific Computing - 16th International Workshop, {CASC} 2014, Warsaw, Poland, September 8-12, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8660}, pages = {302--323}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10515-4\_22}, doi = {10.1007/978-3-319-10515-4\_22}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/casc/MullerR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/Pan14, author = {Victor Y. Pan}, editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov}, title = {Real Polynomial Root-Finding by Means of Matrix and Polynomial Iterations}, booktitle = {Computer Algebra in Scientific Computing - 16th International Workshop, {CASC} 2014, Warsaw, Poland, September 8-12, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8660}, pages = {335--349}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10515-4\_24}, doi = {10.1007/978-3-319-10515-4\_24}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/Pan14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/Paramonov14, author = {Serge V. Paramonov}, editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov}, title = {On Testing Uniqueness of Analytic Solutions of {PDE} with Boundary Conditions}, booktitle = {Computer Algebra in Scientific Computing - 16th International Workshop, {CASC} 2014, Warsaw, Poland, September 8-12, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8660}, pages = {350--356}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10515-4\_25}, doi = {10.1007/978-3-319-10515-4\_25}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/Paramonov14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/Plaskota14, author = {Leszek Plaskota}, editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov}, title = {Continuous Problems: Optimality, Complexity, Tractability (Invited Talk)}, booktitle = {Computer Algebra in Scientific Computing - 16th International Workshop, {CASC} 2014, Warsaw, Poland, September 8-12, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8660}, pages = {357--372}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10515-4\_26}, doi = {10.1007/978-3-319-10515-4\_26}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/Plaskota14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/ProkopenyaMB14, author = {Alexander N. Prokopenya and Mukhtar Zh. Minglibayev and Baglan A. Beketauov}, editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov}, title = {On Integrability of Evolutionary Equations in the Restricted Three-Body Problem with Variable Masses}, booktitle = {Computer Algebra in Scientific Computing - 16th International Workshop, {CASC} 2014, Warsaw, Poland, September 8-12, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8660}, pages = {373--387}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10515-4\_27}, doi = {10.1007/978-3-319-10515-4\_27}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/ProkopenyaMB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/SalemEG14, author = {Fatima K. Abu Salem and Khalil El{-}Harake and Karl Gemayel}, editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov}, title = {Factoring Sparse Bivariate Polynomials Using the Priority Queue}, booktitle = {Computer Algebra in Scientific Computing - 16th International Workshop, {CASC} 2014, Warsaw, Poland, September 8-12, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8660}, pages = {388--402}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10515-4\_28}, doi = {10.1007/978-3-319-10515-4\_28}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/SalemEG14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/SasakiIK14, author = {Tateaki Sasaki and Daiju Inaba and Fujio Kako}, editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov}, title = {Solving Parametric Sparse Linear Systems by Local Blocking}, booktitle = {Computer Algebra in Scientific Computing - 16th International Workshop, {CASC} 2014, Warsaw, Poland, September 8-12, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8660}, pages = {403--418}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10515-4\_29}, doi = {10.1007/978-3-319-10515-4\_29}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/SasakiIK14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/SevastyanovST14, author = {Leonid A. Sevastyanov and Anton L. Sevastyanov and Anastasiya A. Tyutyunnik}, editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov}, title = {Analytical Calculations in Maple to Implement the Method of Adiabatic Modes for Modelling Smoothly Irregular Integrated Optical Waveguide Structures}, booktitle = {Computer Algebra in Scientific Computing - 16th International Workshop, {CASC} 2014, Warsaw, Poland, September 8-12, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8660}, pages = {419--431}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10515-4\_30}, doi = {10.1007/978-3-319-10515-4\_30}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/SevastyanovST14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/ShapeevV14, author = {Vasily P. Shapeev and Evgenii V. Vorozhtsov}, editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov}, title = {{CAS} Application to the Construction of the Collocations and Least Residuals Method for the Solution of the Burgers and Korteweg-de Vries-Burgers Equations}, booktitle = {Computer Algebra in Scientific Computing - 16th International Workshop, {CASC} 2014, Warsaw, Poland, September 8-12, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8660}, pages = {432--446}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10515-4\_31}, doi = {10.1007/978-3-319-10515-4\_31}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/ShapeevV14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/ShibutaT14, author = {Takafumi Shibuta and Shinichi Tajima}, editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov}, title = {An Algorithm for Computing the Truncated Annihilating Ideals for an Algebraic Local Cohomology Class}, booktitle = {Computer Algebra in Scientific Computing - 16th International Workshop, {CASC} 2014, Warsaw, Poland, September 8-12, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8660}, pages = {447--459}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10515-4\_32}, doi = {10.1007/978-3-319-10515-4\_32}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/ShibutaT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/Stefanescu14, author = {Doru Stefanescu}, editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov}, title = {Applications of the Newton Index to the Construction of Irreducible Polynomials}, booktitle = {Computer Algebra in Scientific Computing - 16th International Workshop, {CASC} 2014, Warsaw, Poland, September 8-12, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8660}, pages = {460--471}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10515-4\_33}, doi = {10.1007/978-3-319-10515-4\_33}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/Stefanescu14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/VinitskyGCHGDK14, author = {Sergue I. Vinitsky and Alexander Gusev and Ochbadrakh Chuluunbaatar and Luong Le Hai and Andrzej G{\'{o}}zdz and Vladimir Derbov and Pavel Krassovitskiy}, editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov}, title = {Symbolic-Numeric Algorithm for Solving the Problem of Quantum Tunneling of a Diatomic Molecule through Repulsive Barriers}, booktitle = {Computer Algebra in Scientific Computing - 16th International Workshop, {CASC} 2014, Warsaw, Poland, September 8-12, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8660}, pages = {472--490}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10515-4\_34}, doi = {10.1007/978-3-319-10515-4\_34}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/casc/VinitskyGCHGDK14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/Ziv-Av14, author = {Matan Ziv{-}Av}, editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov}, title = {Enumeration of Schur Rings Over Small Groups}, booktitle = {Computer Algebra in Scientific Computing - 16th International Workshop, {CASC} 2014, Warsaw, Poland, September 8-12, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8660}, pages = {491--500}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10515-4\_35}, doi = {10.1007/978-3-319-10515-4\_35}, timestamp = {Thu, 01 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/Ziv-Av14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/casc/2014, editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov}, title = {Computer Algebra in Scientific Computing - 16th International Workshop, {CASC} 2014, Warsaw, Poland, September 8-12, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8660}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10515-4}, doi = {10.1007/978-3-319-10515-4}, isbn = {978-3-319-10514-7}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/2014.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.