Algebraic and Geometric Analysis of Singularities of Implicit Differential Equations (Invited Talk) (English)
- New search for: Seiler, Werner M.
- New search for: Seiß, Matthias
- New search for: Seiler, Werner M.
- New search for: Seiß, Matthias
In:
Computer algebra in scientific computing
; 14-41
;
2020
-
ISBN:
- Conference paper / Print
-
Title:Algebraic and Geometric Analysis of Singularities of Implicit Differential Equations (Invited Talk)
-
Contributors:Seiler, Werner M. ( author ) / Seiß, Matthias ( author )
-
Conference:CASC ; 22. ; 2020 ; Online
-
Published in:
-
Publisher:
- New search for: Springer Nature
-
Place of publication:Cham, Switzerland
-
Publication date:2020
-
ISBN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
- New search for: 00B25 / 68W30 / 68-06
- Further information on Mathematics Subject Classification
- New search for: 54.10
- Further information on Basic classification
-
Keywords:
-
Classification:
-
Source:
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Tropical Geometry of Biological Systems (Invited Talk)Radulescu, Ovidiu et al. | 2020
- 14
-
Algebraic and Geometric Analysis of Singularities of Implicit Differential Equations (Invited Talk)Seiler, Werner M. / Seiß, Matthias et al. | 2020
- 42
-
On the Complexity of Computing Integral Bases of Function FieldsAbelard, Simon et al. | 2020
- 63
-
Truncated and Infinite Power Series in the Role of Coefficients of Linear Ordinary Differential EquationsAbramov, Sergei A. / Khmelnov, Denis E. / Ryabenko, Anna A. et al. | 2020
- 77
-
On Periodic Approximate Solutions of the Three-Body Problem Found by Conservative Difference SchemesAyryan, Edic A. / Malykh, Mikhail D. / Sevastianov, Leonid A. / Ying, Yu et al. | 2020
- 91
-
Univariate Polynomials with Long Unbalanced Coefficients as Bivariate Balanced Ones: A Toom-Cook Multiplication ApproachBodrato, Marco / Zanoni, Alberto et al. | 2020
- 108
-
Power Series Arithmetic with the BPAS LibraryBrandt, Alexander / Kazemi, Mahsa / Moreno-Maza, Marc et al. | 2020
- 129
-
Enhancements to Lazard's Method for Cylindrical Algebraic DecompositionBrown, Christopher W. / McCallum, Scott et al. | 2020
- 150
-
The Complexity and Parallel Implementation of Two Sparse Multivariate Hensel Lifting Algorithms for Polynomial FactorizationChen, Tian / Monagan, Michael et al. | 2020
- 170
-
The GPGCD Algorithm with the Bézout MatrixChi, Boming / Terui, Akira et al. | 2020
- 188
-
On Parametric Linear System SolvingCorless, Robert M. / Giesbrecht, Mark / Sevyeri, Leili Rafiee / Saunders, B. David et al. | 2020
- 206
-
Symbolic-Numeric Algorithm for Computing Orthonormal Basis of O(5) x SU(1,1) GroupDeveikis, Algirdas / Gusev, Alexander A. / Gerdt, Vladimir P. / Vinitsky, Sergue I. / Gózdz, Andrzej / Pedrak, Aleksandra / Burdik, Cestmir / Pogosyan, George S. et al. | 2020
- 228
-
Symbolic-Numeric Study of Geometric Properties of Adiabatic Waveguide ModesDivakov, Dmitriy V. / Tiutiunnik, Anastasiia A. / Sevastianov, Anton L. et al. | 2020
- 245
-
Intrinsic Complexity for Constructing Zero-Dimensional Gröbner BasesHashemi, Amir / Heintz, Joos / Pardo, Luis M. / Solernó, Pablo et al. | 2020
- 266
-
On the Study of the Motion of a System of Two Connected Rigid Bodies by Computer Algebra MethodsIrtegov, Valentin / Titorenko, Tatiana et al. | 2020
- 282
-
Complexity Estimates for Fourier-Motzkin EliminationJing, Rui-Juan / Moreno-Maza, Marc / Talaashrafi, Delaram et al. | 2020
- 307
-
Progress Report on the Scala Algebra SystemJolly, Raphael et al. | 2020
- 316
-
Routh — Hurwitz Stability of a Polynomial Matrix Family Real PerturbationsKalinina, Elizaveta A. / Smol'kin, Yuri A. / Uteshev, Alexei Yu. et al. | 2020
- 335
-
Hermite Rational Function Interpolation with Error CorrectionKaltofen, Erich L. / Pernet, Clément / Yang, Zhi-Hong et al. | 2020
- 358
-
Good Pivots for Small Sparse MatricesKauers, Manuel / Moosbauer, Jakob et al. | 2020
- 368
-
Nullstellensatz-Proofs for Multiplier VerificationKaufmann, Daniela / Biere, Armin et al. | 2020
- 390
-
"Mathemachines" via LEGO, GeoGebra and CindyJSKovacs, Zoltan et al. | 2020
- 402
-
Balanced NUCOMPLindner, Sebastian / Imbert, Laurent / Jacobson, Michael J. Jr. et al. | 2020
- 421
-
Contact Linearizability of Scalar Ordinary Differential Equations of Arbitrary OrderLiu, Yang / Lyakhov, Dmitry / Michels, Dominik L. et al. | 2020
- 431
-
Faster Numerical Univariate Polynomial Root-Finding by Means of Subdivision IterationsLuan, Qi / Pan, Victor Y. / Kim, Wongeun / Zaderman, Vitaly et al. | 2020
- 447
-
Computing Parametric Standard Bases for Semi-weighted Homogeneous Isolated Hypersurface SingularitiesNabeshima, Katsusuke et al. | 2020
- 461
-
Acceleration of Subdivision Root-Finding for Sparse PolynomialsPan, Victor Y. et al. | 2020
- 478
-
Analytical Computations in Studying Translational-Rotational Motion of a Non-stationary Triaxial Body in the Central Gravitational FieldProkopenya, Alexander / Minglibayev, Mukhtar / Baisbayeva, Oralkhan et al. | 2020
- 492
-
A Linear Algebra Approach for Detecting Binomiality of Steady State Ideals of Reversible Chemical Reaction NetworksRahkooy, Hamid / Radulescu, Ovidiu / Sturm, Thomas et al. | 2020
- 510
-
First-Order Tests for ToricityRahkooy, Hamid / Sturm, Thomas et al. | 2020
- 528
-
Looking for Compatible Routes in the Railway Interlocking System of an Overtaking Station Using a Computer Algebra SystemRoanes-Lozano, Eugenio et al. | 2020
- 543
-
Computing Logarithmic Vector Fields Along an ICIS Germ via Matlis DualityTajima, Shinichi / Shibuta, Takafumi / Nabeshima, Katsusuke et al. | 2020
- 563
-
Robust Numerical Tracking of One Path of a Polynomial Homotopy on Parallel Shared Memory ComputersTelen, Simon / Barel, Marc Van / Verschelde, Jan et al. | 2020
- 583
-
Symbolic-Numeric Computation of the Bernstein Coefficients of a Polynomial from Those of One of Its Partial Derivatives and of the Product of Two PolynomialsTiti, Jihad / Garloff, Jürgen et al. | 2020
- 600
-
Comparative Study of the Accuracy of Higher-Order Difference Schemes for Molecular Dynamics Problems Using the Computer Algebra MeansVorozhtsov, Evgenii V. / Kiselev, Sergey P. et al. | 2020
- 621
-
Characterizing Triviality of the Exponent Lattice of a Polynomial Through Galois and Galois-Like GroupsZheng, Tao et al. | 2020