default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID19th CASC 2017: Beijing, China
- Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov:
Computer Algebra in Scientific Computing - 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings. Lecture Notes in Computer Science 10490, Springer 2017, ISBN 978-3-319-66319-7 - Sergei A. Abramov
:
Linear Differential Systems with Infinite Power Series Coefficients (Invited Talk). 1-15 - Andrei V. Banshchikov:
On the Asymptotic Stability of a Satellite with a Gravitational Stabilizer. 16-26 - Matteo Briani, Annie A. M. Cuyt, Wen-shin Lee:
Sparse Interpolation, the FFT Algorithm and FIR Filters. 27-39 - Alexander D. Bruno, Victor F. Edneral, Valery G. Romanovski:
On New Integrals of the Algaba-Gamero-Garcia System. 40-50 - Changbo Chen, Wenyuan Wu, Yong Feng:
Full Rank Representation of Real Algebraic Sets and Applications. 51-65 - Jin-San Cheng, Xiaojie Dou:
Certifying Simple Zeros of Over-Determined Polynomial Systems. 66-76 - Rina Dong, Chenqi Mou:
Decomposing Polynomial Sets Simultaneously into Gröbner Bases and Normal Triangular Sets. 77-92 - Matthew England, Hassan Errami, Dima Grigoriev, Ovidiu Radulescu, Thomas Sturm, Andreas Weber:
Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks. 93-108 - Raul Epure, Yue Ren, Hans Schönemann:
The Polymake Interface in Singular and Its Applications. 109-117 - W. L. Fan, D. J. Jeffrey, Erik Postma:
Computation of Some Integer Sequences in Maple. 118-133 - A. A. Gusev, 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. 134-150 - A. A. Gusev, 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. 151-166 - Sergey A. Gutnik, Vasily A. Sarychev:
A Symbolic Study of the Satellite Dynamics Subject to Damping Torques. 167-182 - Youren Hu, Xiao-Shan Gao:
Characteristic Set Method for Laurent Differential Polynomial Systems. 183-195 - Qiao-Long Huang, Xiao-Shan Gao:
Sparse Polynomial Interpolation with Finitely Many Values for the Coefficients. 196-209 - Valentin Irtegov, Tatyana Titorenko:
On Stationary Motions of the Generalized Kowalewski Gyrostat and Their Stability. 210-224 - Rui-Juan Jing, Marc Moreno Maza:
Computing the Integer Points of a Polyhedron, I: Algorithm. 225-241 - Rui-Juan Jing, Marc Moreno Maza:
Computing the Integer Points of a Polyhedron, II: Complexity Estimates. 242-256 - Ryszard Kozera, Lyle Noakes:
Non-linearity and Non-convexity in Optimal Knots Selection for Sparse Reduced Data. 257-271 - Zhe Li, Baocheng Wan, Shugong Zhang:
The Convergence Conditions of Interval Newton's Method Based on Point Estimates. 272-284 - Jiang Liu:
Normalization of Indexed Differentials Based on Function Distance Invariants. 285-300 - Dmitry A. Lyakhov, Vladimir P. Gerdt, Andreas G. Weber, Dominik L. Michels:
Symbolic-Numeric Integration of the Dynamical Cosserat Equations. 301-312 - Vincent Neiger, Hamid Rahkooy, Éric Schost:
Algorithms for Zero-Dimensional Ideals Using Linear Recurrent Sequences. 313-328 - Alexander N. Prokopenya:
Symbolic-Numerical Analysis of the Relative Equilibria Stability in the Planar Circular Restricted Four-Body Problem. 329-345 - 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. 346-361 - Yu Wang, Wenyuan Wu, Bican Xia:
A Special Homotopy Continuation Method for a Class of Polynomial Systems. 362-376 - Wenyuan Wu, Changbo Chen, Greg Reid:
Penalty Function Based Critical Point Approach to Compute Real Witness Solution Points of Polynomial Systems. 377-391 - Lihong Zhi:
Computing Multiple Zeros of Polynomial Systems: Case of Breadth One (Invited Talk). 392-405
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-04-26 00:05 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
