| 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.  |
CASC  |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Amir Hashemi, Joos Heintz, Luis M. Pardo, Pablo Solernó |
Intrinsic Complexity for Constructing Zero-Dimensional Gröbner Bases. |
CASC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor Y. Pan |
Acceleration of Subdivision Root-Finding for Sparse Polynomials. |
CASC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Kauers, Jakob Moosbauer |
Good Pivots for Small Sparse Matrices. |
CASC |
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. |
CASC |
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. |
CASC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui-Juan Jing, Marc Moreno Maza, Delaram Talaashrafi |
Complexity Estimates for Fourier-Motzkin Elimination. |
CASC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenbing Zeng, Liangyu Chen 0001 |
Determining the Heilbronn Configuration of Seven Points in Triangles via Symbolic Computation. |
CASC |
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. |
CASC |
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. |
CASC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Rémi Imbach, Victor Y. Pan, Chee Yap, Ilias S. Kotsireas, Vitaly Zaderman |
Root-Finding with Implicit Deflation. |
CASC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolay N. Osipov, S. D. Dalinkevich |
An Algorithm for Solving a Quartic Diophantine Equation Satisfying Runge's Condition. |
CASC |
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. |
CASC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Chee Yap |
Towards Soft Exact Computation (Invited Talk). |
CASC |
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 |
CASC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Amir Hashemi, Mahsa Kazemi |
Parametric Standard Bases and Their Applications. |
CASC |
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. |
CASC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolay Golov, Alexander Filatov, Sergey Bruskin |
Efficient Exact Algorithm for Count Distinct Problem. |
CASC |
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. |
CASC |
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. |
CASC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilias S. Kotsireas, Youtong Liu, Jing Yang 0039 |
PAF Reconstruction with the Orbits Method. |
CASC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Qiao-Long Huang, Xiao-Shan Gao |
Revisit Sparse Polynomial Interpolation Based on Randomized Kronecker Substitution. |
CASC |
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. |
CASC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor F. Edneral |
About Integrability of the Degenerate System. |
CASC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Stanislav Poslavsky |
Rings: An Efficient JVM Library for Commutative Algebra (Invited Talk). |
CASC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Chenqi Mou, Xiaolin Fan |
On Berlekamp-Massey and Berlekamp-Massey-Sakata Algorithms. |
CASC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir V. Kornyak |
An Algorithm for Computing Invariant Projectors in Representations of Wreath Products. |
CASC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jose Capco, Saraleen Mae M. Manongsong |
Implementing HuPf Algorithm for the Inverse Kinematics of General 6R/P Manipulators. |
CASC |
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. |
CASC |
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. |
CASC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Elizaveta Kalinina, Yuri Smol'kin, Alexei Uteshev |
Robust Schur Stability of a Polynomial Matrix Family. |
CASC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Rina Dong, Chenqi Mou |
On Characteristic Decomposition and Quasi-characteristic Decomposition. |
CASC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor Y. Pan |
Old and New Nearly Optimal Polynomial Root-Finders. |
CASC |
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. |
CASC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Semjon Adlaj |
An Arithmetic-Geometric Mean of a Third Kind! |
CASC |
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. |
CASC |
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. |
CASC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | V. A. Krasikov |
Analytic Complexity of Hypergeometric Functions Satisfying Systems with Holonomic Rank Two. |
CASC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Tateaki Sasaki |
A Theory and an Algorithm for Computing Sparse Multivariate Polynomial Remainder Sequence. |
CASC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Bentolhoda Binaei, Amir Hashemi, Werner M. Seiler |
Computation of Pommaret Bases Using Syzygies. |
CASC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Verschelde |
A Blackbox Polynomial System Solver on Parallel Shared Memory Computers. |
CASC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergey A. Gutnik, Vasily A. Sarychev |
Symbolic-Numeric Simulation of Satellite Dynamics with Aerodynamic Attitude Control System. |
CASC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Changbo Chen, Wenyuan Wu |
A Continuation Method for Visualizing Planar Real Algebraic Curves with Singularities. |
CASC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Timur M. Sadykov 0001 |
Beyond the First Class of Analytic Complexity. |
CASC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuki Ishihara, Kazuhiro Yokoyama |
Effective Localization Using Double Ideal Quotient and Its Implementation. |
CASC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael B. Monagan, Baris Tuncer |
Factoring Multivariate Polynomials with Many Factors and Huge Coefficients. |
CASC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard H. E. Duchamp, Vincel Hoang Ngoc Minh, Karol A. Penson |
About Some Drinfel'd Associators. |
CASC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Dima Grigoriev, Nicolai N. Vorobjov Jr. |
Orthogonal Tropical Linear Prevarieties. |
CASC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir V. Kornyak |
Splitting Permutation Representations of Finite Groups by Polynomial Algebra Methods. |
CASC |
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. |
CASC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Hoon Hong, Thomas Sturm 0001 |
Positive Solutions of Systems of Signed Parametric Polynomial Inequalities. |
CASC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammadali Asadi, Alexander Brandt, Robert H. C. Moir, Marc Moreno Maza |
Sparse Polynomial Arithmetic with the BPAS Library. |
CASC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergei A. Abramov, Denis E. Khmelnov |
On Unimodular Matrices of Difference Operators. |
CASC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Irtegov, Tatiana Titorenko |
Qualitative Analysis of a Dynamical System with Irrational First Integrals. |
CASC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiromi Ishii |
A Purely Functional Computer Algebra System Embedded in Haskell. |
CASC |
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 |
CASC |
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. |
CASC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel G. Emelyanov, Denis K. Ponomaryov |
On a Polytime Factorization Algorithm for Multilinear Polynomials over \mathbb F_2. |
CASC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Guillaume Dumas |
Proof-of-Work Certificates that Can Be Efficiently Computed in the Cloud (Invited Talk). |
CASC |
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. |
CASC |
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. |
CASC |
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. |
CASC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Dima Grigoriev |
Tropical Newton-Puiseux Polynomials. |
CASC |
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. |
CASC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui-Juan Jing, Marc Moreno Maza |
Computing the Integer Points of a Polyhedron, I: Algorithm. |
CASC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergey A. Gutnik, Vasily A. Sarychev |
A Symbolic Study of the Satellite Dynamics Subject to Damping Torques. |
CASC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergei A. Abramov |
Linear Differential Systems with Infinite Power Series Coefficients (Invited Talk). |
CASC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Qiao-Long Huang, Xiao-Shan Gao |
Sparse Polynomial Interpolation with Finitely Many Values for the Coefficients. |
CASC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Kozera, Lyle Noakes |
Non-linearity and Non-convexity in Optimal Knots Selection for Sparse Reduced Data. |
CASC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Youren Hu, Xiao-Shan Gao |
Characteristic Set Method for Laurent Differential Polynomial Systems. |
CASC |
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. |
CASC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Lihong Zhi |
Computing Multiple Zeros of Polynomial Systems: Case of Breadth One (Invited Talk). |
CASC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui-Juan Jing, Marc Moreno Maza |
Computing the Integer Points of a Polyhedron, II: Complexity Estimates. |
CASC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Wang, Wenyuan Wu, Bican Xia |
A Special Homotopy Continuation Method for a Class of Polynomial Systems. |
CASC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Irtegov, Tatyana Titorenko |
On Stationary Motions of the Generalized Kowalewski Gyrostat and Their Stability. |
CASC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Briani, Annie A. M. Cuyt, Wen-shin Lee |
Sparse Interpolation, the FFT Algorithm and FIR Filters. |
CASC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Changbo Chen, Wenyuan Wu, Yong Feng |
Full Rank Representation of Real Algebraic Sets and Applications. |
CASC |
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 |
CASC |
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. |
CASC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Neiger, Hamid Rahkooy, Éric Schost |
Algorithms for Zero-Dimensional Ideals Using Linear Recurrent Sequences. |
CASC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Rina Dong, Chenqi Mou |
Decomposing Polynomial Sets Simultaneously into Gröbner Bases and Normal Triangular Sets. |
CASC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei V. Banshchikov |
On the Asymptotic Stability of a Satellite with a Gravitational Stabilizer. |
CASC |
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. |
CASC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | W. L. Fan, D. J. Jeffrey, Erik Postma |
Computation of Some Integer Sequences in Maple. |
CASC |
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. |
CASC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiang Liu |
Normalization of Indexed Differentials Based on Function Distance Invariants. |
CASC |
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. |
CASC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Raul Epure, Yue Ren, Hans Schönemann |
The Polymake Interface in Singular and Its Applications. |
CASC |
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. |
CASC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Li, Baocheng Wan, Shugong Zhang |
The Convergence Conditions of Interval Newton's Method Based on Point Estimates. |
CASC |
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. |
CASC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander D. Bruno, Victor F. Edneral, Valery G. Romanovski |
On New Integrals of the Algaba-Gamero-Garcia System. |
CASC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin-San Cheng, Xiaojie Dou |
Certifying Simple Zeros of Over-Determined Polynomial Systems. |
CASC |
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. |
CASC |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Tateaki Sasaki, Daiju Inaba |
Enhancing the Extended Hensel Construction by Using Gröbner Bases. |
CASC |
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. |
CASC |
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. |
CASC |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Doru Stefanescu |
Computational Aspects of a Bound of Lagrange. |
CASC |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Marshall Law, Michael B. Monagan |
Computing Characteristic Polynomials of Matrices of Structured Polynomials. |
CASC |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathan Bliss, Jan Verschelde |
Computing All Space Curve Solutions of Polynomial Systems by Polyhedral Methods. |
CASC |
2016 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license