| 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. |
| 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 |
| 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 |
Tag hinzufügen