yusuke1997/dblp-id-title huggingface dataset:
Resolving Decompositions for Polynomial Modules
Computational Schemes for Subresultant Chains
Acceleration of Subdivision Root-Finding for Sparse Polynomials
Families of Polynomials in the Study of Biochemical Reaction Networks
Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden
Analysis of Stability of Rational Approximations through Computer Algebra
Computing Multiple Zeros of Polynomial Systems: Case of Breadth One (Invited Talk)
Normal Forms of Two p: - q Resonant Polynomial Vector Fields
Efficient Preprocessing Methods for Quantifier Elimination
Solution of Systems of Linear Diophantine Equations
Parametric Standard Bases and Their Applications
Power Series Arithmetic with the BPAS Library
A Method of Logic Deduction and Verification in KBS Using Positive Integers
On Symbolic Solutions of Algebraic Partial Differential Equations
Construction of Janet Bases II. Polynomial Bases
Efficient Simplification Techniques for Special Real Quantifier Elimination with Applications to the Synthesis of Optimal Numerical Algorithms
Fast and Robust Symbolic Model Order Reduction with Analog Insydes
Symbolic-Numeric Solution of Ill-Conditioned Polynomial Systems (Survey Talk Overview) (Invited Talk)
Symbolic-Numerical Algorithm for Solving the Time-Dependent Schrödinger Equation by Split-Operator Method
Beyond the First Class of Analytic Complexity
Inequalities on Upper Bounds for Real Polynomial Roots
Automatic Stability Analysis for a Diffusion Equation with Memories Using Maple
On Polynomial Solutions of Linear Partial Differential and (q-)Difference Equations
On the Topology and Visualization of Plane Algebraic Curves
A Note on the Space Complexity of Fast D-Finite Function Evaluation
A Numerical Method for Computing Border Curves of Bi-parametric Real Polynomial Systems and Applications
Simulation of Quantum Error Correction with Mathematica
Lie Symmetry Analysis for Cosserat Rods
Hilbert Stratification and Parametric Gröbner Bases
Linear Differential Systems with Infinite Power Series Coefficients (Invited Talk)
Computing the Integer Points of a Polyhedron, I: Algorithm
GPGCD, an Iterative Method for Calculating Approximate GCD, for Multiple Univariate Polynomials
On Two-Generated Non-commutative Algebras Subject to the Affine Relation
Full Rank Representation of Real Algebraic Sets and Applications
Effective Localization Using Double Ideal Quotient and Its Implementation
Ruppert Matrix as Subresultant Mapping
Polynomials with Coefficients of Limited Accuracy
Contact Linearizability of Scalar Ordinary Differential Equations of Arbitrary Order
Constrained Hamiltonian Systems and Gröbner Bases
Symbolic-Numerical Algorithm for Solving the Problem of Heavy Ion Collisions in an Optical Model with a Complex Potential
Generalized Mass-Action Systems and Positive Solutions of Polynomial Equations with Real and Symbolic Exponents (Invited Talk)
Sparse Gaussian Elimination Modulo p: An Update
Exact Real Computation of Solution Operators for Linear Analytic Systems of Partial Differential Equations
Constructing the Numerical Method for Navier - Stokes Equations Using Computer Algebra System
Polynomial Division Using Dynamic Arrays, Heaps, and Packed Exponent Vectors
Janet Bases and Resolutions in CoCoALib
A Recurrent Method for Constructing Irreducible Polynomials over Finite Fields
GROOME - Tool Supported Graphical Object Oriented Modelling for Computer Algebra and Scientific Computing
SYMOPT: Symbolic Parametric Mathematical Programming
Parametric Systems of Linear Congruences
Computation of Pommaret Bases Using Syzygies
A Special Homotopy Continuation Method for a Class of Polynomial Systems
Symbolic-Numeric Simulation of Satellite Dynamics with Aerodynamic Attitude Control System
An Algorithm for Symbolic Solving of Differential Equations and Estimation of Accuracy
Investigation of Subgroup Embeddings by the Computer Algebra Package GAP
Mathematical Model for Dengue Epidemics with Differential Susceptibility and Asymptomatic Patients Using Computer Algebra
Balanced NUCOMP
Generating Elementary Integrable Expressions
Polyhedral Methods for Space Curves Exploiting Symmetry Applied to the Cyclic n-roots Problem
Computer Algebra: A 'Classical' Path to Explore Decoherence and Entanglement Phenomena in Quantum Information Theory
The Diamond Operator - Implementation of Exact Real Algebraic Numbers
A Divergence-Free Method for Solving the Incompressible Navier-Stokes Equations on Non-uniform Grids and Its Symbolic-Numeric Implementation
Meta-Petro : An Expert System for Training Undergraduates in Metamorphic Rocks Recognition and Classification Using Photomicrographies
A MuPAD Library for Differential Equations
Computer Algebra in Scientific Computing - 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings
Janet-Like Gröbner Bases
Enhancing the Extended Hensel Construction by Using Gröbner Bases
Stability and Zero-Hopf Bifurcation Analysis of the Lorenz-Stenflo System Using Symbolic Methods
Robust Schur Stability of a Polynomial Matrix Family
Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk)
Symbolic Calculations in Studying the Stability of Dynamically Symmetric Satellite Motion
On the Pseudo-Periodicity of the Integer Hull of Parametric Convex Polygons
An Automatic Symbolic-Numeric Taylor Series ODE Solver
On the Structure and Generators of Differential Invariant Algebras
Topology of Families of Implicit Algebraic Surfaces Depending on a Parameter
On the Complexity of Reliable Root Approximation
Analytical Computations in Studying Translational-Rotational Motion of a Non-stationary Triaxial Body in the Central Gravitational Field
On Parametric Linear System Solving
Lower Bounds of Costs of 3-Isogenies Formulas in the Framework of Generalized Montgomery Coordinates
Implementing HuPf Algorithm for the Inverse Kinematics of General 6R/P Manipulators
Parallel Computing with Mathematica
Distance Evaluation to the Set of Matrices with Multiple Eigenvalues
Investigation of the Stability Problem for the Critical Cases of the Newtonian Many-Body Problem
Thomas Decomposition of Algebraic and Differential Systems
On Formal Power Series Solutions of Regular Differential Chains
A Mimetic Finite-Difference Scheme for Convection of Multicomponent Fluid in a Porous Medium
A Symbolic-Numeric Approach to Tube Modeling in CAD Systems
Relaxed NewtonSLRA for Approximate GCD
Efficient Methods to Compute Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates
Symbolic-Numeric Solution of Boundary-Value Problems for the Schrödinger Equation Using the Finite Element Method: Scattering Problem and Resonance States
Symbolic Algorithm for Generating the Orthonormal Bargmann-Moshinsky Basis for \mathrm SU(3) Group
Analytic Complexity of Hypergeometric Functions Satisfying Systems with Holonomic Rank Two
Hypergeometric Solutions of First-Order Linear Difference Systems with Rational-Function Coefficients
Optimal Estimations of Seiffert-Type Means By Some Special Gini Means
Stability Investigation of a Difference Scheme for Incompressible Navier-Stokes Equations
PAF Reconstruction with the Orbits Method
Finding a Deterministic Generic Position for an Algebraic Space Curve
An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula Simplification
Polynomial Complexity Recognizing a Tropical Linear Variety
Factoring Multivariate Polynomials with Many Factors and Huge Coefficients
Computer Algebra in Scientific Computing - 27th International Workshop, CASC 2025, Dubai, United Arab Emirates, November 24-28, 2025, Proceedings
Certified Study of Internal Solitary Waves
Parallel Computation of the Power Series Solutions to Linear Ordinary Differential Equations
Computing Sparse Representations of Systems of Rational Fractions
Towards Extending Fulton's Algorithm for Computing Intersection Multiplicities Beyond the Bivariate Case
Construction of Janet Bases I. Monomial Bases
On Stationary Motions of the Generalized Kowalewski Gyrostat and Their Stability
Inversion Modulo Zero-Dimensional Regular Chains
Computer Algebra in High-Energy Physics (Invited Talk)
Indices and Solvability for General Systems of Differential Equations
A Symbolic Investigation of the Influence of Aerodynamic Forces on Satellite Equilibria
Polynomial Evaluation and Interpolation and Transformations of Matrix Structures
Invariant Manifolds in the Classic and Generalized Goryachev-Chaplygin Problem
On Rational Recursion for Holonomic Sequences
Algebraic Visualization of Relations Using RelView
Testing Mersenne Primes with Elliptic Curves
Providing Modern Software Environments to Computer Algebra Systems
Stability of Equilibrium Positions in the Spatial Circular Restricted Four-Body Problem
Analytic Solutions of Linear Difference Equations, Formal Series, and Bottom Summation
Analyses and Implementations of Chordality-Preserving Top-Down Algorithms for Triangular Decomposition
A General Method of Finding New Symplectic Schemes for Hamiltonian Mechanics
Symbolic-Numerical Calculations of High-|m| Rydberg States and Decay Rates in Strong Magnetic Fields
A Strongly Consistent Finite Difference Scheme for Steady Stokes Flow and its Modified Equations
Revisit Sparse Polynomial Interpolation Based on Randomized Kronecker Substitution
Computer Algebra in Scientific Computing - 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings
Effective Algorithm for Computing Noetherian Operators of Positive Dimensional Ideals
Janet-Like Monomial Division
On m -Interlacing Solutions of Linear Difference Equations
CAS Application to the Construction of the Collocations and Least Residuals Method for the Solution of the Burgers and Korteweg-de Vries-Burgers Equations
On the Computation of Comprehensive Boolean Gröbner Bases
Eigenvalue Method with Symmetry and Vibration Analysis of Cyclic Structures
An Algorithm for Construction of Normal Forms
A Symbolic-Numerical Algorithm for Solving the Eigenvalue Problem for a Hydrogen Atom in the Magnetic Field: Cylindrical Coordinates
Symbolic-Numeric Implementation of the Method of Collocations and Least Squares for 3D Navier-Stokes Equations
Superfast Computations with Singular Structured Matrices over Abstract Fields
Real and Complex Polynomial Root-Finding by Means of Eigen-Solving
A Unified Algorithm for Multivariate Analytic Factorization
Computing Divisors and Common Multiples of Quasi-linear Ordinary Differential Equations
A Symbolic Numeric Environment for Analyzing Measurement Data in Multi-Model Settings (Extended Abstract)
Fast Generalized Bruhat Decomposition
Symbolic and Numerical Methods for Searching Symmetries of Ordinary Differential Equations with a Small Parameter and Reducing Its Order
Computations in Finite Groups and Quantum Physics
Computing Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates
Chemical Reaction Systems, Computer Algebra and Systems Biology - (Invited Talk)
New Heuristic to Choose a Cylindrical Algebraic Decomposition Variable Ordering Motivated by Complexity Analysis
Application of the Method of Asymptotic Solution to One Multi-Parameter Problem
Tropical Newton-Puiseux Polynomials
Application of Symbolic-Numerical Modeling Tools for Analysis of Gyroscopic Stabilization of Gyrostat Equilibria
Symbolic-Manipulation Constructions of Hilbert-Space Metrics in Quantum Mechanics
On Linear Invariant Manifolds in the Generalized Problem of Motion of a Top in a Magnetic Field
Representing Graph Properties by Polynomial Ideals
A Dataset for Suggesting Variable Orderings for Cylindrical Algebraic Decompositions
Proceedings of the Second Workshop on Computer Algebra in Scientific Computing, CASC 1999, Munich, Germany, May 31 - June 4, 1999
Qualitative Analysis of the Reyman - Semenov-Tian-Shansky Integrable Case of the Generalized Kowalewski Top
Counting the Integer Points of Parametric Polytopes: A Maple Implementation
Faster Sparse Interpolation of Straight-Line Programs
On Possibility of Additional Solutions of the Degenerate System Near Double Degeneration at the Special Value of the Parameter
Intrinsic Complexity for Constructing Zero-Dimensional Gröbner Bases
Algebraic Structures as Typed Objects
On Integrability of Evolutionary Equations in the Restricted Three-Body Problem with Variable Masses
CAS Application to the Construction of High-Order Difference Schemes for Solving Poisson Equation
Construction of Classes of Irreducible Bivariate Polynomials
Efficient Exact Algorithm for Count Distinct Problem
A Purely Functional Computer Algebra System Embedded in Haskell
An Investigation into Stability of Conservative Mechanical Systems Using Analytic Calculations
Invariant Theory: Applications and Computations - (Invited Talk)
A New Scheme for Deniable/Repudiable Authentication
Improved Supersingularity Testing of Elliptic Curves Using Legendre Form
A Symbolic-Numeric Method for Solving Boundary Value Problems of Kirchhoff Rods
Accelerated Subdivision for Clustering Roots of Polynomials Given by Evaluation Oracles
Merging Multiple Algorithms for Computing Comprehensive Gröbner Systems Using Parallel Processing
A Mathematica Solver for Two-Point Singularly-Perturbed Boundary Value Problems
A Note on Dynamic Gröbner Bases Computation
The Resonant Center Problem for a 2: -3 Resonant Cubic Lotka-Volterra System
On Berlekamp-Massey and Berlekamp-Massey-Sakata Algorithms
Employment of the Gröbner Bases in Analysis of Systems Having Algebraic First Integrals
Non-principal Branches of Lambert W. A Tale of 2 Circles
Semilinear Motion Planning Among Moving Objects in REDLOG
Automatic Parallel Library Generation for General-Size Modular FFT Algorithms
A Full System of Invariants for Third-Order Linear Partial Differential Operators in General Form
A Symbolic Framework for Operations on Linear Boundary Problems
Truncated and Infinite Power Series in the Role of Coefficients of Linear Ordinary Differential Equations
Algebraic and Geometric Analysis of Singularities of Implicit Differential Equations (Invited Talk)
On the Computation of the Defining Polynomial of the Algebraic Riccati Equation
An Algorithm for the Intersection Problem of Planar Parametric Curves
On the Simplification of Nonlinear DAE Systems in Analog Circuit Design
Symbolic-Numeric Solving Boundary Value Problems: Collective Models of Atomic Nuclei
Normal Forms and Integrability of ODE Systems
Algebraic Attacks Using IP-Solvers
Comprehensive Triangular Decomposition
A Survey of Satisfiability Modulo Theory
Symbolic-Numerical Algorithms for Solving the Parametric Self-adjoint 2D Elliptic Boundary-Value Problem Using High-Accuracy Finite Element Method
Comparison Maps for Relatively Free Resolutions
Determining the Heilbronn Configuration of Seven Points in Triangles via Symbolic Computation
On the Relationship Between Differential Algebra and Tropical Differential Algebraic Geometry
On Regular and Logarithmic Solutions of Ordinary Linear Differential Systems
Symbolic-Numeric Implementation of the Four Potential Method for Calculating Normal Modes: An Example of Square Electromagnetic Waveguide with Rectangular Insert
Approximately Singular Systems and Ill-Conditioned Polynomial Systems
Stationary Points for the Family of Fermat-Torricelli-Coulomb-Like Potential Functions
An Algebraic Characterization of Rainbow Connectivity
An Algorithm for Computing Invariant Projectors in Representations of Wreath Products
Deducing the Constraints in the Light-Cone SU (3) Yang-Mills Mechanics Via Gröbner Bases
Progressive Long Waves on a Slope (A New Solution to the Euler Equation?)
Pruning Algorithms for Pretropisms of Newton Polytopes
Computing the Topology of an Arrangement of Implicit and Parametric Curves Given by Values
Jets. A Maple-Package for Formal Differential Geometry
Applications of Symbolic Calculations and Polynomial Invariants to the Classification of Singularities of Differential Systems
Hermite Rational Function Interpolation with Error Correction
Interdependence Between the Laurent-Series and Elliptic Solutions of Nonintegrable Systems
Symmetry Theorems for the Newtonian 4- and 5-body Problems with Equal Masses
Applications of the Newton Index to the Construction of Irreducible Polynomials
On the Asymptotic Stability of a Satellite with a Gravitational Stabilizer
Counting Roots of a Polynomial in a Convex Compact Region by Means of Winding Number Calculation via Sampling
Sharpness in Trajectory Estimation for Planar Four-points Piecewise-Quadratic Interpolation
A Standard Basis Free Algorithm for Computing the Tangent Cones of a Space Curve
On Testing Uniqueness of Analytic Solutions of PDE with Boundary Conditions
How to Automatise Proofs of Operator Statements: Moore-Penrose Inverse; A Case Study
On Fulton's Algorithm for Computing Intersection Multiplicities
The Liouville Generator for Producing Integrable Expressions
From the Product Example to PDE Adjoints, Algorithmic Differentiation and Its Application (Invited Talk)
Recurrence Functions and Numerical Characteristics of Graphs
Fast Integral Bases Computation
On Connection Between Constructive Involutive Divisions and Monomial Orderings
Algorithms for Symbolic Polynomials
An Algebraic Implicitization and Specialization of Minimum KL-Divergence Models
Computer Algebra in Scientific Computing - 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings
Optimal Four-Stage Symplectic Integrators for Molecular Dynamics Problems
Symbolic-Numerical Algorithms for Solving Multidimensional Boundary Value Problems by Finite Element Method on Hypercubes
Reducing Computational Costs in the Basic Perturbation Lemma
Algebraic Methods for Sectioning Parametric Surfaces
Bifurcations of Maps in the Software Package CONTENT
Comparative Study of the Accuracy of Higher-Order Difference Schemes for Molecular Dynamics Problems Using the Computer Algebra Means
Approximate Solution of the Dirichlet Problem for Elliptic PDE and Its Error Estimate
Old and New Nearly Optimal Polynomial Root-Finders
Computer Science for Continuous Data - Survey, Vision, Theory, and Practice of a Computer [inline-graphic not available: see fulltext]Analysis System
Computer Algebra in Scientific Computing - 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings
Symbolic-Numeric Investigation of the Aerodynamic Forces Influence on Satellite Dynamics
A Comparison of Algorithms for Proving Positivity of Linearly Recurrent Sequences
Solving Structured Polynomial Systems and Applications to Cryptology
On Boundary Conditions Parametrized by Analytic Functions
Robust Stability for Parametric Linear ODEs
Algebraic Identification Algorithm and Application to Dynamical Systems
Local Generic Position for Root Isolation of Zero-Dimensional Triangular Polynomial Systems
Penalty Function Based Critical Point Approach to Compute Real Witness Solution Points of Polynomial Systems
Computing Characteristic Polynomials of Matrices of Structured Polynomials
A Polynomial-Time Algorithm for the Jacobson Form of a Matrix of Ore Polynomials
On Rational Solutions of Pseudo-linear Systems
On the Stability of Steady Motions of Solar-Sail Satellite
On the Computation of A infinity -Maps
On Sufficient Conditions for Integrability of a Planar System of ODEs Near a Degenerate Stationary Point
An Implementation of Parallel Number-Theoretic Transform Using Intel AVX-512 Instructions
Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings
The Implementation of the Symbolic-Numerical Method for Finding the Adiabatic Waveguide Modes of Integrated Optical Waveguides in CAS Maple
On the Weight Spectra of Conway Matrices Related to the Non-transitive Head-or-Tail Game
Term Cancellations in Computing Floating-Point Gröbner Bases
Multiple Factorizations of Bivariate Linear Partial Differential Operators
Complexity of Solving Systems with Few Independent Monomials and Applications to Mass-Action Kinetics
Low-Dimensional Quasi-Filiform Lie Algebras with Great Length
Type Specialization in Aldor
Symbolic and Numerical Calculation of Transport Integrals for Some Organic Crystals
Extending Clause Learning of SAT Solvers with Boolean Gröbner Bases
From Petri Nets to Polynomials: Modeling, Algorithms, and Complexity (Abstract) (Invited Talk)
A New Black Box GCD Algorithm Using Hensel Lifting
Qualitative Analysis of a Dynamical System with Irrational First Integrals
Generic, Type-Safe and Object Oriented Computer Algebra Software
Computation of Some Integer Sequences in Maple
A Theory and an Algorithm for Computing Sparse Multivariate Polynomial Remainder Sequence
Quantization by Presentation: The Nambu-Goto String in 1+3 Dimensions
Decomposing Systems of Polynomial Equations
PoCaB: A Software Infrastructure to Explore Algebraic Methods for Bio-chemical Reaction Networks
On the Real Stability Radius for Some Classes of Matrices
Obtaining and Analysis of the Necessary Conditions of Stability of Orbital Gyrostat by Means of Computer Algebra
Symbolic-Numerical Algorithm for Generating Interpolation Multivariate Hermite Polynomials of High-Accuracy Finite Element Method
Symbolic-Numeric Computation of the Bernstein Coefficients of a Polynomial from Those of One of Its Partial Derivatives and of the Product of Two Polynomials
First-Order Tests for Toricity
Sparse Polynomial Powering Using Heaps
Construction of a New Implicit Difference Scheme for 2D Boussinesq Paradigm Equation
"Coalgebra" Structures on 1-Homological Models for Commutative Differential Graded Algebras
Computing the Betti Numbers of Arrangements in Practice
From Modeling to Simulation with Symbolic Computation: An Application to Design and Performance Analysis of Complex Optical Devices
Computer Algebra in Scientific Computing - 13th International Workshop, CASC 2011, Kassel, Germany, September 5-9, 2011. Proceedings
On Multivariate Homogeneous Polynomial Decomposition
Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings
Computer Algebra Investigation of Equivalence in 4-node Plane Stress/Strain Finite Elements
Quasi-stability versus Genericity
Computation of Full Comprehensive Gröbner Bases
Computations on Character Tables of Association Schemes
Lazy and Forgetful Polynomial Arithmetic and Applications
Intervals, Syzygies, Numerical Gröbner Bases: A Mixed Study
Automated Reasoning in Reduction Rings Using the Theorema System
Automatic Differentiation with Higher Infinitesimals, or Computational Smooth Infinitesimal Analysis in Weil Algebra
A Symbolic Approach to Boundary Problems for Linear Partial Differential Equations - Applications to the Completely Reducible Case of the Cauchy Problem with Constant Coefficients
Symbolic-Numerical Algorithm for Generating Cluster Eigenfunctions: Identical Particles with Pair Oscillator Interactions
A Modular Algorithm for Computing the Intersection of a One-Dimensional Quasi-Component and a Hypersurface
Symbolic-Numerical Investigation of Gyrostat Satellite Dynamics
A Quantum Measurements Model of Hydrogen-Like Atoms in Maple
A Blackbox Polynomial System Solver on Parallel Shared Memory Computers
Two Variants of Bézout Subresultants for Several Univariate Polynomials
Decoupling Multivariate Fractions
On Invariant Manifolds and Their Stability in the Problem of Motion of a Rigid Body under the Influence of Two Force Fields
A Continuation Method for Visualizing Planar Real Algebraic Curves with Singularities
Decomposing Polynomial Sets Simultaneously into Gröbner Bases and Normal Triangular Sets
Acceleration of the Inversion of Triangular Toeplitz Matrices and Polynomial Division
Symbolic-numeric Investigations for Stability Analysis of Satellite Systems
Completion of Linear Differential Systems to Involution
Computing Parametric Standard Bases for Semi-weighted Homogeneous Isolated Hypersurface Singularities
On the General Analytical Solution of the Kinematic Cosserat Equations
A Descartes Algorithm for Polynomials with Bit-Stream Coefficients
Computer Algebra in Scientific Computing - 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, Proceedings