CASC B

26 papers

YearTitle / Authors
2021A New Deterministic Method for Computing Milnor Number of an ICIS.
Shinichi Tajima, Katsusuke Nabeshima
2021Automatic Differentiation with Higher Infinitesimals, or Computational Smooth Infinitesimal Analysis in Weil Algebra.
Hiromi Ishii
2021Computational Schemes for Subresultant Chains.
Mohammadali Asadi, Alexander Brandt, Marc Moreno Maza
2021Computer Algebra in Scientific Computing - 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings
François Boulier, Matthew England, Timur M. Sadykov, Evgenii V. Vorozhtsov
2021Decoupling Multivariate Fractions.
François Lemaire, Adrien Poteaux
2021Exact Real Computation of Solution Operators for Linear Analytic Systems of Partial Differential Equations.
Svetlana Selivanova, Florian Steinberg, Holger Thies, Martin Ziegler
2021Families of Polynomials in the Study of Biochemical Reaction Networks.
Alicia Dickenstein
2021Improved Supersingularity Testing of Elliptic Curves Using Legendre Form.
Yuji Hashimoto, Koji Nuida
2021New Parallelisms of $\mathrm{PG}(3, 5)$ with Automorphisms of Order 8.
Svetlana Topalova, Stela Zhelezova
2021On First Integrals and Invariant Manifolds in the Generalized Problem of the Motion of a Rigid Body in a Magnetic Field.
Valentin Irtegov, Tatiana Titorenko
2021On Geometric Property of Fermat-Torricelli Points on Sphere.
Zhenbing Zeng, Yu Chen, Xiang Sun, Yuzheng Wang
2021On Rational Solutions of Pseudo-linear Systems.
Moulay A. Barkatou, Thomas Cluzeau, Ali El-Hajj
2021On the Complexity and Parallel Implementation of Hensel's Lemma and Weierstrass Preparation.
Alexander Brandt, Marc Moreno Maza
2021On the Pseudo-Periodicity of the Integer Hull of Parametric Convex Polygons.
Marc Moreno Maza, Linxiao Wang
2021On the Real Stability Radius for Some Classes of Matrices.
Elizaveta Kalinina, Alexei Uteshev
2021On the Relationship Between Differential Algebra and Tropical Differential Algebraic Geometry.
François Boulier, Sebastian Falkensteiner, Marc Paul Noordman, Omar León Sánchez
2021Optimal Four-Stage Symplectic Integrators for Molecular Dynamics Problems.
Evgenii V. Vorozhtsov, Sergey P. Kiselev
2021Parametric Toricity of Steady State Varieties of Reaction Networks.
Hamid Rahkooy, Thomas Sturm
2021Primitive Recursive Ordered Fields and Some Applications.
Victor L. Selivanov, Svetlana Selivanova
2021Relaxed NewtonSLRA for Approximate GCD.
Kosaku Nagasaka
2021Root Radii and Subdivision for Polynomial Root-Finding.
Rémi Imbach, Victor Y. Pan
2021Simplification of Nested Real Radicals Revisited.
Nikolay N. Osipov, Alexey A. Kytmanov
2021Symbolic-Numeric Algorithms for Computing Orthonormal Bases of SU(3) Group for Orbital Angular Momentum.
Algirdas Deveikis, Alexander Gusev, Sergue I. Vinitsky, Andrzej Gózdz, Aleksandra Pedrak, Cestmir Burdik, George S. Pogosyan
2021Testing Binomiality of Chemical Reaction Networks Using Comprehensive Gröbner Systems.
Hamid Rahkooy, Thomas Sturm
2021The m-Bézout Bound and Distance Geometry.
Evangelos Bartzos, Ioannis Z. Emiris, Charalambos Tzamos
2021Towards Extending Fulton's Algorithm for Computing Intersection Multiplicities Beyond the Bivariate Case.
Marc Moreno Maza, Ryan Sandford