|
Linear Differential Systems with Infinite Power Series Coefficients (Invited Talk) |
|
|
1 | (15) |
|
|
|
On the Asymptotic Stability of a Satellite with a Gravitational Stabilizer |
|
|
16 | (11) |
|
|
|
Sparse Interpolation, the FFT Algorithm and FIR Filters |
|
|
27 | (13) |
|
|
|
|
|
|
|
On New Integrals of the Algaba-Gamero-Garcia System |
|
|
40 | (11) |
|
|
|
|
|
|
|
Full Rank Representation of Real Algebraic Sets and Applications |
|
|
51 | (15) |
|
|
|
|
|
|
|
Certifying Simple Zeros of Over-Determined Polynomial Systems |
|
|
66 | (11) |
|
|
|
|
|
Decomposing Polynomial Sets Simultaneously into Grobner Bases and Normal Triangular Sets |
|
|
77 | (16) |
|
|
|
|
|
Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks |
|
|
93 | (16) |
|
|
|
|
|
|
|
|
|
|
|
|
|
The Polymake Interface in Singular and Its Applications |
|
|
109 | (9) |
|
|
|
|
|
|
|
Computation of Some Integer Sequences in Maple |
|
|
118 | (16) |
|
|
|
|
|
|
|
Symbolic-Numerical Algorithm for Generating Interpolation Multivariate Hermite Polynomials of High-Accuracy Finite Element Method |
|
|
134 | (17) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Symbolic-Numerical Algorithms for Solving the Parametric Self-adjoint 2D Elliptic Boundary-Value Problem Using High-Accuracy Finite Element Method |
|
|
151 | (16) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
A Symbolic Study of the Satellite Dynamics Subject to Damping Torques |
|
|
167 | (16) |
|
|
|
|
|
Characteristic Set Method for Laurent Differential Polynomial Systems |
|
|
183 | (13) |
|
|
|
|
|
Sparse Polynomial Interpolation with Finitely Many Values for the Coefficients |
|
|
196 | (14) |
|
|
|
|
|
On Stationary Motions of the Generalized Kowalewski Gyrostat and Their Stability |
|
|
210 | (15) |
|
|
|
|
|
Computing the Integer Points of a Polyhedron, I: Algorithm |
|
|
225 | (17) |
|
|
|
|
|
Computing the Integer Points of a Polyhedron, II: Complexity Estimates |
|
|
242 | (15) |
|
|
|
|
|
Non-linearity and Non-convexity in Optimal Knots Selection for Sparse Reduced Data |
|
|
257 | (15) |
|
|
|
|
|
The Convergence Conditions of Interval Newton's Method Based on Point Estimates |
|
|
272 | (13) |
|
|
|
|
|
|
|
Normalization of Indexed Differentials Based on Function Distance Invariants |
|
|
285 | (16) |
|
|
|
Symbolic-Numeric Integration of the Dynamical Cosserat Equations |
|
|
301 | (12) |
|
|
|
|
|
|
|
|
|
Algorithms for Zero-Dimensional Ideals Using Linear Recurrent Sequences |
|
|
313 | (16) |
|
|
|
|
|
|
|
Symbolic-Numerical Analysis of the Relative Equilibria Stability in the Planar Circular Restricted Four-Body Problem |
|
|
329 | (17) |
|
|
|
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 | (16) |
|
|
|
|
|
A Special Homotopy Continuation Method for a Class of Polynomial Systems |
|
|
362 | (15) |
|
|
|
|
|
|
|
Penalty Function Based Critical Point Approach to Compute Real Witness Solution Points of Polynomial Systems |
|
|
377 | (15) |
|
|
|
|
|
|
|
Computing Multiple Zeros of Polynomial Systems: Case of Breadth One (Invited Talk) |
|
|
392 | (15) |
|
|
| Author Index |
|
407 | |
Lisainfo e-raamatute kohta