Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Robert M. Corless, Mark Giesbrecht, Leili Rafiee Sevyeri, B. David Saunders |
On Parametric Linear System Solving. ![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. 188-205, 2020, Springer, 978-3-030-60025-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Amir Hashemi, Joos Heintz, Luis M. Pardo, Pablo Solernó |
Intrinsic Complexity for Constructing Zero-Dimensional Gröbner Bases. ![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. 245-265, 2020, Springer, 978-3-030-60025-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Victor Y. Pan |
Acceleration of Subdivision Root-Finding for Sparse Polynomials. ![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. 461-477, 2020, Springer, 978-3-030-60025-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Kauers, Jakob Moosbauer |
Good Pivots for Small Sparse Matrices. ![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. 358-367, 2020, Springer, 978-3-030-60025-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jihad Titi, Jürgen Garloff |
Symbolic-Numeric Computation of the Bernstein Coefficients of a Polynomial from Those of One of Its Partial Derivatives and of the Product of Two Polynomials. ![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. 583-599, 2020, Springer, 978-3-030-60025-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sergei A. Abramov, Denis E. Khmelnov, Anna A. Ryabenko |
Truncated and Infinite Power Series in the Role of Coefficients of Linear Ordinary Differential Equations. ![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. 63-76, 2020, Springer, 978-3-030-60025-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rui-Juan Jing, Marc Moreno Maza, Delaram Talaashrafi |
Complexity Estimates for Fourier-Motzkin Elimination. ![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. 282-306, 2020, Springer, 978-3-030-60025-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Zhenbing Zeng, Liangyu Chen 0001 |
Determining the Heilbronn Configuration of Seven Points in Triangles via Symbolic Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, Proceedings, pp. 458-477, 2019, Springer, 978-3-030-26830-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Vitaly Zaderman, Liang Zhao |
Counting Roots of a Polynomial in a Convex Compact Region by Means of Winding Number Calculation via Sampling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, Proceedings, pp. 451-457, 2019, Springer, 978-3-030-26830-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yury A. Blinkov, Vladimir P. Gerdt, I. A. Pankratov, E. A. Kotkova |
Construction of a New Implicit Difference Scheme for 2D Boussinesq Paradigm Equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, Proceedings, pp. 152-163, 2019, Springer, 978-3-030-26830-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rémi Imbach, Victor Y. Pan, Chee Yap, Ilias S. Kotsireas, Vitaly Zaderman |
Root-Finding with Implicit Deflation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, Proceedings, pp. 236-245, 2019, Springer, 978-3-030-26830-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nikolay N. Osipov, S. D. Dalinkevich |
An Algorithm for Solving a Quartic Diophantine Equation Satisfying Runge's Condition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, Proceedings, pp. 377-392, 2019, Springer, 978-3-030-26830-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Edik A. Ayryan, Mikhail D. Malykh, Leonid A. Sevastianov, Yu Ying |
On Explicit Difference Schemes for Autonomous Systems of Differential Equations on Manifolds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, Proceedings, pp. 343-361, 2019, Springer, 978-3-030-26830-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Chee Yap |
Towards Soft Exact Computation (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, Proceedings, pp. 12-36, 2019, Springer, 978-3-030-26830-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Matthew England 0001, Wolfram Koepf, Timur M. Sadykov 0001, Werner M. Seiler, Evgenii V. Vorozhtsov (eds.) |
Computer Algebra in Scientific Computing - 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![Springer, 978-3-030-26830-5 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Amir Hashemi, Mahsa Kazemi |
Parametric Standard Bases and Their Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, Proceedings, pp. 179-196, 2019, Springer, 978-3-030-26830-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Evgenii V. Vorozhtsov, Vasily P. Shapeev |
A Divergence-Free Method for Solving the Incompressible Navier-Stokes Equations on Non-uniform Grids and Its Symbolic-Numeric Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, Proceedings, pp. 430-450, 2019, Springer, 978-3-030-26830-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nikolay Golov, Alexander Filatov, Sergey Bruskin |
Efficient Exact Algorithm for Count Distinct Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, Proceedings, pp. 67-77, 2019, Springer, 978-3-030-26830-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Harald Hofstätter, Winfried Auzinger, Othmar Koch |
An Algorithm for Computing Coefficients of Words in Expressions Involving Exponentials and Its Application to the Construction of Exponential Integrators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, Proceedings, pp. 197-214, 2019, Springer, 978-3-030-26830-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sergey A. Gutnik, Vasily A. Sarychev |
Symbolic Investigation of the Dynamics of a System of Two Connected Bodies Moving Along a Circular Orbit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, Proceedings, pp. 164-178, 2019, Springer, 978-3-030-26830-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ilias S. Kotsireas, Youtong Liu, Jing Yang 0039 |
PAF Reconstruction with the Orbits Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, Proceedings, pp. 315-329, 2019, Springer, 978-3-030-26830-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Qiao-Long Huang, Xiao-Shan Gao |
Revisit Sparse Polynomial Interpolation Based on Randomized Kronecker Substitution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, Proceedings, pp. 215-235, 2019, Springer, 978-3-030-26830-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Algirdas Deveikis, A. A. Gusev 0001, Vladimir P. Gerdt, Sergey I. Vinitsky, Andrzej Gózdz, Aleksandra Pedrak, Cestmir Burdik |
Symbolic-Numerical Algorithm for Large Scale Calculations the Orthonormal SU(3) BM Basis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, Proceedings, pp. 91-106, 2019, Springer, 978-3-030-26830-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Victor F. Edneral |
About Integrability of the Degenerate System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, Proceedings, pp. 140-151, 2019, Springer, 978-3-030-26830-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Stanislav Poslavsky |
Rings: An Efficient JVM Library for Commutative Algebra (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, Proceedings, pp. 1-11, 2019, Springer, 978-3-030-26830-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Chenqi Mou, Xiaolin Fan |
On Berlekamp-Massey and Berlekamp-Massey-Sakata Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, Proceedings, pp. 362-376, 2019, Springer, 978-3-030-26830-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir V. Kornyak |
An Algorithm for Computing Invariant Projectors in Representations of Wreath Products. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, Proceedings, pp. 300-314, 2019, Springer, 978-3-030-26830-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jose Capco, Saraleen Mae M. Manongsong |
Implementing HuPf Algorithm for the Inverse Kinematics of General 6R/P Manipulators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, Proceedings, pp. 78-90, 2019, Springer, 978-3-030-26830-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Andrei V. Banshchikov |
Obtaining and Analysis of the Necessary Conditions of Stability of Orbital Gyrostat by Means of Computer Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, Proceedings, pp. 57-66, 2019, Springer, 978-3-030-26830-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dmitry V. Divakov, Anton L. Sevastianov |
The Implementation of the Symbolic-Numerical Method for Finding the Adiabatic Waveguide Modes of Integrated Optical Waveguides in CAS Maple. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, Proceedings, pp. 107-121, 2019, Springer, 978-3-030-26830-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Elizaveta Kalinina, Yuri Smol'kin, Alexei Uteshev |
Robust Schur Stability of a Polynomial Matrix Family. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, Proceedings, pp. 262-279, 2019, Springer, 978-3-030-26830-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rina Dong, Chenqi Mou |
On Characteristic Decomposition and Quasi-characteristic Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, Proceedings, pp. 122-139, 2019, Springer, 978-3-030-26830-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Victor Y. Pan |
Old and New Nearly Optimal Polynomial Root-Finders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, Proceedings, pp. 393-411, 2019, Springer, 978-3-030-26830-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alexey A. Kasatkin, Aliya A. Gainetdinova |
Symbolic and Numerical Methods for Searching Symmetries of Ordinary Differential Equations with a Small Parameter and Reducing Its Order. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, Proceedings, pp. 280-299, 2019, Springer, 978-3-030-26830-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Semjon Adlaj |
An Arithmetic-Geometric Mean of a Third Kind! ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, Proceedings, pp. 37-56, 2019, Springer, 978-3-030-26830-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Valentin Irtegov, Tatiana Titorenko |
On Linear Invariant Manifolds in the Generalized Problem of Motion of a Top in a Magnetic Field. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, Proceedings, pp. 246-261, 2019, Springer, 978-3-030-26830-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Anastasia A. Tiutiunnik, Dmitry V. Divakov, Mikhail D. Malykh, Leonid A. Sevastianov |
Symbolic-Numeric Implementation of the Four Potential Method for Calculating Normal Modes: An Example of Square Electromagnetic Waveguide with Rectangular Insert. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, Proceedings, pp. 412-429, 2019, Springer, 978-3-030-26830-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | V. A. Krasikov |
Analytic Complexity of Hypergeometric Functions Satisfying Systems with Holonomic Rank Two. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, Proceedings, pp. 330-342, 2019, Springer, 978-3-030-26830-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tateaki Sasaki |
A Theory and an Algorithm for Computing Sparse Multivariate Polynomial Remainder Sequence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings, pp. 345-360, 2018, Springer, 978-3-319-99638-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bentolhoda Binaei, Amir Hashemi, Werner M. Seiler |
Computation of Pommaret Bases Using Syzygies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings, pp. 51-66, 2018, Springer, 978-3-319-99638-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jan Verschelde |
A Blackbox Polynomial System Solver on Parallel Shared Memory Computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings, pp. 361-375, 2018, Springer, 978-3-319-99638-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sergey A. Gutnik, Vasily A. Sarychev |
Symbolic-Numeric Simulation of Satellite Dynamics with Aerodynamic Attitude Control System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings, pp. 214-229, 2018, Springer, 978-3-319-99638-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Changbo Chen, Wenyuan Wu |
A Continuation Method for Visualizing Planar Real Algebraic Curves with Singularities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings, pp. 99-115, 2018, Springer, 978-3-319-99638-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Timur M. Sadykov 0001 |
Beyond the First Class of Analytic Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings, pp. 335-344, 2018, Springer, 978-3-319-99638-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yuki Ishihara, Kazuhiro Yokoyama |
Effective Localization Using Double Ideal Quotient and Its Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings, pp. 272-287, 2018, Springer, 978-3-319-99638-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Michael B. Monagan, Baris Tuncer |
Factoring Multivariate Polynomials with Many Factors and Huge Coefficients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings, pp. 319-334, 2018, Springer, 978-3-319-99638-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Gérard H. E. Duchamp, Vincel Hoang Ngoc Minh, Karol A. Penson |
About Some Drinfel'd Associators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings, pp. 146-163, 2018, Springer, 978-3-319-99638-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dima Grigoriev, Nicolai N. Vorobjov Jr. |
Orthogonal Tropical Linear Prevarieties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings, pp. 187-196, 2018, Springer, 978-3-319-99638-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir V. Kornyak |
Splitting Permutation Representations of Finite Groups by Polynomial Algebra Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings, pp. 304-318, 2018, Springer, 978-3-319-99638-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | A. A. Gusev 0001, Vladimir P. Gerdt, Ochbadrakh Chuluunbaatar, G. Chuluunbaatar, Sergey I. Vinitsky, V. L. Derbov, Andrzej Gózdz, Pavel Krassovitskiy |
Symbolic-Numerical Algorithms for Solving Elliptic Boundary-Value Problems Using Multivariate Simplex Lagrange Elements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings, pp. 197-213, 2018, Springer, 978-3-319-99638-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Hoon Hong, Thomas Sturm 0001 |
Positive Solutions of Systems of Signed Parametric Polynomial Inequalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings, pp. 238-253, 2018, Springer, 978-3-319-99638-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mohammadali Asadi, Alexander Brandt, Robert H. C. Moir, Marc Moreno Maza |
Sparse Polynomial Arithmetic with the BPAS Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings, pp. 32-50, 2018, Springer, 978-3-319-99638-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sergei A. Abramov, Denis E. Khmelnov |
On Unimodular Matrices of Difference Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings, pp. 18-31, 2018, Springer, 978-3-319-99638-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Valentin Irtegov, Tatiana Titorenko |
Qualitative Analysis of a Dynamical System with Irrational First Integrals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings, pp. 254-271, 2018, Springer, 978-3-319-99638-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Hiromi Ishii |
A Purely Functional Computer Algebra System Embedded in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings, pp. 288-303, 2018, Springer, 978-3-319-99638-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov (eds.) |
Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![Springer, 978-3-319-99638-7 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | María Isabel Hartillo-Hermoso, José Manuel Jiménez Cobano, José María Ucha-Enríquez |
Finding Multiple Solutions in Nonlinear Integer Programming with Algebraic Test-Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings, pp. 230-237, 2018, Springer, 978-3-319-99638-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Pavel G. Emelyanov, Denis K. Ponomaryov |
On a Polytime Factorization Algorithm for Multilinear Polynomials over \mathbb F_2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings, pp. 164-176, 2018, Springer, 978-3-319-99638-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Guillaume Dumas |
Proof-of-Work Certificates that Can Be Efficiently Computed in the Cloud (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings, pp. 1-17, 2018, Springer, 978-3-319-99638-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yury A. Blinkov, Vladimir P. Gerdt, Dmitry A. Lyakhov, Dominik L. Michels |
A Strongly Consistent Finite Difference Scheme for Steady Stokes Flow and its Modified Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings, pp. 67-81, 2018, Springer, 978-3-319-99638-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Algirdas Deveikis, A. A. Gusev 0001, Vladimir P. Gerdt, Sergey I. Vinitsky, Andrzej Gózdz, Aleksandra Pedrak |
Symbolic Algorithm for Generating the Orthonormal Bargmann-Moshinsky Basis for \mathrm SU(3) Group. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings, pp. 131-145, 2018, Springer, 978-3-319-99638-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Annie A. M. Cuyt, Ferre Knaepkens, Wen-shin Lee |
From Exponential Analysis to Padé Approximation and Tensor Decomposition, in One and More Dimensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings, pp. 116-130, 2018, Springer, 978-3-319-99638-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dima Grigoriev |
Tropical Newton-Puiseux Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings, pp. 177-186, 2018, Springer, 978-3-319-99638-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | François Boulier, Hélène Castel, Nathalie Corson, Valentina Lanza, François Lemaire, Adrien Poteaux, Alban Quadrat, Nathalie Verdière |
Symbolic-Numeric Methods for Nonlinear Integro-Differential Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings, pp. 82-98, 2018, Springer, 978-3-319-99638-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Rui-Juan Jing, Marc Moreno Maza |
Computing the Integer Points of a Polyhedron, I: Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings, pp. 225-241, 2017, Springer, 978-3-319-66319-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sergey A. Gutnik, Vasily A. Sarychev |
A Symbolic Study of the Satellite Dynamics Subject to Damping Torques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings, pp. 167-182, 2017, Springer, 978-3-319-66319-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sergei A. Abramov |
Linear Differential Systems with Infinite Power Series Coefficients (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings, pp. 1-15, 2017, Springer, 978-3-319-66319-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Qiao-Long Huang, Xiao-Shan Gao |
Sparse Polynomial Interpolation with Finitely Many Values for the Coefficients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings, pp. 196-209, 2017, Springer, 978-3-319-66319-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ryszard Kozera, Lyle Noakes |
Non-linearity and Non-convexity in Optimal Knots Selection for Sparse Reduced Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings, pp. 257-271, 2017, Springer, 978-3-319-66319-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Youren Hu, Xiao-Shan Gao |
Characteristic Set Method for Laurent Differential Polynomial Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings, pp. 183-195, 2017, Springer, 978-3-319-66319-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Vasily P. Shapeev, Evgenii V. Vorozhtsov |
The Method of Collocations and Least Residuals Combining the Integral Form of Collocation Equations and the Matching Differential Relations at the Solution of PDEs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings, pp. 346-361, 2017, Springer, 978-3-319-66319-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Lihong Zhi |
Computing Multiple Zeros of Polynomial Systems: Case of Breadth One (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings, pp. 392-405, 2017, Springer, 978-3-319-66319-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Rui-Juan Jing, Marc Moreno Maza |
Computing the Integer Points of a Polyhedron, II: Complexity Estimates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings, pp. 242-256, 2017, Springer, 978-3-319-66319-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yu Wang, Wenyuan Wu, Bican Xia |
A Special Homotopy Continuation Method for a Class of Polynomial Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings, pp. 362-376, 2017, Springer, 978-3-319-66319-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Valentin Irtegov, Tatyana Titorenko |
On Stationary Motions of the Generalized Kowalewski Gyrostat and Their Stability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings, pp. 210-224, 2017, Springer, 978-3-319-66319-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Briani, Annie A. M. Cuyt, Wen-shin Lee |
Sparse Interpolation, the FFT Algorithm and FIR Filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings, pp. 27-39, 2017, Springer, 978-3-319-66319-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Changbo Chen, Wenyuan Wu, Yong Feng |
Full Rank Representation of Real Algebraic Sets and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings, pp. 51-65, 2017, Springer, 978-3-319-66319-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov (eds.) |
Computer Algebra in Scientific Computing - 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![Springer, 978-3-319-66319-7 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Matthew England 0001, Hassan Errami, Dima Grigoriev, Ovidiu Radulescu, Thomas Sturm 0001, Andreas Weber 0004 |
Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings, pp. 93-108, 2017, Springer, 978-3-319-66319-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Neiger, Hamid Rahkooy, Éric Schost |
Algorithms for Zero-Dimensional Ideals Using Linear Recurrent Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings, pp. 313-328, 2017, Springer, 978-3-319-66319-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Rina Dong, Chenqi Mou |
Decomposing Polynomial Sets Simultaneously into Gröbner Bases and Normal Triangular Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings, pp. 77-92, 2017, Springer, 978-3-319-66319-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Andrei V. Banshchikov |
On the Asymptotic Stability of a Satellite with a Gravitational Stabilizer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings, pp. 16-26, 2017, Springer, 978-3-319-66319-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Wenyuan Wu, Changbo Chen, Greg Reid |
Penalty Function Based Critical Point Approach to Compute Real Witness Solution Points of Polynomial Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings, pp. 377-391, 2017, Springer, 978-3-319-66319-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | W. L. Fan, D. J. Jeffrey, Erik Postma |
Computation of Some Integer Sequences in Maple. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings, pp. 118-133, 2017, Springer, 978-3-319-66319-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dmitry A. Lyakhov, Vladimir P. Gerdt, Andreas G. Weber, Dominik L. Michels |
Symbolic-Numeric Integration of the Dynamical Cosserat Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings, pp. 301-312, 2017, Springer, 978-3-319-66319-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jiang Liu |
Normalization of Indexed Differentials Based on Function Distance Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings, pp. 285-300, 2017, Springer, 978-3-319-66319-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | A. A. Gusev 0001, Vladimir P. Gerdt, Ochbadrakh Chuluunbaatar, G. Chuluunbaatar, Sergey I. Vinitsky, V. L. Derbov, Andrzej Gózdz |
Symbolic-Numerical Algorithms for Solving the Parametric Self-adjoint 2D Elliptic Boundary-Value Problem Using High-Accuracy Finite Element Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings, pp. 151-166, 2017, Springer, 978-3-319-66319-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Raul Epure, Yue Ren, Hans Schönemann |
The Polymake Interface in Singular and Its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings, pp. 109-117, 2017, Springer, 978-3-319-66319-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alexander N. Prokopenya |
Symbolic-Numerical Analysis of the Relative Equilibria Stability in the Planar Circular Restricted Four-Body Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings, pp. 329-345, 2017, Springer, 978-3-319-66319-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Zhe Li, Baocheng Wan, Shugong Zhang |
The Convergence Conditions of Interval Newton's Method Based on Point Estimates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings, pp. 272-284, 2017, Springer, 978-3-319-66319-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | A. A. Gusev 0001, Vladimir P. Gerdt, Ochbadrakh Chuluunbaatar, G. Chuluunbaatar, Sergey I. Vinitsky, V. L. Derbov, Andrzej Gózdz |
Symbolic-Numerical Algorithm for Generating Interpolation Multivariate Hermite Polynomials of High-Accuracy Finite Element Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings, pp. 134-150, 2017, Springer, 978-3-319-66319-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alexander D. Bruno, Victor F. Edneral, Valery G. Romanovski |
On New Integrals of the Algaba-Gamero-Garcia System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings, pp. 40-50, 2017, Springer, 978-3-319-66319-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jin-San Cheng, Xiaojie Dou |
Certifying Simple Zeros of Over-Determined Polynomial Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings, pp. 66-76, 2017, Springer, 978-3-319-66319-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | A. A. Gusev 0001, Vladimir P. Gerdt, Sergey I. Vinitsky, V. L. Derbov, Andrzej Gózdz, Aleksandra Pedrak, A. Szulerecka, A. Dobrowolski |
Symbolic Algorithm for Generating Irreducible Rotational-Vibrational Bases of Point Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings, pp. 228-242, 2016, Springer, 978-3-319-45640-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tateaki Sasaki, Daiju Inaba |
Enhancing the Extended Hensel Construction by Using Gröbner Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings, pp. 457-472, 2016, Springer, 978-3-319-45640-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kacper Pluta, Guillaume Moroz, Yukiko Kenmochi, Pascal Romon |
Quadric Arrangement in Classifying Rigid Motions of a 3D Digital Image. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings, pp. 426-443, 2016, Springer, 978-3-319-45640-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Winfried Auzinger, Harald Hofstätter, Othmar Koch |
Symbolic Manipulation of Flows of Nonlinear Evolution Equations, with Application in the Analysis of Split-Step Time Integrators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings, pp. 43-57, 2016, Springer, 978-3-319-45640-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Doru Stefanescu |
Computational Aspects of a Bound of Lagrange. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings, pp. 504-511, 2016, Springer, 978-3-319-45640-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Marshall Law, Michael B. Monagan |
Computing Characteristic Polynomials of Matrices of Structured Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings, pp. 336-348, 2016, Springer, 978-3-319-45640-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nathan Bliss, Jan Verschelde |
Computing All Space Curve Solutions of Polynomial Systems by Polyhedral Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings, pp. 73-86, 2016, Springer, 978-3-319-45640-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|