yusuke1997/dblp-id-title huggingface dataset:
Fast algorithms for uniform semi-unification
Deciding positivity of multisymmetric polynomials
All solutions to Thomas' family of Thue equations over imaginary quadratic number fields
Pseudo-Natural Algorithms for Finitely Generated Presentations of Monoids and Groups
Phat - Persistent Homology Algorithms Toolbox
Recent Advances on Determining the Number of Real Roots of Parametric Polynomials
Algorithms in Local Algebra
Gröbner bases and Diophantine analysis
On rational and hypergeometric solutions of linear ordinary difference equations in ΠΣ ⁎ -field extensions
Application of Symbolic Computation in Robot Pose Error Modeling
Computing Gröbner bases of pure binomial ideals via submodules of Z n
Single-factor coefficient bounds
Invariant algebraic sets and symmetrization of polynomial systems
Operational semantics for declarative multi-paradigm languages
An algorithmic approach to small limit cycles of nonlinear differential systems: The averaging method revisited
Calculating Group Cohomology: Tests for Completion
Detecting unnecessary reductions in an involutive basis computation
Factoring bivariate polynomials using adjoints
An Abstract Formalization of Correct Schemas for Program Synthesis
Quartic curves and their bitangents
Free resolutions and Lefschetz properties of some Artin Gorenstein rings of codimension four
Complete numerical isolation of real roots in zero-dimensional triangular systems
Applications of a Factorisation Theorem for Ninth-Order Aberration Optics
Differential type operators and Gröbner-Shirshov bases
On the geometry of parametrized bicubic surfaces
A bound on the projective dimension of three cubics
Classical Invariants and 2-descent on Elliptic Curves
Local shape of generalized offsets to algebraic curves
Computing with Tarski formulas and semi-algebraic sets in a web browser
Improved bounds on absolute positiveness of multivariate polynomials
Resolution via Homological Perturbation
Proof of a supercongruence via the Wilf-Zeilberger method
Geometric interpretations of compatibility for fundamental matrices
A smoothness test for higher codimensions
Generation of groups of square-free order
Symbolic Computation of Orientational Correlation Function Moments
Computing rational powers of monomial ideals
A New Notion of Reduction: General Universal Gröbner Basis for K[x, y]
Symbolic computation and satisfiability checking
Model building with ordered resolution: extracting models from saturated clause sets
Complexity of Factoring and Calculating the GCD of Linear Ordinary Differential Operators
Computing representatives of nilpotent orbits of θ-groups
Constructing Normal Bases in Finite Fields
Computing Galois groups of Fano problems
Subresultants, Sylvester sums and the rational interpolation problem
A multi-computational exploration of some games of pure chance
Improved Techniques for Factoring Univariate Polynomials
Determinantal representations of hyperbolic plane curves: An elementary approach
Factorization of Multivariate Polynomials with Coefficients in F_p
Buchberger-Weispfenning theory for effective associative rings
Implicitization of rational hypersurfaces via linear syzygies: A practical overview
Block-Krylov techniques in the context of sparse-FGLM algorithms
Fast in-place accumulation
The 2-Modular Characters of Conway's Third Group Co 3
Combinatorial differential algebra of x p
The term orderings which are compatible with composition II
Formal and Efficient Primality Proofs by Use of Computer Algebra Oracles
On using ground joinable equations in equational theorem proving
An algorithm for computing Schur indices of characters
The Equivalence Problem for Finite Rings
Computing in the Field of Complex Algebraic Numbers
Effective coefficient asymptotics of multivariate rational functions via semi-numerical algorithms for polynomial systems
Computer Condensation of Modular Representations
On the relation between Context and Sequence Unification
An isomorphism test for modules over a non-commutative PID. Applications to similarity of Ore polynomials
Plus-minus algorithm - A method for derivation of the Bäcklund transformations
Computational algebraic geometry
Ideal-specific elimination orders form a star-shaped region
Extraspecial pairs in the multiply laced root systems and calculating structure constants
Upgraded methods for the effective computation of marked schemes on a strongly stable ideal
Memories on Vladimir Gerdt
A certified numerical algorithm for the topology of resultant and discriminant curves
Algebraic diagonals and walks: Algorithms, bounds, complexity
Metric problems for quadrics in multidimensional space
Strategy Compliant Multi-Threaded Term Completion
Fraction Free Gaussian Elimination for Sparse Matrices
Evaluation properties of invariant polynomials
Gröbner basis for norm-trace codes
A Selected Bibliography on Constructive Mathematics, Intuitionistic Type Theory and Higher Order Deduction
A Fast Algorithm for Gröbner Basis Conversion and its Applications
Implicitization of a General Union of Parametric Varieties
On the complexity of computing Gröbner bases for weighted homogeneous systems
Constructing equivariant vector bundles via the BGG correspondence
Sheaf Cohomology is #P-hard
Computational homology of n-types
Algorithms for the implementation of the analytic classification of plane branches
Solving a Multivariable Congruence by Change of Term Order
The Method of Differentiating under the Integral Sign
Corrigendum to: "On ordering free groups" [J. Symbolic Comput. 40(2005) 1285-1290]
Efficient computation of maximal orders in Artin-Schreier extensions
Elimination of Conditions
Well Rewrite Orderings and Well Quasi-Orderings
On Different Structure-Preserving Translations to Normal Form
Generation and Verification of Algorithms for Symbolic-Numeric Processing
Computational methods for nilsoliton metric Lie algebras I
Algorithmic Computation of de Rham Cohomology of Complements of Complex Affine Varieties
Negation Elimination in Empty or Permutative Theories
0/0 Simplifies implicitization
A New Lower Bound Construction for Commutative Thue Systems with aApplications
Automatic solution of families of Thue equations and an example of degree 8
Complexity, Algorithms, Programs, Systems: The Shifting Focus
Machine learning invariants of arithmetic curves
The homological reduction method for computing cocyclic Hadamard matrices
On the effective and automatic enumeration of polynomial permutation classes
q-analogues of π-formulas due to Ramanujan and Guillera
Dissimilar subalgebras of symmetry algebra of plasticity equations
Solving polynomial systems via symbolic-numeric reduction to geometric involutive form
Computing all parametric solutions for blending parametric surfaces
Tree polynomials and non-associative Gröbner bases
Counterexamples to witness conjectures
Symbolic Computation with Fermions
Algorithm for the Computation of Canonical Forms of Matrices over Fields
Constructive arithmetics in Ore localizations enjoying enough commutativity
On the modular inversion hidden number problem
An Extension of Buchberger's Algorithm and Calculations in Enveloping Fields of Lie Algebras
A Computational Method for Determining Strong Stabilizability of n-D Systems
Graceful bases in solution spaces of differential and difference equations
The Riccati Equation in Mathematical Finance
Constructions in Finite Geometry Using Computer Algebra Systems
Efficient Algorithms for the Riemann-Roch Problem and for Addition in the Jacobian of a Curve
Operation of Class Sums on Permutation Modules
Efficiently factoring polynomials modulo p 4
A short proof for the open quadrant problem
On a tropical version of the Jacobian conjecture
On the Mechanical Derivation of Loop Invariants
Integral Hodge conjecture for Fermat varieties
Formal Solutions of Linear PDEs and Convex Polyhedra
Constructing Carmichael Numbers which are Strong Pseudoprimes to Several Bases
A new class of term orders for elimination
The deviation on cranks of partitions
Logarithmic Voronoi cells for Gaussian models
Automatic Derivation of the Irrationality of e
An in-place truncated Fourier transform
A Modular Method to Compute the Rational Univariate Representation of Zero-dimensional Ideals
Gröbner Bases in Orders of Algebraic Number Fields
Virtual links with finite medial bikei
Computing generating sets of minimal size in finite algebras
A Combinatorial Proof of the Effective Nullstellensatz
The p-Group Generation Algorithm
Computing subfields of number fields and applications to Galois group computations
Computing positive tropical varieties and lower bounds on the number of positive roots
Dimensions of solution spaces of H
On the Computation of Generalized Standard Bases
Liouvillian and Algebraic Solutions of Second and Third Order Linear Differential Equations
A Bibliography of Quantifier Elimination for Real Closed Fields
Minimum K-Partitioning of Rectilinear Polygons
A Corrigendum for the Optimized-IPIA
A generalization of the Katzman-Zhang algorithm
Algebraic local cohomology with parameters and parametric standard bases for zero-dimensional ideals
Complex Golay pairs up to length 28: A search via computer algebra and programmatic SAT
Groebner Basis Under Composition I
Embedding algorithms and applications to differential equations
A near-optimal subdivision algorithm for complex root isolation based on the Pellet test and Newton iteration
Multi-Valued Logic and Gröbner Bases with Applications to Modal Logic
Exact Transversal Hypergraphs and Application to Boolean µ-Functions
Equational Problems and Disunification
Real root isolation for exp-log-arctan functions
Trivializing a central simple algebra of degree 4 over the rational numbers
Theory Links: Applications to Automated Theorem Proving
Semi-numerical absolute factorization of polynomials with integer coefficients
Solving Systems of Polynomial Inequalities in Subexponential Time
On Testing a Bivariate Polynomial for Analytic Reducibility
On the generating functions of pattern-avoiding Motzkin paths
On k-simple forms of first-order linear differential systems and their computation
The unification type of the Pythagorean equation in varieties of nilpotent rings
Theoretical and Experimental Comparison of Efficiency of Finite Field Extensions
Memory Management in the PoSSo Solver
Algebraic equations for constant width curves and Zindler curves
Budan tables of real univariate polynomials
SIS - A Symbolic Information Management System
Chern numbers of smooth varieties via homotopy continuation and intersection theory
Constructing a single cell in cylindrical algebraic decomposition
On the Theory of Graded Structures
Quotients of Gaussian graphs and their application to perfect codes
The Chow-Lam form
Solving the Heat Equation Symbolically with MuSimp
On the minimum of a positive polynomial over the standard simplex
Determination of Socle Series using the Condensation Method
Interval Arithmetic in Cylindrical Algebraic Decomposition
Representation of sparse Legendre expansions
Normal Parametrizations of Algebraic Plane Curves
Quantifier Elimination: Optimal Solution for Two Classical Examples
Projection and scope-determined circumscription
A tree-based algorithm for the integration of monomials in the Chow ring of the moduli space of stable marked curves of genus zero
A generic framework for symbolic execution: A coinductive approach
On arrangements of quadrics in decomposing the parameter space of 3D digitized rigid motions
Non-Commutative Gröbner Bases in Algebras of Solvable Type
Evaluation techniques for zero-dimensional primary decomposition
Point equivalence of second-order ODEs: Maximal invariant classification order
Erratum to "Cyclic resultants" [J. Symbolic Comput. 39 (6) (2005) 653-669]
Acceleration of the abstract fixpoint computation in numerical program analysis
An extension of holonomic sequences: C 2 -finite sequences
Efficient q -integer linear decomposition of multivariate polynomials
An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems
Bounds on factors in Z [ x ]
Improving the DISPGB algorithm using the discriminant ideal
The Hurwitz form of a projective variety
Integration in Finite Terms with Special Functions: the Error Function
Modular algorithms for computing Gröbner bases
Algorithms for Mumford curves
Special issue of JSC on the occasion of MEGA 2021
On the complexity of the generalized MinRank problem
Unmixed-dimensional Decomposition of a Finitely Generated Perfect Differential Ideal
Finitely labeled generating trees and restricted permutations
Ten commandments for good default expression simplification
KLEIN: a MATHEMATICA Package for Radar Polarimetry Based on Spinor and Tensor Algebra
Computing critical points for invariant algebraic systems
Solving determinantal systems using homotopy techniques
A sharp bound on the number of real intersection points of a sparse plane curve with a line
Modular Properties of Composable Term Rewriting Systems
Small partial Latin squares that embed in an infinite group but not into any finite group
List decoding codes on Garcia-Stictenoth tower using Gröbner basis
Integration in finite terms with dilogarithmic integrals, logarithmic integrals and error functions
On the maximum computing time of the bisection method for real root isolation
Two Generator Subgroups of SL(2, C) and the Hypergeometric, Riemann, and Lamé Equations
Counting and locating the solutions of polynomial systems of maximum likelihood equations, I
Rational solutions of ordinary difference equations
On the dimension of the solution space of linear difference equations over the ring of infinite sequences
On d-solvability for linear differential equations
Computer analysis of periodic orbits of discontinuous vector fields
Additive normal forms and integration of differential fractions
A reconstruction and extension of Maple's assume facility via constraint contextual rewriting
A Sequent Calculus for Automated Reasoning in Symbolic Computation Systems
Deterministic genericity for polynomial ideals
Similarity detection of rational space curves
Reduced Gröbner Bases, Free Difference-Differential Modules and Difference-Differential Dimension Polynomials
A brief introduction to Wen-Tsun Wu's academic career
Computing minimal generators of the ideal of a general projective curve
Constructive homomorphisms for classical groups
Algebraic degree of the inverse of linearized polynomials
Implicitization of Nested Circular Curves
Effective Computation with Group Homomorphisms
On Polynomial Decompositions
Counting and Gröbner Bases
An equivalence theorem for regular differential chains
Real Solving for Positive Dimensional Systems
Factoring polynomials over global fields I
Computing GCDs of Polynomials over Algebraic Number Fields
On the homology of two-dimensional elimination
Polynomial root separation examples
Knapsack problems in products of groups
Triangular x-basis decompositions and derandomization of linear algebra algorithms over K[x]
Solving generic nonarchimedean semidefinite programs using stochastic game algorithms
Border bases for lattice ideals
Efficient computation of Cantor's division polynomials of hyperelliptic curves over finite fields
Early termination for sparse interpolation of polynomials in Chebyshev bases
A Constructive Implementation of the Cartan-Kähler Theory of Exterior Differential Systems
Computing Transformation Semigroups
Symmetric SAGE and SONC forms, exactness and quantitative gaps
Some Problems in Computational Representation Theory
Local Box Adjacency Algorithms for Cylindrical Algebraic Decompositions
Solving Systems of Strict Polynomial Inequalities
Explicit Galois Realization of Transitive Groups of Degree up to 15
A tool for evaluating solution economy of algebraic transformations
Computing the binomial part of a polynomial ideal
Barnett's Theorems About the Greatest Common Divisor of Several Univariate Polynomials Through Bezout-like Matrices
Practical graph isomorphism, II
On the Bézout Construction of the Resultant
A certified iterative method for isolated singular roots
Localization of the complex zeros of parametrized families of polynomials
q -Rational reduction and q -analogues of series for π
On affine tropical F5 algorithms
Single-factor lifting and factorization of polynomials over local fields
A Computer Algebra Approach to the Discrete Dirichlet Problem
Reconstruction of rational ruled surfaces from their silhouettes
Application of NEWEUL in Robot Dynamics
A Zero Structure Theorem for Differential Parametric Systems
Universal equations for maximal isotropic Grassmannians
On lattice reduction for polynomial matrices
Fully incremental cylindrical algebraic decomposition
Parallel Scheduling of Recursively Defined Arrays: Revisited
Recursive structures in involutive bases theory
Rectangular Corner Cutting and Dixon A-resultants
Efficient decomposition of separable algebras
A probabilistic algorithm for computing data-discriminants of likelihood equations
Design and Implementation of MP, a Protocol for Efficient Exchange of Mathematical Expressions
Application of Symbolic Algebra to the Instability of a Nonconservative System
Finding All Isolated Zeros of Polynomial Systems inCnvia Stable Mixed Volumes
Theorem-Proving with Resolution and Superposition
A practical model for computation with matrix groups
Generalized power series solutions to linear partial differential equations
Symbolic Asymptotics: Multiseries of Inverse Functions
A MACSYMA Program for the Multiple Bifurcation Analysis of Double-Diffusive Concection
First Order Compiler: A Deterministic Logic Program Synthesis Algorithm
Symbolic computation of conservation laws for nonlinear partial differential equations in multiple space dimensions
Why You Cannot Even Hope to use Gröbner Bases in Public Key Cryptography: An Open Letter to a Scientist Who Failed and a Challenge to Those Who Have Not Yet Failed
Testing Polynomials
On the connectedness of multistationarity regions of small reaction networks
REDUCE-Procedures for the Study of Adjoint Symmetries of Second-Order Differential Equations
A relative van Hoeij algorithm over number fields
An accessible verification environment for UML models of services
Determination of the tangents for a real plane algebraic curve
Computing free non-commutative Gröbner bases over Z with Singular: Letterplace
Are Buchberger's criteria necessary for the chain condition?
Reduced Gröbner bases and Macaulay-Buchberger Basis Theorem over Noetherian rings
Identities Arising From Hecke Transformations of Modular Forms Over Q(\surd2) and Q(\surd3)
Computing Projectors, Injectors, Residuals and Radicals of Finite Soluble Groups
CIO and ring graphs: Deficiency and testing
On convolutions of algebraic curves
Constructing Permutation Representations for Matrix Groups
An orderly linear PDE system with analytic initial conditions with a non-analytic solution
Increasing Model Building Capabilities by Constraint Solving on Terms with Integer Exponents
On the primary decomposition of some determinantal hyperedge ideal
On Gröbner bases and Krull dimension of residue class rings of polynomial rings over integral domains
D-algebraic functions
Efficient edge-skeleton computation for polytopes defined by oracles
Homotopy bases and finite derivation type for Schützenberger groups of monoids
Corrigendum to "A long note on Mulders' short product" [J. Symb. Comput 37 (3) (2004) 391-401]
An m-adic algorithm for bivariate Gröbner bases
Cyclic resultants
On magic distinct labellings of simple graphs
Definite determinantal representations via orthostochastic matrices
A note on computing involution centralizers
Sparsification of Rectangualr Matrices
Groups whose orders factorise into at most four primes
Algorithms for computing greatest common divisors of parametric multivariate polynomials
Visualizations for Mathematics Courses Based on a Computer Algebra System
A Direct Approach to Computing the µ-basis of Planar Rational Curves
Double Coset Enumeration
Multiplicative Bases, Gröbner Bases, and Right Gröbner Bases
ML degrees of Brownian motion tree models: Star trees and root invariance
Multibasic and Mixed Hypergeometric Gosper-Type Algorithms
A new family of rational surfaces in P4
On the Computation of Group Characters
On the frontiers of polynomial computations in tropical geometry
Algorithms for simultaneous Hermite-Padé approximations
Fast Computation of the Bezout and Dixon Resultant Matrices
Computer Algebra Applied to Radiation from Microstrip Discontinuities
Finding a Basis of a Linear System with Pairwise Distinct Discrete Valuations on an Algebraic Curve
Formal desingularization of surfaces: The Jung method revisited
Milne's volume function and vector symmetric polynomials
An algorithmic approach based on generating trees for enumerating pattern-avoiding inversion sequences
Constructing Irreducible Representations of Finitely Presented Algebras
Propagating weights of tori along free resolutions
Depth-first proof search without backtracking for free-variable clausal tableaux
Complexity of tropical Schur polynomials
Slope Retention Techniques for Solving Boundary-Value Problems in Differential Equations
Two-step Newton's method for deflation-one singular zeros of analytic systems
Gröbner bases with respect to several orderings and multivariable dimension polynomials
Computing maximal subgroups of finite groups
Simultaneous modular reduction and Kronecker substitution for small finite fields
Symmetric subresultants and applications
A generic position based method for real root isolation of zero-dimensional polynomial systems
Unification in Boolean Rings and Abelian Groups
Universal characteristic decomposition of radical differential ideals
A Constructive Algebraic Hierarchy in Coq
Proper Parametrization of Real Tubular Surfaces
Model checking in the modal μ-calculus and generic solutions
The Value of Privacy Assurance: An Exploratory Field Experiment
Engaging Users on Social Media Business Pages: The Roles of User Comments and Firm Responses
The Interplay of IT Users' Coping Strategies: Uncovering Momentary Emotional Load, Routes, and Sequences
Transformation of the IT Function at British Petroleum
A Potato Salad with a Lemon Twist: Using a Supply-Side Shock to Study the Impact of Opportunistic Behavior on Crowdfunding Platforms
Whom Are We Informing? Issues and Recommendations for MIS Research from an Informing Science Perspective
Collaboration Through Open Superposition: A Theory of the Open Source Way
Improving Employees' Compliance Through Information Systems Security Training: An Action Research Study
Is a Map More Than a Picture? The Role of SDCC Technology, Subject Characteristics, and Problem Complexity of Reading and Problem Solving
Research in Management Information Systems, 1980-1984: Points of Work and Reference
A Network Infrastructure to Contain Costs and Enable Fast Response: The TRW Process
Does Information Technology Investment Influence a Firm's Market Value? A Case of Non-Publicly Traded Healthcare Firms
The Development of the Perceived Distinctiveness Antecedent of Information Systems Professional Identity
The Contingent Effects of Management Support and Task Interdependence on Successful Information Systems Implementation
Chargeback Systems and User Involvement in Information Systems - An Empirical Investigation
The Relative Advantage of Electronic Channels: A Multidimensional View
Sustainable Collaboration: Managing Conflict and Cooperation in Interorganizational Systems
An Empirical Assessment of the Stages of DP Growth
Talking about Technology: The Emergence of a New Actor Category Through New Media
Strike a Happy Medium: The Effect of IT Knowledge on Venture Capitalists' Overconfidence in IT Investments
Toward a Digital Attribution Model: Measuring the Impact of Display Advertising on Online Consumer Behavior
Software Maintainability: Perceptions of EDP Professionals
Regulating Emerging Technologies: Prospective Sensemaking through Abstraction and Elaboration
Expert Blogs and Consumer Perceptions of Competing Brands
Understanding Medication Nonadherence from Social Media: A Sentiment-Enriched Deep Learning Approach
Ruckus in the Rentals, Seeking New Arrangements: Remedying the Impact of Home-Sharing on Urban Noise
Business Value of Information Technology: A Study of Electronic Data Interchange
The Impact of Health Information Sharing on Duplicate Testing