Computer Algebra in Scientific Computing
Menu
Home
CASC 2020
Dates
Committees
Bibliography
Recorded Talks
Schedule
Recorded Talks
Invited talks
Werner Seiler. Singularities of Algebraic Differential Equations.
Day 1
Christopher Brown and Scott McCallum. Enhancements to Lazard’s method for CAD construction.
Jürgen Garloff and Jihad Titi. Symbolic-Numeric Computation of the Bernstein Coefficients of a Polynomial From Those of Oneof Its Partial Derivatives and of the Product of Two Polynomials.
Shinichi Tajima, Takafumi Shibuta, and Katsusuke Nabeshima. Computing Logarithmic Vector Fields along an ICIS Germ via Matlis Duality.
Eugenio Roanes-Lozano. Looking for compatible routes in the railway interlocking system of an overtaking station using a computer algebra system.
Robert M. Corless, Mark Giesbrecht, Leili Rafiee Sevyeri, and B. David Saunders. On Parametric Linear System Solving.
Amir Hashemi, Thomas Izgin, Daniel Robertz, and Werner M. Seiler. An Involutive GVW Algorithm and the Computation of Pommaret Bases.
Day 2
Simon Abelard. On the complexity of computing integral bases of function fields.
Katsusuke Nabeshima. Computing Parametric Standard bases for Semi-weighted Homogeneous Isolated Hypersurface Singularities.
Yang Liu, Dmitry Lyakhov, and Dominik Michels. Contact Linearizability of Scalar Ordinary Differential Equations of Arbitrary Order.
Tao Zheng. Characterizing Triviality of the Exponent Lattice of A Polynomial through Galois and Galois-LikeGroups.
Florent Bréhard. A Symbolic-Numeric Validation Algorithm for Linear ODEs with Newton-Picard Method.
Alexander Brandt, Mahsa Kazemi, and Marc Moreno Maza. Power Series Arithmetic in the BPAS Library.
Amir Hashemi, Matthias Orth, and Werner M. Seiler. Relative Groebner and Involutive Bases For Ideals In Quotient Rings.
Day 3
Katsusuke Nabeshima and Shinichi Tajima. Computation of κ-invariants associated to deformations of isolated hypersurface singularities.
Manuel Kauers and Jakob Moosbauer. Good pivots for small sparse matrices.
Dmitriy Divakov, Anastasiia Tiutiunnik, and Anton Sevastianov. Symbolic-numerical research of the geometric properties of adiabatic waveguide modes.
Rui-Juan Jing, Marc Moreno Maza, and Delaram Talaashrafi. Complexity Estimates for Fourier-Motzkin Elimination.
Simon Telen, Marc Van Barel, and Jan Verschelde. Robust Numerical Tracking of One Path of a Polynomial Homotopy on Parallel Shared MemoryComputers.
Fernando Zhapa Camacho, Anthony Ramos, and Francesc Antón Castro. Purely functional implementation of a tropical geometry system in Haskel.
Day 4
Daniela Kaufmann and Armin Biere. Nullstellensatz-Proofs for Multiplier Verification.
Boming Chi and Akira Terui. The GPGCD Algorithm with the Bezout Matrix.
Algirdas Deveikis, Alexander Gusev, Vladimir Gerdt, Sergue Vinitsky, Andrzej Gozdz, Aleksandra Pedrak, Cestmir Burdik, and George Pogosyan. Symbolic-Numerical Algorithm for Computing Orthonormal Basis of O(5)xSU(1,1) Group.
Sergey Gutnik and Vasily Sarychev. Symbolic Computations of the Equilibrium Orientations of a System of Two Connected Bodies Moving on a Circular Orbit around the Earth.
Tian Chen and Michael Monagan. The Complexity and Parallel Implementation of two Sparse Multivariate Hensel Lifting Algorithms for Polynomial Factorization.
Day 5
Sergei Abramov, Denis Khmelnov, and Anna Ryabenko. Truncated and infinite power series in the role of coefficients of linear ordinary differential equations.
Amir Hashemi, Joos Heintz, Luis M. Pardo, and Pablo Solerno. Intrinsic complexity for constructing zero-dimensional Gröbner bases.
Raphael Jolly. Progress report on the Scala Algebra System.
Alberto Zanoni and Marco Bodrato. Univariate polynomials with long unbalanced coefficients as bivariate balanced ones: a Toom-Cook multiplication approach.
Zoltán Kovács. “Mathemachines” via LEGO, GeoGebra and CindyJS.
Cristina Bertone and Francesca Cioffi. The intrinsic connection between border and Pommaret marked bases.
Alexander Prokopenya, Mukhtar Minglibayev, and Oralkhan Baisbayeva. Analytical Computations in Studying Translational-Rotational Motion of a Non-Stationary Triaxial Body in the Central Gravitational Field.
Gennadi Malaschonok. LDU factorization.