Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Evgenii V. Vorozhtsov |
A Symbolic-Numeric Method for Solving the Poisson Equation in Polar Coordinates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings, pp. 330-349, 2023, Springer, 978-3-031-41723-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ayoola Jinadu, Michael B. Monagan |
Solving Parametric Linear Systems Using Sparse Rational Function Interpolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings, pp. 233-254, 2023, Springer, 978-3-031-41723-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Rashid Barket, Matthew England 0001, Jürgen Gerhard |
Generating Elementary Integrable Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings, pp. 21-38, 2023, Springer, 978-3-031-41723-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Stephen M. Watt |
Efficient Quotients of Non-commutative Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings, pp. 370-392, 2023, Springer, 978-3-031-41723-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Bo Huang, Xiaoliang Li, Wei Niu 0001, Shaofen Xie |
Stability and Zero-Hopf Bifurcation Analysis of the Lorenz-Stenflo System Using Symbolic Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings, pp. 183-198, 2023, Springer, 978-3-031-41723-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Mahsa Ansari, Michael B. Monagan |
Computing GCDs of Multivariate Polynomials over Algebraic Number Fields Presented with Multiple Extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings, pp. 1-20, 2023, Springer, 978-3-031-41723-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Brandt, Juan Pablo González Trochez, Marc Moreno Maza, Haoze Yuan |
A Modular Algorithm for Computing the Intersection of a One-Dimensional Quasi-Component and a Hypersurface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings, pp. 69-89, 2023, Springer, 978-3-031-41723-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Kai Hormann, Chee Yap, Ya Shi Zhang |
Range Functions of Any Convergence Order and Their Amortized Complexity Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings, pp. 162-182, 2023, Springer, 978-3-031-41723-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | A. A. Gusev 0001, Ochbadrakh Chuluunbaatar, V. L. Derbov, Rashid Nazmitdinov, Sergey I. Vinitsky, P. W. Wen, C. J. Lin, H. M. Jia, Luong Le Hai |
Symbolic-Numerical Algorithm for Solving the Problem of Heavy Ion Collisions in an Optical Model with a Complex Potential. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings, pp. 128-140, 2023, Springer, 978-3-031-41723-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Weidong Wang, Jing Yang |
Two Variants of Bézout Subresultants for Several Univariate Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings, pp. 350-369, 2023, Springer, 978-3-031-41723-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ling Tan, Bo Li, Bingwei Zhang, Jin-San Cheng |
An Algorithm for the Intersection Problem of Planar Parametric Curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings, pp. 312-329, 2023, Springer, 978-3-031-41723-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | François Boulier, Matthew England 0001, Ilias S. Kotsireas, Timur M. Sadykov 0001, Evgenii V. Vorozhtsov (eds.) |
Computer Algebra in Scientific Computing - 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![Springer, 978-3-031-41723-8 The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Peter J. Olver |
On the Structure and Generators of Differential Invariant Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings, pp. 292-311, 2023, Springer, 978-3-031-41723-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Valentin Irtegov, Tatiana Titorenko |
On the Qualitative Analysis of the Equations of Motion of a Nonholonomic Mechanical System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings, pp. 213-232, 2023, Springer, 978-3-031-41723-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Soo Go, Victor Y. Pan, Pedro Soto |
Root-Squaring for Root-Finding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings, pp. 107-127, 2023, Springer, 978-3-031-41723-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | André Galligo, Didier Clamond |
Certified Study of Internal Solitary Waves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings, pp. 90-106, 2023, Springer, 978-3-031-41723-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jacob Imre, David J. Jeffrey |
Non-principal Branches of Lambert W. A Tale of 2 Circles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings, pp. 199-212, 2023, Springer, 978-3-031-41723-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Elizaveta Kalinina, Alexei Uteshev, Marina V. Goncharova, Elena Lezhnina |
On the Distance to the Nearest Defective Matrix. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings, pp. 255-271, 2023, Springer, 978-3-031-41723-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Klara Bernauer, Clemens Hofstadler, Georg Regensburger |
How to Automatise Proofs of Operator Statements: Moore-Penrose Inverse; A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings, pp. 39-68, 2023, Springer, 978-3-031-41723-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Katsusuke Nabeshima, Shinichi Tajima |
Effective Algorithm for Computing Noetherian Operators of Positive Dimensional Ideals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings, pp. 272-291, 2023, Springer, 978-3-031-41723-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Mizuki Yoshizawa, Akira Terui, Masahiko Mikawa |
Inverse Kinematics and Path Planning of Manipulator Using Real Quantifier Elimination Based on Comprehensive Gröbner Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings, pp. 393-419, 2023, Springer, 978-3-031-41723-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Amir Hashemi, Daniel Lichtblau |
On the Complexity of Linear Algebra Operations over Algebraic Extension Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings, pp. 141-161, 2023, Springer, 978-3-031-41723-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Zhenbing Zeng, Yaochen Xu, Yu Chen, Zhengfeng Yang |
A Mechanical Method for Isolating Locally Optimal Points of Certain Radical Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, Proceedings, pp. 377-396, 2022, Springer, 978-3-031-14787-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Mingyu Dong, Chenqi Mou |
Analyses and Implementations of Chordality-Preserving Top-Down Algorithms for Triangular Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, Proceedings, pp. 124-142, 2022, Springer, 978-3-031-14787-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Evgenii V. Vorozhtsov, Sergey P. Kiselev |
A General Method of Finding New Symplectic Schemes for Hamiltonian Mechanics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, Proceedings, pp. 353-376, 2022, Springer, 978-3-031-14787-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Nuspl, Veronika Pillwein |
A Comparison of Algorithms for Proving Positivity of Linearly Recurrent Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, Proceedings, pp. 268-287, 2022, Springer, 978-3-031-14787-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Hara Charalambous, Kostas Karagiannis, Sotiris Karanikolopoulos, Aristides Kontogeorgis |
Computational Aspects of Equivariant Hilbert Series of Canonical Rings for Algebraic Curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, Proceedings, pp. 83-102, 2022, Springer, 978-3-031-14787-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Alexander N. Prokopenya |
Stability Analysis of Periodic Motion of the Swinging Atwood Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, Proceedings, pp. 288-299, 2022, Springer, 978-3-031-14787-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jan Verschelde, Kylash Viswanathan |
Locating the Closest Singularity in a Polynomial Homotopy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, Proceedings, pp. 333-352, 2022, Springer, 978-3-031-14787-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Marc Moreno Maza, Linxiao Wang |
Computing the Integer Hull of Convex Polyhedral Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, Proceedings, pp. 246-267, 2022, Springer, 978-3-031-14787-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Elizaveta Kalinina, Alexei Uteshev |
Distance Evaluation to the Set of Matrices with Multiple Eigenvalues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, Proceedings, pp. 206-224, 2022, Springer, 978-3-031-14787-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Algirdas Deveikis, Alexander Gusev 0001, Sergue I. Vinitsky, Yuri A. Blinkov, Andrzej Gózdz, Aleksandra Pedrak, Peter O. Hess |
Symbolic-Numeric Algorithm for Calculations in Geometric Collective Model of Atomic Nuclei. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, Proceedings, pp. 103-123, 2022, Springer, 978-3-031-14787-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Tereso del Río, Matthew England 0001 |
New Heuristic to Choose a Cylindrical Algebraic Decomposition Variable Ordering Motivated by Complexity Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, Proceedings, pp. 300-317, 2022, Springer, 978-3-031-14787-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Daisuke Takahashi |
An Implementation of Parallel Number-Theoretic Transform Using Intel AVX-512 Instructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, Proceedings, pp. 318-332, 2022, Springer, 978-3-031-14787-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Michael N. Vrahatis |
Survey on Generalizations of the Intermediate Value Theorem and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, Proceedings, pp. 1-17, 2022, Springer, 978-3-031-14787-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Andrei V. Banshchikov |
Application of Symbolic-Numerical Modeling Tools for Analysis of Gyroscopic Stabilization of Gyrostat Equilibria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, Proceedings, pp. 51-61, 2022, Springer, 978-3-031-14787-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Valentin Irtegov, Tatiana Titorenko |
On Equilibrium Positions in the Problem of the Motion of a System of Two Bodies in a Uniform Gravity Field. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, Proceedings, pp. 165-184, 2022, Springer, 978-3-031-14787-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Sergei A. Abramov, Denis E. Khmelnov, Anna A. Ryabenko |
On Truncated Series Involved in Exponential-Logarithmic Solutions of Truncated LODEs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, Proceedings, pp. 18-28, 2022, Springer, 978-3-031-14787-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Franz Brauße, Pieter Collins, Martin Ziegler 0001 |
Computer Science for Continuous Data - Survey, Vision, Theory, and Practice of a Computer [inline-graphic not available: see fulltext]Analysis System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, Proceedings, pp. 62-82, 2022, Springer, 978-3-031-14787-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ayoola Jinadu, Michael B. Monagan |
An Interpolation Algorithm for Computing Dixon Resultants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, Proceedings, pp. 185-205, 2022, Springer, 978-3-031-14787-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | François Boulier, Matthew England 0001, Timur M. Sadykov 0001, Evgenii V. Vorozhtsov (eds.) |
Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![Springer, 978-3-031-14787-6 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Mohammadali Asadi, Alexander Brandt, David J. Jeffrey, Marc Moreno Maza |
Subresultant Chains Using Bézout Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, Proceedings, pp. 29-50, 2022, Springer, 978-3-031-14787-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Markus Lange-Hegermann, Daniel Robertz |
On Boundary Conditions Parametrized by Analytic Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, Proceedings, pp. 225-245, 2022, Springer, 978-3-031-14787-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Rémi Imbach, Victor Y. Pan |
Accelerated Subdivision for Clustering Roots of Polynomials Given by Evaluation Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, Proceedings, pp. 143-164, 2022, Springer, 978-3-031-14787-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Rémi Imbach, Victor Y. Pan |
Root Radii and Subdivision for Polynomial Root-Finding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings, pp. 136-156, 2021, Springer, 978-3-030-85164-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alicia Dickenstein |
Families of Polynomials in the Study of Biochemical Reaction Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings, pp. 1-5, 2021, Springer, 978-3-030-85164-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | François Lemaire, Adrien Poteaux |
Decoupling Multivariate Fractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings, pp. 209-231, 2021, Springer, 978-3-030-85164-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Evangelos Bartzos, Ioannis Z. Emiris, Charalambos Tzamos |
The m-Bézout Bound and Distance Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings, pp. 6-20, 2021, Springer, 978-3-030-85164-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Kosaku Nagasaka |
Relaxed NewtonSLRA for Approximate GCD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings, pp. 272-292, 2021, Springer, 978-3-030-85164-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Victor L. Selivanov, Svetlana Selivanova |
Primitive Recursive Ordered Fields and Some Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings, pp. 353-369, 2021, Springer, 978-3-030-85164-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Valentin Irtegov, Tatiana Titorenko |
On First Integrals and Invariant Manifolds in the Generalized Problem of the Motion of a Rigid Body in a Magnetic Field. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings, pp. 157-173, 2021, Springer, 978-3-030-85164-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Hiromi Ishii |
Automatic Differentiation with Higher Infinitesimals, or Computational Smooth Infinitesimal Analysis in Weil Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings, pp. 174-191, 2021, Springer, 978-3-030-85164-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Hamid Rahkooy, Thomas Sturm 0001 |
Parametric Toricity of Steady State Varieties of Reaction Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings, pp. 314-333, 2021, Springer, 978-3-030-85164-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Zhenbing Zeng, Yu Chen, Xiang Sun, Yuzheng Wang |
On Geometric Property of Fermat-Torricelli Points on Sphere. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings, pp. 442-462, 2021, Springer, 978-3-030-85164-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Hamid Rahkooy, Thomas Sturm 0001 |
Testing Binomiality of Chemical Reaction Networks Using Comprehensive Gröbner Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings, pp. 334-352, 2021, Springer, 978-3-030-85164-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Brandt, Marc Moreno Maza |
On the Complexity and Parallel Implementation of Hensel's Lemma and Weierstrass Preparation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings, pp. 78-99, 2021, Springer, 978-3-030-85164-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Yuji Hashimoto, Koji Nuida |
Improved Supersingularity Testing of Elliptic Curves Using Legendre Form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings, pp. 121-135, 2021, Springer, 978-3-030-85164-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Evgenii V. Vorozhtsov, Sergey P. Kiselev |
Optimal Four-Stage Symplectic Integrators for Molecular Dynamics Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings, pp. 420-441, 2021, Springer, 978-3-030-85164-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | François Boulier, Matthew England 0001, Timur M. Sadykov 0001, Evgenii V. Vorozhtsov (eds.) |
Computer Algebra in Scientific Computing - 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![Springer, 978-3-030-85164-4 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Shinichi Tajima, Katsusuke Nabeshima |
A New Deterministic Method for Computing Milnor Number of an ICIS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings, pp. 391-408, 2021, Springer, 978-3-030-85164-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mohammadali Asadi, Alexander Brandt, Marc Moreno Maza |
Computational Schemes for Subresultant Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings, pp. 21-41, 2021, Springer, 978-3-030-85164-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Svetlana Topalova, Stela Zhelezova |
New Parallelisms of $\mathrm{PG}(3, 5)$ with Automorphisms of Order 8. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings, pp. 409-419, 2021, Springer, 978-3-030-85164-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Elizaveta Kalinina, Alexei Uteshev |
On the Real Stability Radius for Some Classes of Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings, pp. 192-208, 2021, Springer, 978-3-030-85164-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Algirdas Deveikis, Alexander Gusev 0001, Sergue I. Vinitsky, Andrzej Gózdz, Aleksandra Pedrak, Cestmir Burdik, George S. Pogosyan |
Symbolic-Numeric Algorithms for Computing Orthonormal Bases of SU(3) Group for Orbital Angular Momentum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings, pp. 100-120, 2021, Springer, 978-3-030-85164-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | François Boulier, Sebastian Falkensteiner, Marc Paul Noordman, Omar León Sánchez |
On the Relationship Between Differential Algebra and Tropical Differential Algebraic Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings, pp. 62-77, 2021, Springer, 978-3-030-85164-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Moulay A. Barkatou, Thomas Cluzeau, Ali El-Hajj |
On Rational Solutions of Pseudo-linear Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings, pp. 42-61, 2021, Springer, 978-3-030-85164-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Marc Moreno Maza, Ryan Sandford |
Towards Extending Fulton's Algorithm for Computing Intersection Multiplicities Beyond the Bivariate Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings, pp. 232-251, 2021, Springer, 978-3-030-85164-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Nikolay N. Osipov, Alexey A. Kytmanov |
Simplification of Nested Real Radicals Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings, pp. 293-313, 2021, Springer, 978-3-030-85164-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Marc Moreno Maza, Linxiao Wang |
On the Pseudo-Periodicity of the Integer Hull of Parametric Convex Polygons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings, pp. 252-271, 2021, Springer, 978-3-030-85164-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Svetlana Selivanova, Florian Steinberg 0001, Holger Thies, Martin Ziegler 0001 |
Exact Real Computation of Solution Operators for Linear Analytic Systems of Partial Differential Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings, pp. 370-390, 2021, Springer, 978-3-030-85164-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Simon Telen, Marc Van Barel, Jan Verschelde |
Robust Numerical Tracking of One Path of a Polynomial Homotopy on Parallel Shared Memory Computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings, pp. 563-582, 2020, Springer, 978-3-030-60025-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Edik A. Ayryan, Mikhail D. Malykh, Leonid A. Sevastianov, Yu Ying |
On Periodic Approximate Solutions of the Three-Body Problem Found by Conservative Difference Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings, pp. 77-90, 2020, Springer, 978-3-030-60025-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Evgenii V. Vorozhtsov, Sergey P. Kiselev |
Comparative Study of the Accuracy of Higher-Order Difference Schemes for Molecular Dynamics Problems Using the Computer Algebra Means. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings, pp. 600-620, 2020, Springer, 978-3-030-60025-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alexander N. Prokopenya, Mukhtar Zh. Minglibayev, Oralkhan Baisbayeva |
Analytical Computations in Studying Translational-Rotational Motion of a Non-stationary Triaxial Body in the Central Gravitational Field. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings, pp. 478-491, 2020, Springer, 978-3-030-60025-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Daniela Kaufmann, Armin Biere |
Nullstellensatz-Proofs for Multiplier Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings, pp. 368-389, 2020, Springer, 978-3-030-60025-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Boming Chi, Akira Terui |
The GPGCD Algorithm with the Bézout Matrix. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings, pp. 170-187, 2020, Springer, 978-3-030-60025-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Katsusuke Nabeshima |
Computing Parametric Standard Bases for Semi-weighted Homogeneous Isolated Hypersurface Singularities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings, pp. 447-460, 2020, Springer, 978-3-030-60025-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Algirdas Deveikis, Alexander Gusev 0001, Vladimir P. Gerdt, Sergue I. Vinitsky, Andrzej Gózdz, Aleksandra Pedrak, Cestmir Burdik, George S. Pogosyan |
Symbolic-Numeric Algorithm for Computing Orthonormal Basis of O(5)˟ SU(1, 1) Group. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings, pp. 206-227, 2020, Springer, 978-3-030-60025-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Lindner, Laurent Imbert, Michael J. Jacobson Jr. |
Balanced NUCOMP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings, pp. 402-420, 2020, Springer, 978-3-030-60025-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Dmitry V. Divakov, Anastasia A. Tiutiunnik, Anton L. Sevastianov |
Symbolic-Numeric Study of Geometric Properties of Adiabatic Waveguide Modes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings, pp. 228-244, 2020, Springer, 978-3-030-60025-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hamid Rahkooy, Thomas Sturm 0001 |
First-Order Tests for Toricity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings, pp. 510-527, 2020, Springer, 978-3-030-60025-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Elizaveta Kalinina, Yuri Smol'kin, Alexei Yu. Uteshev |
Routh - Hurwitz Stability of a Polynomial Matrix Family. Real Perturbations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings, pp. 316-334, 2020, Springer, 978-3-030-60025-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Valentin Irtegov, Tatiana Titorenko |
On the Study of the Motion of a System of Two Connected Rigid Bodies by Computer Algebra Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings, pp. 266-281, 2020, Springer, 978-3-030-60025-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hamid Rahkooy, Ovidiu Radulescu, Thomas Sturm 0001 |
A Linear Algebra Approach for Detecting Binomiality of Steady State Ideals of Reversible Chemical Reaction Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings, pp. 492-509, 2020, Springer, 978-3-030-60025-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | François Boulier, Matthew England 0001, Timur M. Sadykov 0001, Evgenii V. Vorozhtsov (eds.) |
Computer Algebra in Scientific Computing - 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![Springer, 978-3-030-60025-9 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yang Liu 0277, Dmitry A. Lyakhov, Dominik L. Michels |
Contact Linearizability of Scalar Ordinary Differential Equations of Arbitrary Order. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings, pp. 421-430, 2020, Springer, 978-3-030-60025-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bodrato, Alberto Zanoni |
Univariate Polynomials with Long Unbalanced Coefficients as Bivariate Balanced Ones: A Toom-Cook Multiplication Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings, pp. 91-107, 2020, Springer, 978-3-030-60025-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Simon Abelard |
On the Complexity of Computing Integral Bases of Function Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings, pp. 42-62, 2020, Springer, 978-3-030-60025-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ovidiu Radulescu |
Tropical Geometry of Biological Systems (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings, pp. 1-13, 2020, Springer, 978-3-030-60025-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Erich L. Kaltofen, Clément Pernet, Zhi-Hong Yang |
Hermite Rational Function Interpolation with Error Correction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings, pp. 335-357, 2020, Springer, 978-3-030-60025-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Zoltán Kovács |
"Mathemachines" via LEGO, GeoGebra and CindyJS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings, pp. 390-401, 2020, Springer, 978-3-030-60025-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Brandt, Mahsa Kazemi, Marc Moreno Maza |
Power Series Arithmetic with the BPAS Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings, pp. 108-128, 2020, Springer, 978-3-030-60025-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Raphael Jolly |
Progress Report on the Scala Algebra System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings, pp. 307-315, 2020, Springer, 978-3-030-60025-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tian Chen, Michael B. Monagan |
The Complexity and Parallel Implementation of Two Sparse Multivariate Hensel Lifting Algorithms for Polynomial Factorization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings, pp. 150-169, 2020, Springer, 978-3-030-60025-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Shinichi Tajima, Takafumi Shibuta, Katsusuke Nabeshima |
Computing Logarithmic Vector Fields Along an ICIS Germ via Matlis Duality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings, pp. 543-562, 2020, Springer, 978-3-030-60025-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Eugenio Roanes-Lozano |
Looking for Compatible Routes in the Railway Interlocking System of an Overtaking Station Using a Computer Algebra System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings, pp. 528-542, 2020, Springer, 978-3-030-60025-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Christopher W. Brown 0001, Scott McCallum |
Enhancements to Lazard's Method for Cylindrical Algebraic Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings, pp. 129-149, 2020, Springer, 978-3-030-60025-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Qi Luan, Victor Y. Pan, Won-geun Kim, Vitaly Zaderman |
Faster Numerical Univariate Polynomial Root-Finding by Means of Subdivision Iterations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings, pp. 431-446, 2020, Springer, 978-3-030-60025-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tao Zheng |
Characterizing Triviality of the Exponent Lattice of a Polynomial Through Galois and Galois-Like Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings, pp. 621-641, 2020, Springer, 978-3-030-60025-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Werner M. Seiler, Matthias Seiß |
Algebraic and Geometric Analysis of Singularities of Implicit Differential Equations (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings, pp. 14-41, 2020, Springer, 978-3-030-60025-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|