Tropical Geometry of Biological Systems (Invited Talk)
|
2020 |
Radulescu, Ovidiu |
Algebraic and Geometric Analysis of Singularities of Implicit Differential Equations (Invited Talk)
|
2020 |
Seiler, Werner M. |
Symbolic-Numeric Study of Geometric Properties of Adiabatic Waveguide Modes
|
2020 |
Divakov, Dmitriy V. |
Complexity Estimates for Fourier-Motzkin Elimination
|
2020 |
Jing, Rui-Juan |
Hermite Rational Function Interpolation with Error Correction
|
2020 |
Kaltofen, Erich L. |
Computing Parametric Standard Bases for Semi-weighted Homogeneous Isolated Hypersurface Singularities
|
2020 |
Nabeshima, Katsusuke |
Analytical Computations in Studying Translational-Rotational Motion of a Non-stationary Triaxial Body in the Central Gravitational Field
|
2020 |
Prokopenya, Alexander |
First-Order Tests for Toricity
|
2020 |
Rahkooy, Hamid |
Looking for Compatible Routes in the Railway Interlocking System of an Overtaking Station Using a Computer Algebra System
|
2020 |
Roanes-Lozano, Eugenio |
Computing Logarithmic Vector Fields Along an ICIS Germ via Matlis Duality
|
2020 |
Tajima, Shinichi |
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
|
2020 |
Titi, Jihad |
Power Series Arithmetic with the BPAS Library
|
2020 |
Brandt, Alexander |
Enhancements to Lazard's Method for Cylindrical Algebraic Decomposition
|
2020 |
Brown, Christopher W. |
The Complexity and Parallel Implementation of Two Sparse Multivariate Hensel Lifting Algorithms for Polynomial Factorization
|
2020 |
Chen, Tian |
Good Pivots for Small Sparse Matrices
|
2020 |
Kauers, Manuel |
Univariate Polynomials with Long Unbalanced Coefficients as Bivariate Balanced Ones: A Toom-Cook Multiplication Approach
|
2020 |
Bodrato, Marco |
On Parametric Linear System Solving
|
2020 |
Corless, Robert M. |
Symbolic-Numeric Algorithm for Computing Orthonormal Basis of O(5) x SU(1,1) Group
|
2020 |
Deveikis, Algirdas |
Progress Report on the Scala Algebra System
|
2020 |
Jolly, Raphael |
Nullstellensatz-Proofs for Multiplier Verification
|
2020 |
Kaufmann, Daniela |