yusuke1997/dblp-id-title huggingface dataset:
On Characteristic Decomposition and Quasi-characteristic Decomposition
Verifiable Conditions on Asymptotic Stabilisability for a Class of Planar Switched Linear Systems
Computer Algebra in Scientific Computing - 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings
An Algorithm for Computing the Truncated Annihilating Ideals for an Algebraic Local Cohomology Class
On Unimodular Matrices of Difference Operators
Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks
Dynamics of Nonlinear Parabolic Equations with Cosymmetry
On First Integrals and Invariant Manifolds in the Generalized Problem of the Motion of a Rigid Body in a Magnetic Field
Neighborhoods of an Ordinary Linear Differential Equation
Symbolic-Numeric Algorithm for Calculations in Geometric Collective Model of Atomic Nuclei
Counting Techniques Specifying the Existence of Submatrices in Weighing Matrices
Computation of Stirling Numbers for Complex Arguments
Software Portability for Computer Algebra
CAS Application to the Construction of the Collocations and Least Residuals Method for the Solution of 3D Navier-Stokes Equations
Algebraic Representations for Faster Predictions in Convolutional Neural Networks
Characteristic Set Method for Laurent Differential Polynomial Systems
An Involutive Reduction Method to Find Invariant Solutions for Partial Differential Equations
Perturbation versus Differentiation Indices
The Polymake Interface in Singular and Its Applications
A New Algorithm for Computing Cohomologies of Lie Superalgebras
On Some Results of Investigation of Kirchhoff Equations in Case of a Rigid Body Motion in Fluid
On the Partial Analytical Solution of the Kirchhoff Equation
On Integrability of a Planar ODE System Near a Degenerate Stationary Point
Geometric Interpretation of Strong Inconsistency in Knowledge Based Systems
Ordered Fields and Grzegorczyk's Hierarchy
Computer Algebra in Scientific Computing, 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings
Setup of Order Conditions for Splitting Methods
Computer Algebra in Scientific Computing, CASC 2001, Konstanz, Germany, September 22-26, 2001
On Reduction of Lagrange Systems
An Algorithm for Computing Coefficients of Words in Expressions Involving Exponentials and Its Application to the Construction of Exponential Integrators
Algorithmic Computation of Polynomial Amoebas
Enumeration of Schur Rings Over Small Groups
Enumeration of Schur Rings over the Group A 5
An Algorithm for Converting Nonlinear Differential Equations to Integral Equations with an Application to Parameter Estimation from Noisy Data
Using Sparse Interpolation in Hensel Lifting
Advances on the Continued Fractions Method Using Better Estimations of Positive Root Bounds
Finding First Integrals Using Normal Forms Modulo Differential Regular Chains
Computations on Simple Games Using RelView
Safety Verification of Hybrid Systems Using Certified Multiple Lyapunov-Like Functions
On the Provably Tight Approximation of Optimal Meshing for Non-convex Regions
An Arithmetic-Geometric Mean of a Third Kind!
On Muldowney's Criteria for Polynomial Vector Fields with Constraints
Symbolic-Numeric Methods for Nonlinear Integro-Differential Modeling
About Some Drinfel'd Associators
On Truncated Series Involved in Exponential-Logarithmic Solutions of Truncated LODEs
Parametric Analysis of Stability Conditions for a Satellite with Gyrodines
Generation of Orthogonal Grids on Curvilinear Trimmed Regions in Constant Time
On the Representation of the Differential Operator in Bases of Periodic Coiflets and It's Application
Computing a Basis of the Set of Isogenies Between Two Supersingular Elliptic Curves
Deterministically Computing Reduction Numbers of Polynomial Ideals
Towards Conflict-Driven Learning for Virtual Substitution
Triangular Decomposition of Matrices in a Domain
New Analytic Solutions of the Problem of Gas Flow in a Casing with Rotating Disc
Computational Aspects of a Bound of Lagrange
Algebraic Predicates for Empirical Data
Real Solving of Bivariate Polynomial Systems
Computing GCDs of Multivariate Polynomials over Algebraic Number Fields Presented with Multiple Extensions
Bounds for Real Roots and Applications to Orthogonal Polynomials
Weak Integer Quantifier Elimination Beyond the Linear Case
Algorithmic Invariants for Alexander Modules
Complexity Estimates for Fourier-Motzkin Elimination
Where Numerics Can Benefit from Computer Algebra in Finite Difference Modelling of Fluid Flows
A New Approach for Computing Regular Solutions of Linear Difference Systems
Research on the Stability of Relative Equilibria of Oblate Axisymmetric Gyrostat by Means of Symbolic-Numerical Modelling
A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic
Improving Angular Speed Uniformity by Optimal C 0 Piecewise Reparameterization
New Three- and Five-Stage Symplectic Schemes in the Forest-Ruth Family
An Interpolation Algorithm for Computing Dixon Resultants
Symbolic-Numeric Algorithms for Computer Analysis of Spheroidal Quantum Dot Models
Involutive Division Generated by an Antigraded Monomial Ordering
A Linear Algebra Approach for Detecting Binomiality of Steady State Ideals of Reversible Chemical Reaction Networks
Conservative Finite Difference Schemes for Cosymmetric Systems
A Modular Algorithm to Compute the Resultant of Multivariate Polynomials over Algebraic Number Fields Presented with Multiple Extensions
Symbolic Algorithm for Generating Irreducible Rotational-Vibrational Bases of Point Groups
Semi-algebraic Description of the Equilibria of Dynamical Systems
Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView
Projective Plane Subdivision Method for Initial Orbit Determination
Usage of Modular Techniques for Efficient Computation of Ideal Operations - (Invited Talk)
Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains
Piecewise-Quadratics and Reparameterizations for Interpolating Reduced Data
Algorithms for Zero-Dimensional Ideals Using Linear Recurrent Sequences
Primitive Recursive Ordered Fields and Some Applications
Computer Algebra in Scientific Computing, 11th International Workshop, CASC 2009, Kobe, Japan, September 13-17, 2009. Proceedings
Algorithm of Local Resolution of Singularities of a Space Curve
Coherence and Large-Scale Pattern Formation in Coupled Logistic-Map Lattices via Computer Algebra Systems
On the Differential and Full Algebraic Complexities of Operator Matrices Transformations
Polynomial Real Root Isolation by Means of Root Radii Approximation
Stability Analysis of a Differential Model for Quasi-Periodic Plasma Perturbations
Extended QRGCD Algorithm
Enhancements to Lazard's Method for Cylindrical Algebraic Decomposition
Splitting Permutation Representations of Finite Groups by Polynomial Algebra Methods
Computing a Basin of Attraction to a Target Region by Solving Bilinear Semi-Definite Problems
An Algebraic-Numeric Algorithm for the Model Selection in Kinetic Networks
An Efficient LLL Gram Using Buffered Transformations
The Instability of the Rhombus-Like Central Configurations in Newton 9-Body Problem
A Mechanical Method for Isolating Locally Optimal Points of Certain Radical Functions
On Periodic Approximate Solutions of the Three-Body Problem Found by Conservative Difference Schemes
Symbolic-Numerical Analysis of the Relative Equilibria Stability in the Planar Circular Restricted Four-Body Problem
Randomized Circulant and Gaussian Pre-processing
Derivation of Explicit Difference Schemes for Ordinary Differential Equations with the Aid of Lagrange-Burmann Expansions
Effectively Computation of Some Radicals of Submodules of Free Modules
Newton Polyhedra and an Oscillation Index of Oscillatory Integrals with Convex Phases
On Multiple Eigenvalues of a Matrix Dependent on a Parameter
Survey on Generalizations of the Intermediate Value Theorem and Applications
Categories as Type Classes in the Scala Algebra System
Factorization of Polynomials and GCD Computations for Finding Universal Denominators
Parametric G1-Blending of Several Surfaces
One Class of Third-Order Linear ODE's
Studying the Stability of the Second Order Non-autonomous Hamiltonian System
Efficient Quotients of Non-commutative Polynomials
The Methods of Computer Algebra and the Arnold-Moser Theorem
A New Polynomial Bound and Its Efficiency
Certifying Simple Zeros of Over-Determined Polynomial Systems
Computer Algebra in Scientific Computing, 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings
Regular and Singular Boundary Problems in Maple
Factorization of Overdetermined Systems of Linear Partial Differential Equations with Finite-Dimensional Solution Space
Cayley-Dixon Resultant Matrices of Multi-univariate Composed Polynomials
On the Distance to the Nearest Defective Matrix
Involution and Difference Schemes for the Navier-Stokes Equations
Computing the Limit Points of the Quasi-component of a Regular Chain in Dimension One
Construction of Explicit Optimal Value Functions by a Symbolic-Numeric Cylindrical Algebraic Decomposition
Parallel Laplace Method with Assured Accuracy for Solutions of Differential Equations by Symbolic Computations
Good Pivots for Small Sparse Matrices
Effective Quantifier Elimination for Presburger Arithmetic with Infinity
Effective Hilbert's Irreducibility Theorem for Primary Ideals
An Effective Trajectory Planning and an Optimized Path Planning for a 6-Degree-of-Freedom Robot Manipulator
Second-Order Parameterizations for the Complexity Theory of Integrable Functions
Symbolic Computation and Boundary Conditions for the Wave Equation
Locating the Closest Singularity in a Polynomial Homotopy
Positive Solutions of Systems of Signed Parametric Polynomial Inequalities
A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue Problem by a Self-consistent Basis Method
New Parallelisms of $\mathrm{PG}(3, 5)$ with Automorphisms of Order 8
Algebraic Topological Analysis of Time-Sequence of Digital Images
Polynomial Complexity of Solving Systems of Few Algebraic Equations with Small Degrees
Application of Computer Algebra Methods to Investigation of Influence of Constant Torque on Stationary Motions of Satellite
Root-Finding with Implicit Deflation
Sparse Interpolation, the FFT Algorithm and FIR Filters
Symbolic and Algebraic Methods for Linear Partial Differential Operators
Symbolic Algorithms of Algebraic Perturbation Theory: Hydrogen Atom in the Field of Distant Charge
Symbolic Computation and Finite Element Methods - (Invited Talk)
On Decomposition of Tame Polynomials and Rational Functions
Computer Algebra in Scientific Computing - 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings
Convection in a Porous Medium and Mimetic Scheme in Polar Coordinates
Bifurcation Analysis of Low Resonant Case of the Generalized Henon - Heiles System
The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree
Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition (Extended Abstract of Invited Talk)
A Symbolic-Numerical Algorithm for Solving the Eigenvalue Problem for a Hydrogen Atom in Magnetic Field
Sparse Tensors and Subdivision Methods for Finding the Zero Set of Polynomial Equations
Choosing Variable Orderings Based on Elimination Tree for Sparse Triangular Decomposition
Application of Computer Algebra for Investigation of Group Properties of the Navier-Stokes Equations for Compressible Viscous Heat-Conducting Gas
Computing Cocycles on Simplicial Complexes
Solving Parametric Sparse Linear Systems by Local Blocking
Analytical Solution for Transient Flow of a Generalized Bingham Fluid with Memory in a Movable Tube Using Computer Algebra
Numerical Study of Stability Domains of Hamiltonian Equation Solutions
On the Qualitative Analysis of the Equations of Motion of a Nonholonomic Mechanical System
The Comparison Method of Physical Quantity Dimensionalities
Symbolic-Numeric Study of Geometric Properties of Adiabatic Waveguide Modes
Mathematica and Nilpotent Lie Superalgebras
Generalized Bruhat Decomposition in Commutative Domains
Efficient Computation of Algebraic Local Cohomology Classes and Change of Ordering for Zero-Dimensional Standard Bases
On Stationary Motions in the Generalized Problem of the Chaplygin Ball
Inverse Kinematics for a 6-Degree-of-Freedom Robot Manipulator Using Comprehensive Gröbner Systems
Simplification of Nested Real Radicals Revisited
On the Radical of a Polynomial Ideal with Parameters
Parametric Solvable Polynomial Rings and Applications
On the Parallelization of Subproduct Tree Techniques Targeting Many-Core Architectures
A Note on the Need for Radical Membership Checking in Mechanical Theorem Proving in Geometry
Nouvelle Cuisine for the Computation of the Annihilating Ideal of f s
Symbolic-Numeric Algorithm for Solving the Problem of Quantum Tunneling of a Diatomic Molecule through Repulsive Barriers
Application of Computer Algebra for Construction of Quasi-periodic Solutions for Restricted Circular Planar Three Body Problem
Orthogonal Tropical Linear Prevarieties
On the Computation of the Determinant of a Generalized Vandermonde Matrix
On the Regularity Property of Differential Polynomials Modulo Regular Differential Chains
Practical Divide-and-Conquer Algorithms for Polynomial Arithmetic
Univariate Polynomials with Long Unbalanced Coefficients as Bivariate Balanced Ones: A Toom-Cook Multiplication Approach
Analysis of Reaction Network Systems Using Tropical Geometry
Sparse Polynomial Arithmetic with the BPAS Library
Numeric-Symbolic Computations in the Study of Central Configurations in the Planar Newtonian Four-Body Problem
Exact Solutions of Completely Integrable Systems and Linear ODE's Having Elliptic Function Coefficients
On Multivariate Polynomial Decomposition
Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests
Real Polynomial Root-Finding by Means of Matrix and Polynomial Iterations
Cellular Automata with Symmetric Local Rules
Symbolic-Numerical Solution of Boundary-Value Problems with Self-adjoint Second-Order Differential Equation Using the Finite Element Method with Interpolation Hermite Polynomials
Symbolic-Numeric Integration of the Dynamical Cosserat Equations
Cooperation between a Dynamic Geometry Environment and a Computer Algebra System for Geometric Discovery
Stability Conditions of Monomial Bases and Comprehensive Gröbner Systems
Sparse Polynomial Interpolation with Finitely Many Values for the Coefficients
Tropical Geometry of Biological Systems (Invited Talk)
A Symbolic-Numeric Method for Solving the Poisson Equation in Polar Coordinates
Non-linearity and Non-convexity in Optimal Knots Selection for Sparse Reduced Data
Construction of Two Level Orthogonal Arrays Via Solutions of Linear Systems
Homotopy Analysis Method for Stochastic Differential Equations with Maxima
Computer Algebra in Scientific Computing - 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings
Hybrid Solution of Two-Point Linear Boundary Value Problems
GPU Accelerated Newton for Taylor Series Solutions of Polynomial Homotopies in Multiple Double Precision
Subresultant Chains Using Bézout Matrices
Singularities of Implicit Differential Equations and Static Bifurcations
An Algorithm for Solving a Quartic Diophantine Equation Satisfying Runge's Condition
On the Average Growth Rate of Random Compositions of Fibonacci and Padovan Recurrences
Computable Infinite Power Series in the Role of Coefficients of Linear Differential Systems
Computing Logarithmic Vector Fields Along an ICIS Germ via Matlis Duality
Lightweight Abstraction for Mathematical Computation in Java
Quasi-Steady State - Intuition, Perturbation Theory and Algorithmic Algebra
A Hybrid Approach to Speeding up Schoof's Algorithm on Supersingular Elliptic Curves
Towards Industrial Application of Approximate Computer Algebra
Nullstellensatz-Proofs for Multiplier Verification
Differential and Difference Equations for Products of Classical Orthogonal Polynomials
A Symbolic-Numeric Approach for Solving the Eigenvalue Problem for the One-Dimensional Schrödinger Equation
Finding Multiple Solutions in Nonlinear Integer Programming with Algebraic Test-Sets
Distance Evaluation Between an Ellipse and an Ellipsoid
Characterizing Triviality of the Exponent Lattice of a Polynomial Through Galois and Galois-Like Groups
Stability Analysis of Periodic Motion of the Swinging Atwood Machine
Symmetries and Dynamics of Discrete Systems
On Compatibility of Discrete Relations
On the Stability of Equilibrium Positions in the Circular Restricted Four-Body Problem
On Geometric Property of Fermat-Torricelli Points on Sphere
Complexity in Tropical Algebra (Invited Talk)
Normalization of Indexed Differentials Based on Function Distance Invariants
Relation Algebra, RelView, and Plurality Voting
About Normal Form Method
Construction of Involutive Monomial Sets for Different Involutive Divisions
The Complexity and Parallel Implementation of Two Sparse Multivariate Hensel Lifting Algorithms for Polynomial Factorization
About Integrability of the Degenerate System
One Algorithm of Finding Solutions for the Systems with First Integrals
Computing the Integer Points of a Polyhedron, II: Complexity Estimates
Ambient Isotopic Meshing for Implicit Algebraic Surfaces with Singularities
Algebraic General Solutions of First Order Algebraic ODEs
On Invariant Manifolds of Lagrange Systems
Calculation of Normal Forms of the Euler-Poisson Equations
Root Radii and Subdivision for Polynomial Root-Finding
Inverse Kinematics and Path Planning of Manipulator Using Real Quantifier Elimination Based on Comprehensive Gröbner Systems
Quantifier Elimination for Constraint Logic Programming
Hankel Polynomials and Their Zeros
Computational Science in Armenia (Invited Talk)
Solution of Ordinary Differential Equations with MathLie
"Mathemachines" via LEGO, GeoGebra and CindyJS
Parallel Reduction of Matrices in Gröbner Bases Computations
Progress Report on the Scala Algebra System
On a Polytime Factorization Algorithm for Multilinear Polynomials over \mathbb F_2
Nonlinear Waves in a Rod
Sporadic Examples of Directed Strongly Regular Graphs Obtained By Computer Algebra Experimentation
Invariants of Finite Groups and Involutive Division
Computing and Visualizing Closure Objects Using Relation Algebra and RelView
Compiler-Enforced Memory Semantics in the SACLIB Computer Algebra Library
Computing Gröbner Bases within Linear Algebra
Parametric Toricity of Steady State Varieties of Reaction Networks
A Note on Sekigawa's Zero Separation Bound
The Method of Newton Polyhedra for Investigating Singular Positions of Some Mechanisms
On the Complexity of Linear Algebra Operations over Algebraic Extension Fields
On Consistency of Finite Difference Approximations to the Navier-Stokes Equations
Contribution to Integral Elimination
Towards More Accurate Separation Bounds of Empirical Polynomials II
On the Use of Gröbner Bases for Computing the Structure of Finite Abelian Groups
Computer Algebra in Scientific Computing - 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012. Proceedings
Computing Highest-Order Divisors for a Class of Quasi-Linear Partial Differential Equations
Algebraic Approach to the Computation of the Defining Polynomial of the Algebraic Riccati Equation
Faster Numerical Univariate Polynomial Root-Finding by Means of Subdivision Iterations
Merging Adjacent Cells During Single Cell Construction
A New Combinatorial Algorithm for Large Markov Chains (Extended Abstract)
Advanced Symbolic Integration of Products of the Fox H-Functions
Localization of Roots of a Polynomial not Represented in Canonical Form
Circulant Digraphs and Monomial Ideals
Knowledge-Based Automatic Generation of Partitioned Matrix Expressions
Code Generation for Polynomial Multiplication
Pandora: A Cyber Range Environment for the Safe Testing and Deployment of Autonomous Cyber Attack Tools
Analysis of Circuits for Security Using Logic Encryption
Enhanced Image Based Authentication with Secure Key Exchange Mechanism Using ECC in Cloud
Secure Certificateless Signature Scheme with Batch Verification from Bilinear Pairings
Adaptive and Secure Application Partitioning for Offloading in Mobile Cloud Computing
Secure Authentication Using One Time Contextual QR Code
Random Key and Key Dependent S-box Generation for AES Cipher to Overcome Known Attacks
ASLR and ROP Attack Mitigations for ARM-Based Android Devices
New Security Architecture of Access Control in 5G MEC
Service Dependencies-Aware Policy Enforcement Framework Based on Hierarchical Colored Petri Net
Piracy Control Using Secure Disks
Polynomial Construction and Non-tree Based Efficient Secure Group Key Management Scheme
Detection and Analysis of Drive-by Downloads and Malicious Websites
Reducing Vulnerability of a Fingerprint Authentication System
A Proximity-Based Measure for Quantifying the Risk of Vulnerabilities
Technical Aspects of Cyber Kill Chain
Hiding in Plain Sight - Symmetric Key Chaotic Image Encryption by Sequential Pixel Shuffling
Efficient Hierarchical Key Management Scheme Based on Polynomial Construction
Vulnerability of MR-ARP in Prevention of ARP Poisoning and Solution
Tracking of GPS Parameters Using Particle Filter
Workload Distribution for Supporting Anonymous Communications in Automotive Network
Design of CAPTCHA Script for Indian Regional Websites
Enhanced Session Initiation Protocols for Emergency Healthcare Applications
Vehicle Brake and Indicator Detection for Autonomous Vehicles
Security Analysis of an Efficient Smart Card-Based Remote User Authentication Scheme Using Hash Function
A Secure Keyword Ordered Multiuser Searchable Encryption Framework
Protecting Computer Systems from Cyber Attacks with Internal Interface Diversification
Secure Cluster Based Routing Scheme (SCBRS) for Wireless Sensor Networks
PWLCM Based Secure Measurement Matrix Generation for Secure Video Compressive Sensing
Conjunctive Keyword Forward Secure Ranked Dynamic Searchable Encryption Over Outsourced Encrypted Data
A Combined Crypto-steganographic Approach for Information Hiding in Audio Signals Using Sub-band Coding, Compressive Sensing and Singular Value Decomposition
Mitigation of Cross-Site Scripting Attacks in Mobile Cloud Environments
Detection and Mitigation of Android Malware Through Hybrid Approach
A Robust and Secure DWT-SVD Digital Image Watermarking Using Encrypted Watermark for Copyright Protection of Cheque Image
An Integrated Approach of E-RED and ANT Classification Methods for DRDoS Attacks
A Mathematical Analysis of Elliptic Curve Point Multiplication
Secure Communication Using Four-Wing Hyper-Chaotic Attractor
Design and Analysis of Online Punjabi Signature Verification System Using Grid Optimization
Scalable Key Transport Protocol Using Chinese Remainder Theorem
Malware Detection in Android Applications Using Integrated Static Features
Credibility Assessment of Public Pages over Facebook
Transfer Learning Approach for Identification of Malicious Domain Names
Research on Access Control Techniques in SaaS of Cloud Computing
Honeyword with Salt-Chlorine Generator to Enhance Security of Cloud User Credentials
Realization of Re-configurable True Random Number Generator on FPGA
Extensive Simulation Analysis of TCP Variants for Wireless Communication
A Graph-Based Decision Support Model for Vulnerability Analysis in IoT Networks
Anonymizing Classification Data for Preserving Privacy
Detecting the Zeus Banking Malware Using the Random Forest Binary Classification Algorithm and a Manual Feature Selection Process
Nonlinear Tracking of Target Submarine Using Extended Kalman Filter (EKF)
Smart-Lock Security Re-engineered Using Cryptography and Steganography
A Comparative Analysis of Different Soft Computing Techniques for Intrusion Detection System
Cryptanalysis of an Efficient Biometric Authentication Protocol for Wireless Sensor Networks
An Image Forensic Technique for Detection of Copy-Move Forgery in Digital Image
A Participatory Privacy Protection Framework for Smart-Phone Application Default Settings
Thermal Management in Large Data Centres: Security Threats and Mitigation