yusuke1997/dblp-id-title huggingface dataset:
Resonances and Formal Stability Investigation in Hamiltonian Systems
Multiplication Matrices and Ideals of Projective Dimension Zero
Dealing with Functional Coefficients Within Tau Method
Structural Properties of Word Representable Graphs
Discrete Interpolation of G01 Codes in 2D Machining under Bounded Accelerations
Goethals-Seidel Difference Families with Symmetric or Skew Base Blocks
Minimal Height Companion Matrices for Euclid Polynomials
Querying Historical Data Over Multiple Time-Lines
Arrangements on Parametric Surfaces II: Concretizations and Applications
Dynamic Geometry Software Supplemented with a Computer Algebra System as a Proving Tool
On the Comparison of Cryptographical Properties of Two Different Families of Graphs with Large Cycle Indicator
Curvature-Based Real-Time NURBS Surface Interpolator with Look-Ahead ACC/DEC Control
Clustering Complex Zeros of Triangular Systems of Polynomials
An Efficient Algorithm to Identify DNA Motifs
Automatic Proof of Graph Nonisomorphism
Palindromic Subsequence Automata and Longest Common Palindromic Subsequence
Specifying Rewrite Strategies for Interactive Exercises
On the Strong Metric Dimension of Tetrahedral Diamond Lattice
On Computing the Convex Hull of (Piecewise) Curved Objects
On the Parameterization of Rational Ringed Surfaces and Rational Canal Surfaces
Point-Free Geometries: Proximities and Quasi-Metrics
Solving First Order Autonomous Algebraic Ordinary Differential Equations by Places
Introducing a New Two-Parameter Invariant Function for Algebras
Foreword to the Special Focus on Automated Deduction in Geometry
Efficient and Secure Delegation of Exponentiation in General Groups to a Single Malicious Server
Foreword to the Special Focus on Advances in Symbolic and Numeric Computation IV
The Newton Polygon of a Rational Plane Curve
Superposition as a Decision Procedure for Timed Automata
Projection Cubes of Symmetric Designs
Hermite Interpolation Polynomials on Parallelepipeds and FEM Applications
Three-Dimensional Computational Analysis of Stress State Transition in Through-Cracked Plates
m -Fold Hypergeometric Solutions of Linear Recurrence Equations Revisited
Computing the Canonical Representation of Constructible Sets
Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans
Secure Restrained Domination in Graphs
Exponentiation of Graphs
Operational Calculus Approach to Nonlocal Cauchy Problems
BLIM: A New Bit-Parallel Pattern Matching Algorithm Overcoming Computer Word Size Limitation
Automated Study of a Regular Trifolium
Recurrences for Quadrilateral High-Order Finite Elements
Mixed Precision Bisection
Linear k-arboricity of Caylay Graphs on Abelian Groups with Given Degree
The Computational Complexity of Extrapolation Methods
On Meandric Colliers
Accelerating Indefinite Summation: Simple Classes of Summands
Newton Polytopes and Witness Sets
Formal Verification of Numerical Programs: From C Annotated Programs to Mechanical Proofs
Formalization and Specification of Geometric Knowledge Objects
On Partitional and Other Related Graphs
Usage of Modular Techniques for Efficient Computation of Ideal Operations
Analysing the "Calculator Effect" of Different Kinds of Software for School Arithmetic and Algebra
Some Polynomial Conditions for Cyclic Quadrilaterals, Tilted Kites and Other Quadrilaterals
Self-Paced, Instructor-Assisted Approach to Teaching Python Programming
Strong Kernel Number in Certain Oriented Cycle Extension of Graphs
On Column-Convex and Convex Carlitz Polyominoes
Fundamentals of Computational Conformal Geometry
Symbolic Computations of the Equilibrium Orientations of a System of Two Connected Bodies Moving on a Circular Orbit Around the Earth
De Nugis Groebnerialium 7: Janet, Gerdt, Tamari
Foreword to the Special Focus on Graph Theory and Applications
Indeterminate String Factorizations and Degenerate Text Transformations
Parameterized Algorithms in Smooth 4-Regular Hamiltonian Graphs
Some Basics on Privacy Techniques, Anonymization and their Big Data Challenges
Construction of Antimagic Labeling for the Cartesian Product of Regular Graphs
Stability of Disease Free Equilibria in Epidemiological Models
A Physics Perspective on the Resistance Distance for Graphs
On the Skew Cyclic Codes and the Reversibility Problem for DNA 4-Bases
Approximation by Conic Splines
Foreword to the Special Focus on Mathematics, Data and Knowledge
A Different Construction for Some Classes of Quantum MDS Codes
Common Points Between Perturbed Chebyshev Polynomials of Second Kind
Self-Paced, Instructor-Assisted Approach to Teaching Linear Algebra
Verification of Linear (In)Dependence in Finite Precision Arithmetic
Eulogy for Professor Mirka Miller (1949-2016)
SMS Nanning and RWTH Aachen: In Memory of Vladimir Gerdt
Antimagicness of Generalized Corona and Snowflake Graphs
Quasi-Hadamard Full Propelinear Codes
A Symbolic Dynamic Geometry System Using the Analytical Geometry Method
Solving a Binary Puzzle
Constructibility Classes for Triangle Location Problems
Graceful Labelling: State of the Art, Applications and Future Directions
Determination of Inner and Outer Bounds of Reachable Sets Through Subpavings
Zero Tests for Constants in Simple Scientific Computation
Clique Vertex Magic Cover of a Graph
Optimal Symmetry Breaking for Graph Problems
Computing the Topology of Voronoï Diagrams of Parallel Half-Lines
The 3 × 3 × 3 Hyperdeterminant as a Polynomial in the Fundamental Invariants for SL 3 (C) × SL 3 (C) × SL 3 (C)
Two Proofs on Max-Min-Max Principle of Jerk Control in Time-Optimal Rectilinear Motion
Cryptanalysis of Two McEliece Cryptosystems Based on Quasi-Cyclic Codes
Correction to: Efficient Search for Superspecial Hyperelliptic Curves of Genus Four with Automorphism Group Containing bfC 6
Trajectory Planning in Robotics
Spiders can be Recognized by Counting Their Legs
Can I Bring My Calculator to the Exam? Some Reflections on the Abstraction Level of Computer Algebra Systems
Equalising the Transmission Properties of Graph-Modelled Networks by Introducing the Control of the Resources Used to Transmit Information
Efficient Safety Enforcement for Maude Programs via Program Specialization in the ÁTAME System
A Survey of Some Methods for Real Quantifier Elimination, Decision, and Satisfiability and Their Applications
A Survey on Hypergraph Products
Solving Non-Linear Constraint Satisfaction Problems Involving Time-Dependant Functions
Codes as Fractals and Noncommutative Spaces
Quantum Codes Obtained from Some Constacyclic Codes Over a Family of Finite Rings F p +uF p +vF p
Detecting Curves of Symmetry in Images Via Hough Transform
Lyapunov-Based Control for a Swarm of Planar Nonholonomic Vehicles
Lempel-Ziv Factorization Using Less Time & Space
Bounds on Initial Coefficients for a Certain New Subclass of Bi-univalent Functions by Means of Faber Polynomial Expansions
XaoS 4.0 and Beyond: Fractals in Mathematics Education
Symbolic Computation Applied to the Study of the Kernel of a Singular Integral Operator with Non-Carleman Shift and Conjugation
Personal Recollections of Prof. Vladimir P. Gerdt
Geometry of the Hough Transforms with Applications to Synthetic Data
High-Order Methods for Systems of Fractional Ordinary Differential Equations and Their Application to Time-Fractional Diffusion Equations
Phylogenetics of Indo-European Language Families via an Algebro-Geometric Analysis of Their Syntactic Structures
L(2, 1)-Labeling of Permutation and Bipartite Permutation Graphs
k -Phase Oscillator Synchronization for Graph Coloring
How to Use CAS (Maple) to Help Students Learn Number Theory
Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version)
Serre's Reduction of Linear Functional Systems
Symbolic Approach to the General Quadratic Polynomial Decomposition
DiscreteZOO: A Fingerprint Database of Discrete Objects
An Evolution-Based Approach for Approximate Parameterization of Implicitly Defined Curves by Polynomial Parametric Spline Curves
A Short Contribution to the Theory of Regular Chains
Using Fractals and Turtle Geometry to Visually Explain the Spread of a Virus to Kids: A STEM Multitarget Activity
A Single Sweep AGE Algorithm based on Off-Step Discretization for the Solution of Viscous Burgers' Equation on a Variable Mesh
Using as a Semantic Markup Format
A Logic Based Approach to Finding Real Singularities of Implicit Ordinary Differential Equations
Factorials Experiments, Covering Arrays, and Combinatorial Testing
A General Methodology for Symbolically Generating Manufactured Solutions Satisfying Prescribed Conditions: Application to Two-phase Flows Equations
Inference of Probabilities over a Stochastic IL-System by Quantifier Elimination
Intuitionistic Fuzzy Logic Control for Heater Fans
Dynamic Multi-level Overlay Graphs for Shortest Paths
From Lucid to TransLucid: Iteration, Dataflow, Intensional and Cartesian Programming
Efficient Localization at a Prime Ideal Without Producing Unnecessary Primary Components
Implementation of Markovian Queueing Network Model with Multiple Closed Chains
Transforming Large Collections of Scientific Publications to XML
Topological Sorting of Finitely Near Sets
Dimension Polynomials of Intermediate Fields and Krull-type Dimension of Finitely Generated Differential Field Extensions
Efficient Solution of a Class of Quantified Constraints with Quantifier Prefix Exists-Forall
Vertex Coloring of a Graph for Memory Constrained Scenarios
Recycling Proof Patterns in Coq: Case Studies
PTIME Parametric Verification of Safety Properties for Reasonable Linear Hybrid Automata
Towards a Lanczos' τ-Method Toolkit for Differential Problems
Structured Low Rank Approximation of a Bezout Matrix
Testing Zero-Dimensionality of Varieties at a Point
On Solving Parametric Polynomial Systems
Conditional Resolvability of Honeycomb and Hexagonal Networks
Modular Techniques for Noncommutative Gröbner Bases
30 Years with Vladimir Gerdt
Domination Parameters in Coronene Torus Network
Integrable Cases of the Polynomial Liénard-type Equation with Resonance in the Linear Part
Membrane Computing to Enhance Time Efficiency of Minimum Dominating Set
Flow Graphs: Analysis with Near Sets
Is Computer Algebra Ready for Conjecturing and Proving Geometric Inequalities in the Classroom?
Grammatical Verification for Mathematical Formula Recognition Based on Context-Free Tree Grammar
Constructive D -Module Theory with Singular
Using Oshima Splines to Produce Accurate Numerical Results and High Quality Graphical Output
Associativity and Non-Associativity of Some Hypergraph Products
Efficient Intensional Implementation for Lazy Functional Languages
Algebraic Approaches to Stability Analysis of Biological Systems
The Simplified Tikhonov Regularization Method for Solving a Riesz-Feller Space-Fractional Backward Diffusion Problem
The Conditional Covering Problem on Unweighted Interval Graphs with Nonuniform Coverage Radius
Hybrid Dynamics of Stochastic pi-Calculus
TASS: The Toolkit for Accurate Scientific Software
On Design and Implementation of a Generic Number Type for Real Algebraic Number Computations Based on Expression Dags
Towards a Theory of Domains for Harmonic Functions and its Symbolic Counterpart
Localizations of a Ring at Localizable Sets, their Groups of Units and Saturations
ATP-based Cross-Verification of Mizar Proofs: Method, Systems, and First Experiments
Modelling and Simulation of Solid Particle Sedimentation in an Incompressible Newtonian Fluid
Core Potentials: The Consensus Segmentation Conjecture
Quiver Generalized Weyl Algebras, Skew Category Algebras and Diskew Polynomial Rings
Enumeration and Generating Functions of Differential Rota-Baxter Words
Computing the Newton Polygon of the Implicit Equation
Dichotomy Results for Fixed-Point Existence Problems for Boolean Dynamical Systems
On the Nonexistence of Almost Moore Digraphs of Degree Four and Five
On the Usage of Different Coordinate Systems for 3D Plots of Functions of Two Real Variables
Dimension Polynomials and the Einstein's Strength of Some Systems of Quasi-linear Algebraic Difference Equations
Investigation of the Dynamics of Two Connected Bodies in the Plane of a Circular Orbit Using Computer Algebra Methods
Processor Bounding for an Efficient Non-preemptive Task Scheduling Algorithm
Formal Analysis of Optical Systems
Hyperbolic Lattice Boltzmann Method and Discrete Boltzmann Method for Solid-Liquid Phase Change Problem
Visibility Drawings of Plane 3-Trees with Minimum Area
A Randomized Algorithm for 3-SAT
Computing Coupled Border Bases
Symbolic Computation of Local Symmetries of Nonlinear and Linear Partial and Ordinary Differential Equations
On the Pagenumber of the Cube-Connected Cycles
On Brylawski's Generalized Duality
Computer Algebra Methods for Searching the Stationary Motions of the Connected Bodies System Moving in Gravitational Field
A Note on Siamese Twin Designs Intersecting in a BIBD and a PBD
Construction of Transitive q-Analogs of Designs
Achievements and Challenges in Automatic Locus and Envelope Animations in Dynamic Geometry
Solving Parametric Ideal Membership Problems and Computing Integral Numbers in a Ring of Convergent Power Series Via Comprehensive Gröbner Systems
Experimenting with Standard Young Tableaux
Computing in Complete Local Equicharacteristic Noetherian Rings Via Topological Rewriting on Commutative Formal Power Series
Tropical Differential Gröbner Bases
Some Types of Filters in BE-algebras
Advanced Protein Alignments Based on Sequence, Structure and Hydropathy Profiles; The Paradigm of the Viral Polymerase Enzyme
Genetic and Algebraic Algorithms for Classifying the Items of a Likert Questionnaire
Motion of a Swinging Atwood's Machine: Simulation and Analysis with Mathematica
Truncation Formulas for Invariant Polynomials of Matroids and Geometric Lattices
Common Factors in Fraction-Free Matrix Decompositions
Inflexions of Spiric Curves: A Tale of Two Tori
Community Structures of Networks
The Implementation of Hori-Deprit Method to the Construction Averaged Planetary Motion Theory by Means of Computer Algebra System Piranha
Embedding of the Folded Hypercubes into Tori
Reduced Gröbner Bases in Polynomial Rings over a Polynomial Ring
Heat Kernel Analysis of Syntactic Structures
Enumeration and Generating Functions of Rota-Baxter Words
Faster Average Case Low Memory Semi-external Construction of the Burrows-Wheeler Transform
Foreword to the Special Focus on Advances in Symbolic and Numeric Computation III
Fractal Topological Analysis for 2D Binary Digital Images
Power Series Solution for Isoscallop Tool Path Generation on Free-form Surface with Ball-end Cutter
Explicit Formulae for Integro-Differential Operational Matrices
Efficiently and Effectively Recognizing Toricity of Steady State Varieties
SAT Solving Using XOR-OR-AND Normal Forms
Foreword to the Special Focus on Formal Proofs for Mathematics and Computer Science
A Note on Modified Hermite Interpolation
PageRank Computation with MAAOR and Lumping Methods
Mathematics in Computer Science: After 10 Years
What Does "Without Loss of Generality" Mean, and How Do We Detect It
Avoiding Side-Channel Attacks by Computing Isogenous and Isomorphic Elliptic Curves
Relaxed Weighted Path Order in Theorem Proving
Partitioning the Meandering Curves
An Algebraic Approach to DC Railway Electrification Verification
Geodesic Universal Molecules
Using Semicontinuity for Standard Bases Computations
Identifying Subscripts and Superscripts in Mathematical Documents
Local Near Sets: Pattern Discovery in Proximity Spaces
A Monomial-by-Monomial Method for Computing Regular Solutions of Systems of Pseudo-Linear Equations
Determination of Set-Membership Identifiability Sets
Using Maple Cloud Computing in Financial Education of Pre-service Teachers
Foreword to the Special Focus on Advances in Symbolic and Numeric Computation II
Global Stability of a Caputo Fractional SIRS Model with General Incidence Rate
Digitization Projects in Spain
Efficient Geometric Operations on Convex Polyhedra, with an Application to Reachability Analysis of Hybrid Systems
A General Approach to Isolating Roots of a Bitstream Polynomial
A Note on Degree Conditions for Traceability in Locally Claw-Free Graphs
Kernel Characterization of an Interval Function
Descriptive Proximities. Properties and Interplay Between Classical Proximities and Overlap
Factoring Multivariate Polynomials Represented by Black Boxes: A Maple + C Implementation
Local Algorithms for the Prime Factorization of Strong Product Graphs
Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems
All Uniform Bow Graphs are Graceful
Refinement of Two-Factor Factorizations of a Linear Partial Differential Operator of Arbitrary Order and Dimension
Loose Cover of Graphs
Modelling Atwood's Machine with Three Degrees of Freedom
Foreword to the Special Issue of ESCO 2022 Conference
Triangulating Smooth Submanifolds with Light Scaffolding
Gröbner Systems Conversion
A System for Automated Deduction in Engineering Mechanics
Berge-Fulkerson Conjecture on Certain Snarks
An Involutive GVW Algorithm and the Computation of Pommaret Bases
Analytical Studies of Energy-Time Efficiency of Blocking Expanding Ring Search
Branch Structure and Implementation of Lambert W
Selected Aspects of Non orthogonal Multiple Access for Future Wireless Communications
Improving the Accuracy of Chebyshev Tau Method for Nonlinear Differential Problems
Solving the 100 Swiss Francs Problem
On the Complexity of Reconstructing Chemical Reaction Networks
On the H 1 Conforming Virtual Element Method for Time Dependent Stokes Equation
Qualitative Investigation of the Lorenz-84 System Using Computer Algebra Methods
On QE Algorithms over an Algebraically Closed Field Based on Comprehensive Gröbner Systems
Discrete Burgers' Equation, Binomial Coefficients and Mandala
Using Computer Algebra to Certify the Global Convergence of a Numerical Optimization Process
Computing Semantic Clusters by Semantic Mirroring and Spectral Graph Partitioning
Error-Correcting Codes and Phase Transitions
Partial Star Products: A Local Covering Approach for the Recognition of Approximate Cartesian Product Graphs
How Many Structure Constants do Exist in Riemannian Geometry?
Efficient Search for Superspecial Hyperelliptic Curves of Genus Four with Automorphism Group Containing bfC 6
Calculation and Properties of Zonal Polynomials
Quantum Computation and Real Multiplication
Space Saving Calculation of Symbolic Resultants
Design of Low-Artifact Interpolation Kernels by Means of Computer Algebra
Exact Solutions of Hyperbolic Systems of Kinetic Equations. Application to Verhulst Model with Random Perturbation
Good Local Behavior of Offsets to Implicit Algebraic Curves
CAD and Topology of Semi-Algebraic Sets
Toward Foundations of Near Sets: (Pre-)Sheaf Theoretic Approach
Efficient Arithmetic in Successive Algebraic Extension Fields Using Symmetries
Computing Holonomic D-Modules Associated to a Family of Non-isolated Hypersurface Singularities via Comprehensive Gröbner Systems of PBW Algebra
Solving Partial Differential Problems with Tau Toolbox
Efficient Algorithms for Variants of Weighted Matching and Assignment Problems
Dynamics and Optimal Control of Ebola Transmission
On a 2-Orthogonal Polynomial Sequence via Quadratic Decomposition
Nearness of Covering Uniformities: Theory and Application in Image Analysis
Finding Range Minima in the Middle: Approximations and Applications
Super Face Antimagic Labelings of Union of Antiprisms
Problem Solving as a Path to Comprehension
On Families of Graphs of Large Cycle Indicator, Matrices of Large Order and Key Exchange Protocols With Nonlinear Polynomial Maps of Small Degree
Protected Cells in Compositions
An Efficient Design and Implementation of the In-Parameter-Order Algorithm
Approximate Polynomial GCD by Approximate Syzygies
Interval Methods for Real-Time Capable Robust Control of Solid Oxide Fuel Cell Systems
A New Method for Real Root Isolation of Univariate Polynomials
Disaster Incident Analysis via Algebra Stories
Symbolic Computation Applied to the Study of the Kernel of Special Classes of Paired Singular Integral Operators
Constructions of Abelian Codes Multiplying Dimension of Cyclic Codes
A New One-Parameter Invariant Function for Algebras
Applications of Bar Code to Involutive Divisions and a "Greedy" Algorithm for Complete Sets
A Fast Approach to Creative Telescoping
Multi-channel Queueing Networks with Input Flow Controlled by Semi-Markov Process
Antimagic Labelings of Join Graphs
Symmetric Integrability and Linearizability of Weak Saddles in Planar Cubic Differential Systems
Spurious Disambiguation Errors and How to Get Rid of Them
FEVS: A Functional Equivalence Verification Suite for High-Performance Scientific Computing
Matching-Star Ramsey Minimal Graphs
Cylindrical Algebraic Sub-Decompositions
The Use of Digital Tools to Confront Errors During Advanced Calculus Learning: The Case of the Inflection Point
On Eccentric Connectivity Index of Eccentric Graph of Regular Dendrimer
Enumerating Solutions to Grid-Based Puzzles with a Fixed Number of Rows
Play-Hysteresis in the Joint Dynamics of Employment and Investment
On the Extension of Adams-Bashforth-Moulton Methods for Numerical Integration of Delay Differential Equations and Application to the Moon's Orbit
Computing Elements of Certain Form in Ideals to Prove Properties of Operators
Foreword, with a Dedication to Andreas Weber
Envelopes and Offsets of Two Algebraic Plane Curves: Exploration of Their Similarities and Differences
A Complexity Map of Probabilistic Reasoning for Neurosymbolic Classification Techniques
Mathematical Multidimensional Modelling and Structural Artificial Intelligence Pipelines Provide Insights for the Designing of Highly Specific AntiSARS-CoV2 Agents
Bivariate Dimension Quasi-polynomials of Difference-Differential Field Extensions with Weighted Basic Operators
Phase Based Localization for Underwater Vehicles Using Interval Analysis
Cryptanalysis of the GGH Cryptosystem
Using the Universal Math Environment Math-XPress for Teaching and Assessment of Math Courses
Calculation of Binomial and Multinomial Coefficients by Sequences of Summations
On Partitional Labelings of Graphs
Stability Analysis for Discrete Biological Models Using Algebraic Methods
Persistent Topology of Syntax
Possible Worlds Versioning
Intuitionistic Fuzzy Soft K-Algebras
Skew Category Algebras
Foreword, with a Dedication to Vladimir Gerdt
Wadge Degrees of Infinitary Rational Relations
Distances of Centroid Sets in a Graph-Based Construction for Information Security Applications
Total Edge Irregularity Strength of Toroidal Fullerene
Collaborative Use of KeTCindy and Free Computer Algebra Systems
Automated Function Analysis for Calculus
Superposition Decides the First-Order Logic Fragment Over Ground Theories
Constructions of Binary Codes Based on Bipartite Graphs
Exploring the Spectra of Some Classes of Singular Integral Operators with Symbolic Computation
Linear Wirelength of Folded Hypercubes
Model Reduction of Chemical Reaction Systems using Elimination
An SOS-QE Approach to Nonlinear Gain Analysis for Polynomial Dynamical Systems
Ultrafilter Completeness in $${{\varepsilon}}$$ -approach Nearness Spaces
Counting Star-Battle Configurations
Arrangements on Parametric Surfaces I: General Framework and Infrastructure
Magic Labelings of Type (a, b, c) of Families of Wheels
Dealing with the Resolubility of Evolution Algebras
Semi-local String Comparison: Algorithmic Techniques and Applications
On the Discriminant Scheme of Homogeneous Polynomials
Computing Numerically with Functions Instead of Numbers
Cache Oblivious Algorithms for the RMQ and the RMSQ Problems
Automated Detection of Interesting Properties in Regular Polygons
Transparent Rule Based CAS to Support Formalization of Knowledge
Some Reflections About the Success and Bibliographic Impact of the Dynamic Geometry System GeoGebra
Multivariate Difference-Differential Dimension Polynomials
Variable and Clause Elimination for LTL Satisfiability Checking
Combining Interval Analysis with Flatness Theory for State Estimation of Sailboat Robots
Bifurcations of Periodic Points of Some Algebraic Maps
Algebraic, Rational and Puiseux Series Solutions of Systems of Autonomous Algebraic ODEs of Dimension One
Sixty Years of Network Reliability
Relevance Ranking and Hit Description in Math Search