default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/casc/casc2022.bht:"
download as .bib file
@inproceedings{DBLP:conf/casc/AbramovKR22,
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 = {On Truncated Series Involved in Exponential-Logarithmic Solutions
of Truncated LODEs},
booktitle = {Computer Algebra in Scientific Computing - 24th International Workshop,
{CASC} 2022, Gebze, Turkey, August 22-26, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13366},
pages = {18--28},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-14788-3\_2},
doi = {10.1007/978-3-031-14788-3\_2},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/casc/AbramovKR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/AsadiBJM22,
author = {Mohammadali Asadi and
Alexander Brandt and
David J. Jeffrey and
Marc Moreno Maza},
editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
title = {Subresultant Chains Using B{\'{e}}zout Matrices},
booktitle = {Computer Algebra in Scientific Computing - 24th International Workshop,
{CASC} 2022, Gebze, Turkey, August 22-26, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13366},
pages = {29--50},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-14788-3\_3},
doi = {10.1007/978-3-031-14788-3\_3},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/casc/AsadiBJM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/Banshchikov22,
author = {Andrei V. Banshchikov},
editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
title = {Application of Symbolic-Numerical Modeling Tools for Analysis of Gyroscopic
Stabilization of Gyrostat Equilibria},
booktitle = {Computer Algebra in Scientific Computing - 24th International Workshop,
{CASC} 2022, Gebze, Turkey, August 22-26, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13366},
pages = {51--61},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-14788-3\_4},
doi = {10.1007/978-3-031-14788-3\_4},
timestamp = {Fri, 12 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/casc/Banshchikov22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/BrausseCZ22,
author = {Franz Brau{\ss}e and
Pieter Collins and
Martin Ziegler},
editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
title = {Computer Science for Continuous Data - Survey, Vision, Theory, and
Practice of a Computer [inline-graphic not available: see fulltext]Analysis
System},
booktitle = {Computer Algebra in Scientific Computing - 24th International Workshop,
{CASC} 2022, Gebze, Turkey, August 22-26, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13366},
pages = {62--82},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-14788-3\_5},
doi = {10.1007/978-3-031-14788-3\_5},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/casc/BrausseCZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/CharalambousKKK22,
author = {Hara Charalambous and
Kostas Karagiannis and
Sotiris Karanikolopoulos and
Aristides Kontogeorgis},
editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
title = {Computational Aspects of Equivariant Hilbert Series of Canonical Rings
for Algebraic Curves},
booktitle = {Computer Algebra in Scientific Computing - 24th International Workshop,
{CASC} 2022, Gebze, Turkey, August 22-26, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13366},
pages = {83--102},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-14788-3\_6},
doi = {10.1007/978-3-031-14788-3\_6},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/casc/CharalambousKKK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/DeveikisGVBGPH22,
author = {Algirdas Deveikis and
Alexander Gusev and
Sergue I. Vinitsky and
Yuri A. Blinkov and
Andrzej G{\'{o}}zdz and
Aleksandra Pedrak and
Peter O. Hess},
editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
title = {Symbolic-Numeric Algorithm for Calculations in Geometric Collective
Model of Atomic Nuclei},
booktitle = {Computer Algebra in Scientific Computing - 24th International Workshop,
{CASC} 2022, Gebze, Turkey, August 22-26, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13366},
pages = {103--123},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-14788-3\_7},
doi = {10.1007/978-3-031-14788-3\_7},
timestamp = {Fri, 12 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/casc/DeveikisGVBGPH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/DongM22,
author = {Mingyu Dong and
Chenqi Mou},
editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
title = {Analyses and Implementations of Chordality-Preserving Top-Down Algorithms
for Triangular Decomposition},
booktitle = {Computer Algebra in Scientific Computing - 24th International Workshop,
{CASC} 2022, Gebze, Turkey, August 22-26, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13366},
pages = {124--142},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-14788-3\_8},
doi = {10.1007/978-3-031-14788-3\_8},
timestamp = {Fri, 12 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/casc/DongM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/ImbachP22,
author = {R{\'{e}}mi Imbach and
Victor Y. Pan},
editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
title = {Accelerated Subdivision for Clustering Roots of Polynomials Given
by Evaluation Oracles},
booktitle = {Computer Algebra in Scientific Computing - 24th International Workshop,
{CASC} 2022, Gebze, Turkey, August 22-26, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13366},
pages = {143--164},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-14788-3\_9},
doi = {10.1007/978-3-031-14788-3\_9},
timestamp = {Fri, 12 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/casc/ImbachP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/IrtegovT22,
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 Equilibrium Positions in the Problem of the Motion of a System
of Two Bodies in a Uniform Gravity Field},
booktitle = {Computer Algebra in Scientific Computing - 24th International Workshop,
{CASC} 2022, Gebze, Turkey, August 22-26, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13366},
pages = {165--184},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-14788-3\_10},
doi = {10.1007/978-3-031-14788-3\_10},
timestamp = {Fri, 12 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/casc/IrtegovT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/JinaduM22,
author = {Ayoola Jinadu and
Michael B. Monagan},
editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
title = {An Interpolation Algorithm for Computing Dixon Resultants},
booktitle = {Computer Algebra in Scientific Computing - 24th International Workshop,
{CASC} 2022, Gebze, Turkey, August 22-26, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13366},
pages = {185--205},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-14788-3\_11},
doi = {10.1007/978-3-031-14788-3\_11},
timestamp = {Fri, 12 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/casc/JinaduM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/KalininaU22,
author = {Elizaveta Kalinina and
Alexei Uteshev},
editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
title = {Distance Evaluation to the Set of Matrices with Multiple Eigenvalues},
booktitle = {Computer Algebra in Scientific Computing - 24th International Workshop,
{CASC} 2022, Gebze, Turkey, August 22-26, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13366},
pages = {206--224},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-14788-3\_12},
doi = {10.1007/978-3-031-14788-3\_12},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/casc/KalininaU22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/Lange-Hegermann22,
author = {Markus Lange{-}Hegermann and
Daniel Robertz},
editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
title = {On Boundary Conditions Parametrized by Analytic Functions},
booktitle = {Computer Algebra in Scientific Computing - 24th International Workshop,
{CASC} 2022, Gebze, Turkey, August 22-26, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13366},
pages = {225--245},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-14788-3\_13},
doi = {10.1007/978-3-031-14788-3\_13},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/casc/Lange-Hegermann22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/MazaW22,
author = {Marc Moreno Maza and
Linxiao Wang},
editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
title = {Computing the Integer Hull of Convex Polyhedral Sets},
booktitle = {Computer Algebra in Scientific Computing - 24th International Workshop,
{CASC} 2022, Gebze, Turkey, August 22-26, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13366},
pages = {246--267},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-14788-3\_14},
doi = {10.1007/978-3-031-14788-3\_14},
timestamp = {Fri, 12 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/casc/MazaW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/NusplP22,
author = {Philipp Nuspl and
Veronika Pillwein},
editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
title = {A Comparison of Algorithms for Proving Positivity of Linearly Recurrent
Sequences},
booktitle = {Computer Algebra in Scientific Computing - 24th International Workshop,
{CASC} 2022, Gebze, Turkey, August 22-26, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13366},
pages = {268--287},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-14788-3\_15},
doi = {10.1007/978-3-031-14788-3\_15},
timestamp = {Fri, 12 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/casc/NusplP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/Prokopenya22,
author = {Alexander N. Prokopenya},
editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
title = {Stability Analysis of Periodic Motion of the Swinging Atwood Machine},
booktitle = {Computer Algebra in Scientific Computing - 24th International Workshop,
{CASC} 2022, Gebze, Turkey, August 22-26, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13366},
pages = {288--299},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-14788-3\_16},
doi = {10.1007/978-3-031-14788-3\_16},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/casc/Prokopenya22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/RioE22,
author = {Tereso del R{\'{\i}}o and
Matthew England},
editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
title = {New Heuristic to Choose a Cylindrical Algebraic Decomposition Variable
Ordering Motivated by Complexity Analysis},
booktitle = {Computer Algebra in Scientific Computing - 24th International Workshop,
{CASC} 2022, Gebze, Turkey, August 22-26, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13366},
pages = {300--317},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-14788-3\_17},
doi = {10.1007/978-3-031-14788-3\_17},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/casc/RioE22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/Takahashi22,
author = {Daisuke Takahashi},
editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
title = {An Implementation of Parallel Number-Theoretic Transform Using Intel
{AVX-512} Instructions},
booktitle = {Computer Algebra in Scientific Computing - 24th International Workshop,
{CASC} 2022, Gebze, Turkey, August 22-26, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13366},
pages = {318--332},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-14788-3\_18},
doi = {10.1007/978-3-031-14788-3\_18},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/casc/Takahashi22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/VerscheldeV22,
author = {Jan Verschelde and
Kylash Viswanathan},
editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
title = {Locating the Closest Singularity in a Polynomial Homotopy},
booktitle = {Computer Algebra in Scientific Computing - 24th International Workshop,
{CASC} 2022, Gebze, Turkey, August 22-26, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13366},
pages = {333--352},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-14788-3\_19},
doi = {10.1007/978-3-031-14788-3\_19},
timestamp = {Fri, 12 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/casc/VerscheldeV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/VorozhtsovK22,
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 = {A General Method of Finding New Symplectic Schemes for Hamiltonian
Mechanics},
booktitle = {Computer Algebra in Scientific Computing - 24th International Workshop,
{CASC} 2022, Gebze, Turkey, August 22-26, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13366},
pages = {353--376},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-14788-3\_20},
doi = {10.1007/978-3-031-14788-3\_20},
timestamp = {Fri, 12 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/casc/VorozhtsovK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/Vrahatis22,
author = {Michael N. Vrahatis},
editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
title = {Survey on Generalizations of the Intermediate Value Theorem and Applications},
booktitle = {Computer Algebra in Scientific Computing - 24th International Workshop,
{CASC} 2022, Gebze, Turkey, August 22-26, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13366},
pages = {1--17},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-14788-3\_1},
doi = {10.1007/978-3-031-14788-3\_1},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/casc/Vrahatis22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/ZengXCY22,
author = {Zhenbing Zeng and
Yaochen Xu and
Yu Chen and
Zhengfeng Yang},
editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
title = {A Mechanical Method for Isolating Locally Optimal Points of Certain
Radical Functions},
booktitle = {Computer Algebra in Scientific Computing - 24th International Workshop,
{CASC} 2022, Gebze, Turkey, August 22-26, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13366},
pages = {377--396},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-14788-3\_21},
doi = {10.1007/978-3-031-14788-3\_21},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/casc/ZengXCY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/casc/2022,
editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
title = {Computer Algebra in Scientific Computing - 24th International Workshop,
{CASC} 2022, Gebze, Turkey, August 22-26, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13366},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-14788-3},
doi = {10.1007/978-3-031-14788-3},
isbn = {978-3-031-14787-6},
timestamp = {Fri, 12 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/casc/2022.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.
retrieved on 2024-10-03 16:07 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
