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 |
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 |
"Mathemachines" via LEGO, GeoGebra and CindyJS
|
2020 |
Kovacs, Zoltan |
Balanced NUCOMP
|
2020 |
Lindner, Sebastian |
Contact Linearizability of Scalar Ordinary Differential Equations of Arbitrary Order
|
2020 |
Liu, Yang |
Acceleration of Subdivision Root-Finding for Sparse Polynomials
|
2020 |
Pan, Victor Y. |