Algebraic and Geometric Analysis of Singularities of Implicit Differential Equations (Invited Talk) (English)
- New search for: Seiler, Werner M.
- Further information on Seiler, Werner M.:
- https://orcid.org/http://orcid.org/0000-0002-0565-1334
- New search for: Seiß, Matthias
- New search for: Boulier, François
- Further information on Boulier, François:
- https://orcid.org/https://orcid.org/0000-0002-6663-719X
- New search for: England, Matthew
- Further information on England, Matthew:
- https://orcid.org/https://orcid.org/0000-0001-5729-3420
- New search for: Sadykov, Timur M.
- Further information on Sadykov, Timur M.:
- https://orcid.org/https://orcid.org/0000-0003-0741-2318
- New search for: Vorozhtsov, Evgenii V.
- Further information on Vorozhtsov, Evgenii V.:
- https://orcid.org/https://orcid.org/0000-0003-2753-8399
- New search for: Seiler, Werner M.
- Further information on Seiler, Werner M.:
- https://orcid.org/http://orcid.org/0000-0002-0565-1334
- New search for: Seiß, Matthias
In:
Computer Algebra in Scientific Computing
: 22nd International Workshop, CASC 2020, Linz, Austria, September 14–18, 2020, Proceedings
;
Chapter: 2
;
14-41
;
2020
- Article/Chapter (Book) / Electronic Resource
-
Title:Algebraic and Geometric Analysis of Singularities of Implicit Differential Equations (Invited Talk)
-
Additional title:Lect.Notes Computer
-
Contributors:Boulier, François ( editor ) / England, Matthew ( editor ) / Sadykov, Timur M. ( editor ) / Vorozhtsov, Evgenii V. ( editor ) / Seiler, Werner M. ( author ) / Seiß, Matthias ( author )
-
Conference:International Workshop on Computer Algebra in Scientific Computing ; 2020 ; Linz, Austria
-
Published in:Computer Algebra in Scientific Computing : 22nd International Workshop, CASC 2020, Linz, Austria, September 14–18, 2020, Proceedings ; Chapter: 2 ; 14-41Lecture Notes in Computer Science ; 12291 ; 14-41
-
Publisher:
- New search for: Springer International Publishing
-
Place of publication:Cham
-
Publication date:2020-10-02
-
Size:28 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
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
- 2
-
Algebraic and Geometric Analysis of Singularities of Implicit Differential Equations (Invited Talk)Seiler, Werner M. / Seiß, Matthias et al. | 2020
- 3
-
On the Complexity of Computing Integral Bases of Function FieldsAbelard, Simon et al. | 2020
- 4
-
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
- 5
-
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
- 6
-
Univariate Polynomials with Long Unbalanced Coefficients as Bivariate Balanced Ones: A Toom–Cook Multiplication ApproachBodrato, Marco / Zanoni, Alberto et al. | 2020
- 7
-
Power Series Arithmetic with the BPAS LibraryBrandt, Alexander / Kazemi, Mahsa / Moreno-Maza, Marc et al. | 2020
- 8
-
Enhancements to Lazard’s Method for Cylindrical Algebraic DecompositionBrown, Christopher W. / McCallum, Scott et al. | 2020
- 9
-
The Complexity and Parallel Implementation of Two Sparse Multivariate Hensel Lifting Algorithms for Polynomial FactorizationChen, Tian / Monagan, Michael et al. | 2020
- 10
-
The GPGCD Algorithm with the Bézout MatrixChi, Boming / Terui, Akira et al. | 2020
- 11
-
On Parametric Linear System SolvingCorless, Robert M. / Giesbrecht, Mark / Rafiee Sevyeri, Leili / Saunders, B. David et al. | 2020
- 12
-
Symbolic-Numeric Algorithm for Computing Orthonormal Basis of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\text {O(5)}\times \text {SU(1,1)}$$\end{document} GroupDeveikis, Algirdas / Gusev, Alexander A. / Gerdt, Vladimir P. / Vinitsky, Sergue I. / Góźdź, Andrzej / Pȩdrak, Aleksandra / Burdik, Čestmir / Pogosyan, George S. et al. | 2020
- 13
-
Symbolic-Numeric Study of Geometric Properties of Adiabatic Waveguide ModesDivakov, Dmitriy V. / Tiutiunnik, Anastasiia A. / Sevastianov, Anton L. et al. | 2020
- 14
-
Intrinsic Complexity for Constructing Zero-Dimensional Gröbner BasesHashemi, Amir / Heintz, Joos / Pardo, Luis M. / Solernó, Pablo et al. | 2020
- 15
-
On the Study of the Motion of a System of Two Connected Rigid Bodies by Computer Algebra MethodsIrtegov, Valentin / Titorenko, Tatiana et al. | 2020
- 16
-
Complexity Estimates for Fourier-Motzkin EliminationJing, Rui-Juan / Moreno-Maza, Marc / Talaashrafi, Delaram et al. | 2020
- 17
-
Progress Report on the Scala Algebra SystemJolly, Raphaël et al. | 2020
- 18
-
Routh – Hurwitz Stability of a Polynomial Matrix Family. Real PerturbationsKalinina, Elizaveta A. / Smol’kin, Yuri A. / Uteshev, Alexei Yu. et al. | 2020
- 19
-
Hermite Rational Function Interpolation with Error CorrectionKaltofen, Erich L. / Pernet, Clément / Yang, Zhi-Hong et al. | 2020
- 20
-
Good Pivots for Small Sparse MatricesKauers, Manuel / Moosbauer, Jakob et al. | 2020
- 21
-
Nullstellensatz-Proofs for Multiplier VerificationKaufmann, Daniela / Biere, Armin et al. | 2020
- 22
-
“Mathemachines” via LEGO, GeoGebra and CindyJSKovács, Zoltán et al. | 2020
- 23
-
Balanced NUCOMPLindner, Sebastian / Imbert, Laurent / Jacobson, Michael J. et al. | 2020
- 24
-
Contact Linearizability of Scalar Ordinary Differential Equations of Arbitrary OrderLiu, Yang / Lyakhov, Dmitry / Michels, Dominik L. et al. | 2020
- 25
-
Faster Numerical Univariate Polynomial Root-Finding by Means of Subdivision IterationsLuan, Qi / Pan, Victor Y. / Kim, Wongeun / Zaderman, Vitaly et al. | 2020
- 26
-
Computing Parametric Standard Bases for Semi-weighted Homogeneous Isolated Hypersurface SingularitiesNabeshima, Katsusuke et al. | 2020
- 27
-
Acceleration of Subdivision Root-Finding for Sparse PolynomialsPan, Victor Y. et al. | 2020
- 28
-
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
- 29
-
A Linear Algebra Approach for Detecting Binomiality of Steady State Ideals of Reversible Chemical Reaction NetworksRahkooy, Hamid / Radulescu, Ovidiu / Sturm, Thomas et al. | 2020
- 30
-
First-Order Tests for ToricityRahkooy, Hamid / Sturm, Thomas et al. | 2020
- 31
-
Looking for Compatible Routes in the Railway Interlocking System of an Overtaking Station Using a Computer Algebra SystemRoanes-Lozano, Eugenio et al. | 2020
- 32
-
Computing Logarithmic Vector Fields Along an ICIS Germ via Matlis DualityTajima, Shinichi / Shibuta, Takafumi / Nabeshima, Katsusuke et al. | 2020
- 33
-
Robust Numerical Tracking of One Path of a Polynomial Homotopy on Parallel Shared Memory ComputersTelen, Simon / Van Barel, Marc / Verschelde, Jan et al. | 2020
- 34
-
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
- 35
-
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
- 36
-
Characterizing Triviality of the Exponent Lattice of a Polynomial Through Galois and Galois-Like GroupsZheng, Tao et al. | 2020