| 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. |
| Comparative Study of the Accuracy of Higher-Order Difference Schemes for Molecular Dynamics Problems Using the Computer Algebra Means
|
2020 |
Vorozhtsov, Evgenii V. |
| 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 |
Tag hinzufügen