| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Evgenii V. Vorozhtsov |
A Symbolic-Numeric Method for Solving the Poisson Equation in Polar Coordinates.  |
CASC  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ayoola Jinadu, Michael B. Monagan |
Solving Parametric Linear Systems Using Sparse Rational Function Interpolation. |
CASC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Rashid Barket, Matthew England 0001, Jürgen Gerhard |
Generating Elementary Integrable Expressions. |
CASC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen M. Watt |
Efficient Quotients of Non-commutative Polynomials. |
CASC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Bo Huang, Xiaoliang Li, Wei Niu 0001, Shaofen Xie |
Stability and Zero-Hopf Bifurcation Analysis of the Lorenz-Stenflo System Using Symbolic Methods. |
CASC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahsa Ansari, Michael B. Monagan |
Computing GCDs of Multivariate Polynomials over Algebraic Number Fields Presented with Multiple Extensions. |
CASC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Brandt, Juan Pablo González Trochez, Marc Moreno Maza, Haoze Yuan |
A Modular Algorithm for Computing the Intersection of a One-Dimensional Quasi-Component and a Hypersurface. |
CASC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Hormann, Chee Yap, Ya Shi Zhang |
Range Functions of Any Convergence Order and Their Amortized Complexity Analysis. |
CASC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | A. A. Gusev 0001, Ochbadrakh Chuluunbaatar, V. L. Derbov, Rashid Nazmitdinov, Sergey I. Vinitsky, P. W. Wen, C. J. Lin, H. M. Jia, Luong Le Hai |
Symbolic-Numerical Algorithm for Solving the Problem of Heavy Ion Collisions in an Optical Model with a Complex Potential. |
CASC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Weidong Wang, Jing Yang |
Two Variants of Bézout Subresultants for Several Univariate Polynomials. |
CASC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ling Tan, Bo Li, Bingwei Zhang, Jin-San Cheng |
An Algorithm for the Intersection Problem of Planar Parametric Curves. |
CASC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | François Boulier, Matthew England 0001, Ilias S. Kotsireas, Timur M. Sadykov 0001, Evgenii V. Vorozhtsov (eds.) |
Computer Algebra in Scientific Computing - 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings |
CASC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter J. Olver |
On the Structure and Generators of Differential Invariant Algebras. |
CASC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Irtegov, Tatiana Titorenko |
On the Qualitative Analysis of the Equations of Motion of a Nonholonomic Mechanical System. |
CASC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Soo Go, Victor Y. Pan, Pedro Soto |
Root-Squaring for Root-Finding. |
CASC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | André Galligo, Didier Clamond |
Certified Study of Internal Solitary Waves. |
CASC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacob Imre, David J. Jeffrey |
Non-principal Branches of Lambert W. A Tale of 2 Circles. |
CASC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Elizaveta Kalinina, Alexei Uteshev, Marina V. Goncharova, Elena Lezhnina |
On the Distance to the Nearest Defective Matrix. |
CASC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Klara Bernauer, Clemens Hofstadler, Georg Regensburger |
How to Automatise Proofs of Operator Statements: Moore-Penrose Inverse; A Case Study. |
CASC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Katsusuke Nabeshima, Shinichi Tajima |
Effective Algorithm for Computing Noetherian Operators of Positive Dimensional Ideals. |
CASC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mizuki Yoshizawa, Akira Terui, Masahiko Mikawa |
Inverse Kinematics and Path Planning of Manipulator Using Real Quantifier Elimination Based on Comprehensive Gröbner Systems. |
CASC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Amir Hashemi, Daniel Lichtblau |
On the Complexity of Linear Algebra Operations over Algebraic Extension Fields. |
CASC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenbing Zeng, Yaochen Xu, Yu Chen, Zhengfeng Yang |
A Mechanical Method for Isolating Locally Optimal Points of Certain Radical Functions. |
CASC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingyu Dong, Chenqi Mou |
Analyses and Implementations of Chordality-Preserving Top-Down Algorithms for Triangular Decomposition. |
CASC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Evgenii V. Vorozhtsov, Sergey P. Kiselev |
A General Method of Finding New Symplectic Schemes for Hamiltonian Mechanics. |
CASC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Philipp Nuspl, Veronika Pillwein |
A Comparison of Algorithms for Proving Positivity of Linearly Recurrent Sequences. |
CASC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Hara Charalambous, Kostas Karagiannis, Sotiris Karanikolopoulos, Aristides Kontogeorgis |
Computational Aspects of Equivariant Hilbert Series of Canonical Rings for Algebraic Curves. |
CASC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander N. Prokopenya |
Stability Analysis of Periodic Motion of the Swinging Atwood Machine. |
CASC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Verschelde, Kylash Viswanathan |
Locating the Closest Singularity in a Polynomial Homotopy. |
CASC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Moreno Maza, Linxiao Wang |
Computing the Integer Hull of Convex Polyhedral Sets. |
CASC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Elizaveta Kalinina, Alexei Uteshev |
Distance Evaluation to the Set of Matrices with Multiple Eigenvalues. |
CASC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Algirdas Deveikis, Alexander Gusev 0001, Sergue I. Vinitsky, Yuri A. Blinkov, Andrzej Gózdz, Aleksandra Pedrak, Peter O. Hess |
Symbolic-Numeric Algorithm for Calculations in Geometric Collective Model of Atomic Nuclei. |
CASC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Tereso del Río, Matthew England 0001 |
New Heuristic to Choose a Cylindrical Algebraic Decomposition Variable Ordering Motivated by Complexity Analysis. |
CASC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Daisuke Takahashi |
An Implementation of Parallel Number-Theoretic Transform Using Intel AVX-512 Instructions. |
CASC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael N. Vrahatis |
Survey on Generalizations of the Intermediate Value Theorem and Applications. |
CASC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei V. Banshchikov |
Application of Symbolic-Numerical Modeling Tools for Analysis of Gyroscopic Stabilization of Gyrostat Equilibria. |
CASC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Irtegov, Tatiana Titorenko |
On Equilibrium Positions in the Problem of the Motion of a System of Two Bodies in a Uniform Gravity Field. |
CASC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergei A. Abramov, Denis E. Khmelnov, Anna A. Ryabenko |
On Truncated Series Involved in Exponential-Logarithmic Solutions of Truncated LODEs. |
CASC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Brauße, Pieter Collins, Martin Ziegler 0001 |
Computer Science for Continuous Data - Survey, Vision, Theory, and Practice of a Computer [inline-graphic not available: see fulltext]Analysis System. |
CASC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ayoola Jinadu, Michael B. Monagan |
An Interpolation Algorithm for Computing Dixon Resultants. |
CASC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | François Boulier, Matthew England 0001, Timur M. Sadykov 0001, Evgenii V. Vorozhtsov (eds.) |
Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, Proceedings |
CASC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammadali Asadi, Alexander Brandt, David J. Jeffrey, Marc Moreno Maza |
Subresultant Chains Using Bézout Matrices. |
CASC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Lange-Hegermann, Daniel Robertz |
On Boundary Conditions Parametrized by Analytic Functions. |
CASC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Rémi Imbach, Victor Y. Pan |
Accelerated Subdivision for Clustering Roots of Polynomials Given by Evaluation Oracles. |
CASC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Rémi Imbach, Victor Y. Pan |
Root Radii and Subdivision for Polynomial Root-Finding. |
CASC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Alicia Dickenstein |
Families of Polynomials in the Study of Biochemical Reaction Networks. |
CASC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | François Lemaire, Adrien Poteaux |
Decoupling Multivariate Fractions. |
CASC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Evangelos Bartzos, Ioannis Z. Emiris, Charalambos Tzamos |
The m-Bézout Bound and Distance Geometry. |
CASC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Kosaku Nagasaka |
Relaxed NewtonSLRA for Approximate GCD. |
CASC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor L. Selivanov, Svetlana Selivanova |
Primitive Recursive Ordered Fields and Some Applications. |
CASC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Irtegov, Tatiana Titorenko |
On First Integrals and Invariant Manifolds in the Generalized Problem of the Motion of a Rigid Body in a Magnetic Field. |
CASC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiromi Ishii |
Automatic Differentiation with Higher Infinitesimals, or Computational Smooth Infinitesimal Analysis in Weil Algebra. |
CASC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Hamid Rahkooy, Thomas Sturm 0001 |
Parametric Toricity of Steady State Varieties of Reaction Networks. |
CASC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenbing Zeng, Yu Chen, Xiang Sun, Yuzheng Wang |
On Geometric Property of Fermat-Torricelli Points on Sphere. |
CASC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Hamid Rahkooy, Thomas Sturm 0001 |
Testing Binomiality of Chemical Reaction Networks Using Comprehensive Gröbner Systems. |
CASC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Brandt, Marc Moreno Maza |
On the Complexity and Parallel Implementation of Hensel's Lemma and Weierstrass Preparation. |
CASC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuji Hashimoto, Koji Nuida |
Improved Supersingularity Testing of Elliptic Curves Using Legendre Form. |
CASC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Evgenii V. Vorozhtsov, Sergey P. Kiselev |
Optimal Four-Stage Symplectic Integrators for Molecular Dynamics Problems. |
CASC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | François Boulier, Matthew England 0001, Timur M. Sadykov 0001, Evgenii V. Vorozhtsov (eds.) |
Computer Algebra in Scientific Computing - 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings |
CASC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Shinichi Tajima, Katsusuke Nabeshima |
A New Deterministic Method for Computing Milnor Number of an ICIS. |
CASC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammadali Asadi, Alexander Brandt, Marc Moreno Maza |
Computational Schemes for Subresultant Chains. |
CASC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Svetlana Topalova, Stela Zhelezova |
New Parallelisms of $\mathrm{PG}(3, 5)$ with Automorphisms of Order 8. |
CASC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Elizaveta Kalinina, Alexei Uteshev |
On the Real Stability Radius for Some Classes of Matrices. |
CASC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Algirdas Deveikis, Alexander Gusev 0001, Sergue I. Vinitsky, Andrzej Gózdz, Aleksandra Pedrak, Cestmir Burdik, George S. Pogosyan |
Symbolic-Numeric Algorithms for Computing Orthonormal Bases of SU(3) Group for Orbital Angular Momentum. |
CASC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | François Boulier, Sebastian Falkensteiner, Marc Paul Noordman, Omar León Sánchez |
On the Relationship Between Differential Algebra and Tropical Differential Algebraic Geometry. |
CASC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Moulay A. Barkatou, Thomas Cluzeau, Ali El-Hajj |
On Rational Solutions of Pseudo-linear Systems. |
CASC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Moreno Maza, Ryan Sandford |
Towards Extending Fulton's Algorithm for Computing Intersection Multiplicities Beyond the Bivariate Case. |
CASC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolay N. Osipov, Alexey A. Kytmanov |
Simplification of Nested Real Radicals Revisited. |
CASC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Moreno Maza, Linxiao Wang |
On the Pseudo-Periodicity of the Integer Hull of Parametric Convex Polygons. |
CASC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Svetlana Selivanova, Florian Steinberg 0001, Holger Thies, Martin Ziegler 0001 |
Exact Real Computation of Solution Operators for Linear Analytic Systems of Partial Differential Equations. |
CASC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Telen, Marc Van Barel, Jan Verschelde |
Robust Numerical Tracking of One Path of a Polynomial Homotopy on Parallel Shared Memory Computers. |
CASC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Edik A. Ayryan, Mikhail D. Malykh, Leonid A. Sevastianov, Yu Ying |
On Periodic Approximate Solutions of the Three-Body Problem Found by Conservative Difference Schemes. |
CASC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Evgenii V. Vorozhtsov, Sergey P. Kiselev |
Comparative Study of the Accuracy of Higher-Order Difference Schemes for Molecular Dynamics Problems Using the Computer Algebra Means. |
CASC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander N. Prokopenya, Mukhtar Zh. Minglibayev, Oralkhan Baisbayeva |
Analytical Computations in Studying Translational-Rotational Motion of a Non-stationary Triaxial Body in the Central Gravitational Field. |
CASC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniela Kaufmann, Armin Biere |
Nullstellensatz-Proofs for Multiplier Verification. |
CASC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Boming Chi, Akira Terui |
The GPGCD Algorithm with the Bézout Matrix. |
CASC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Katsusuke Nabeshima |
Computing Parametric Standard Bases for Semi-weighted Homogeneous Isolated Hypersurface Singularities. |
CASC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Algirdas Deveikis, Alexander Gusev 0001, Vladimir P. Gerdt, Sergue I. Vinitsky, Andrzej Gózdz, Aleksandra Pedrak, Cestmir Burdik, George S. Pogosyan |
Symbolic-Numeric Algorithm for Computing Orthonormal Basis of O(5)˟ SU(1, 1) Group. |
CASC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Lindner, Laurent Imbert, Michael J. Jacobson Jr. |
Balanced NUCOMP. |
CASC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Dmitry V. Divakov, Anastasia A. Tiutiunnik, Anton L. Sevastianov |
Symbolic-Numeric Study of Geometric Properties of Adiabatic Waveguide Modes. |
CASC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Hamid Rahkooy, Thomas Sturm 0001 |
First-Order Tests for Toricity. |
CASC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Elizaveta Kalinina, Yuri Smol'kin, Alexei Yu. Uteshev |
Routh - Hurwitz Stability of a Polynomial Matrix Family. Real Perturbations. |
CASC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Irtegov, Tatiana Titorenko |
On the Study of the Motion of a System of Two Connected Rigid Bodies by Computer Algebra Methods. |
CASC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Hamid Rahkooy, Ovidiu Radulescu, Thomas Sturm 0001 |
A Linear Algebra Approach for Detecting Binomiality of Steady State Ideals of Reversible Chemical Reaction Networks. |
CASC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | François Boulier, Matthew England 0001, Timur M. Sadykov 0001, Evgenii V. Vorozhtsov (eds.) |
Computer Algebra in Scientific Computing - 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings |
CASC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yang Liu 0277, Dmitry A. Lyakhov, Dominik L. Michels |
Contact Linearizability of Scalar Ordinary Differential Equations of Arbitrary Order. |
CASC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bodrato, Alberto Zanoni |
Univariate Polynomials with Long Unbalanced Coefficients as Bivariate Balanced Ones: A Toom-Cook Multiplication Approach. |
CASC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Abelard |
On the Complexity of Computing Integral Bases of Function Fields. |
CASC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ovidiu Radulescu |
Tropical Geometry of Biological Systems (Invited Talk). |
CASC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Erich L. Kaltofen, Clément Pernet, Zhi-Hong Yang |
Hermite Rational Function Interpolation with Error Correction. |
CASC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Kovács |
"Mathemachines" via LEGO, GeoGebra and CindyJS. |
CASC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Brandt, Mahsa Kazemi, Marc Moreno Maza |
Power Series Arithmetic with the BPAS Library. |
CASC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Raphael Jolly |
Progress Report on the Scala Algebra System. |
CASC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Tian Chen, Michael B. Monagan |
The Complexity and Parallel Implementation of Two Sparse Multivariate Hensel Lifting Algorithms for Polynomial Factorization. |
CASC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Shinichi Tajima, Takafumi Shibuta, Katsusuke Nabeshima |
Computing Logarithmic Vector Fields Along an ICIS Germ via Matlis Duality. |
CASC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugenio Roanes-Lozano |
Looking for Compatible Routes in the Railway Interlocking System of an Overtaking Station Using a Computer Algebra System. |
CASC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher W. Brown 0001, Scott McCallum |
Enhancements to Lazard's Method for Cylindrical Algebraic Decomposition. |
CASC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Qi Luan, Victor Y. Pan, Won-geun Kim, Vitaly Zaderman |
Faster Numerical Univariate Polynomial Root-Finding by Means of Subdivision Iterations. |
CASC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Tao Zheng |
Characterizing Triviality of the Exponent Lattice of a Polynomial Through Galois and Galois-Like Groups. |
CASC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Werner M. Seiler, Matthias Seiß |
Algebraic and Geometric Analysis of Singularities of Implicit Differential Equations (Invited Talk). |
CASC |
2020 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license