default search action
20th CASC 2018: Lille, France
- Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov:
Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings. Lecture Notes in Computer Science 11077, Springer 2018, ISBN 978-3-319-99638-7 - Jean-Guillaume Dumas
:
Proof-of-Work Certificates that Can Be Efficiently Computed in the Cloud (Invited Talk). 1-17 - Sergei A. Abramov
On Unimodular Matrices of Difference Operators. 18-31 - Mohammadali Asadi, Alexander Brandt
Sparse Polynomial Arithmetic with the BPAS Library. 32-50 - Bentolhoda Binaei, Amir Hashemi, Werner M. Seiler
Computation of Pommaret Bases Using Syzygies. 51-66 - Yury A. Blinkov
A Strongly Consistent Finite Difference Scheme for Steady Stokes Flow and its Modified Equations. 67-81 - 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. 82-98 - Changbo Chen, Wenyuan Wu:
A Continuation Method for Visualizing Planar Real Algebraic Curves with Singularities. 99-115 - Annie A. M. Cuyt, Ferre Knaepkens
From Exponential Analysis to Padé Approximation and Tensor Decomposition, in One and More Dimensions. 116-130 - Algirdas Deveikis, A. A. Gusev, Vladimir P. Gerdt, Sergey I. Vinitsky
Symbolic Algorithm for Generating the Orthonormal Bargmann-Moshinsky Basis for \mathrm SU(3) Group. 131-145 - Gérard H. E. Duchamp, Vincel Hoang Ngoc Minh, Karol A. Penson
About Some Drinfel'd Associators. 146-163 - Pavel G. Emelyanov, Denis K. Ponomaryov:
On a Polytime Factorization Algorithm for Multilinear Polynomials over \mathbb F_2. 164-176 - Dima Grigoriev:
Tropical Newton-Puiseux Polynomials. 177-186 - Dima Grigoriev, Nicolai N. Vorobjov Jr.:
Orthogonal Tropical Linear Prevarieties. 187-196 - A. A. Gusev, Vladimir P. Gerdt, Ochbadrakh Chuluunbaatar
Symbolic-Numerical Algorithms for Solving Elliptic Boundary-Value Problems Using Multivariate Simplex Lagrange Elements. 197-213 - Sergey A. Gutnik, Vasily A. Sarychev:
Symbolic-Numeric Simulation of Satellite Dynamics with Aerodynamic Attitude Control System. 214-229 - 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. 230-237 - Hoon Hong, Thomas Sturm
Positive Solutions of Systems of Signed Parametric Polynomial Inequalities. 238-253 - Valentin Irtegov, Tatiana Titorenko:
Qualitative Analysis of a Dynamical System with Irrational First Integrals. 254-271 - Yuki Ishihara, Kazuhiro Yokoyama:
Effective Localization Using Double Ideal Quotient and Its Implementation. 272-287 - Hiromi Ishii
A Purely Functional Computer Algebra System Embedded in Haskell. 288-303 - Vladimir V. Kornyak:
Splitting Permutation Representations of Finite Groups by Polynomial Algebra Methods. 304-318 - Michael B. Monagan, Baris Tuncer:
Factoring Multivariate Polynomials with Many Factors and Huge Coefficients. 319-334 - Timur M. Sadykov
Beyond the First Class of Analytic Complexity. 335-344 - Tateaki Sasaki:
A Theory and an Algorithm for Computing Sparse Multivariate Polynomial Remainder Sequence. 345-360 - Jan Verschelde:
A Blackbox Polynomial System Solver on Parallel Shared Memory Computers. 361-375
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 2024-12-17 20:46 CET 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: