yusuke1997/dblp-id-title huggingface dataset:
Special issue on Algebraic Geometry and Machine Learning
Strategy-Accurate Parallel Buchberger Algorithms
A symbolic test for ( i, j )-uniformity in reduced zero-dimensional schemes
Computing finite semigroups
A Proof of Holt's Algorithm
F5C: A variant of Faugère's F5 algorithm with reduced Gröbner bases
Rational general solutions of planar rational systems of autonomous ODEs
An automated prover for Zermelo-Fraenkel set theory in Theorema
On Radical Zero-Dimensional Ideals
Verifying pointer safety for programs with unknown calls
Symbolic Computation and Differential Equations: Lie Symmetries
F-threshold functions: Syzygy gap fractals and the two-variable homogeneous case
Computing the Primary Decomposition of Zero-dimensional Ideals
On constructive desingularization
The Transitive Groups of Degree Fourteen and Fifteen
SYMMETRICA, an Object Oriented Computer-Algebra System for the Symmetric Group
Sum-of-squares certificates for Vizing's conjecture via determining Gröbner bases
Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors
Computing valuations of the Dieudonné determinants
Random sampling in computational algebra: Helly numbers and violator spaces
Multiple binomial sums
Algorithms for Trigonometric Curves (Simplification, Implicitization, Parameterization)
Infinite Convergent String-Rewriting Systems and Cross-Sections for Finitely Presented Monoids
Standard bases in mixed power series and polynomial rings over rings
Implementation of Stanley's algorithm for projective group imbeddings
Temporal Annotated Constraint Logic Programming
Validity proof of Lazard's method for CAD construction
Gröbner bases and wavelet design
Cohomology, stratifications and parametric Gröbner bases in characteristic zero
Temporal Semantics for Concurrent Metatem
Symbolic Asymptotics: Functions of Two Variables, Implicit Functions
Electronic Communication of Mathematics and the Interaction of Computer Algebra Systems and Proof Assistants
Fast Computation of Weight Multiplicities
Teaching Computational Abstract Algebra
Perfect bases for differential equations
Non-Standard Algorithmic and Dynamic Logic
Efficient computation of maximal orders in Artin-Schreier-Witt extensions
Computation of 2-groups of narrow logarithmic divisor classes of number fields
Positive definiteness of infinite and finite dimensional generalized Hilbert tensors and generalized Cauchy tensor
SONC optimization and exact nonnegativity certificates via second-order cone programming
Quality of positive root bounds
Algebraic geometry codes from polyhedral divisors
Solving genus zero Diophantine equations over number fields
Tractable and intractable second-order matching problems
Parallelizing Imperative Functional Programs: the Vectorization Monad
Computing intersection numbers of Chern classes
A Semi-Automatic Multiple-Strategy Approach To Mapping Tree-Structured Symbolic Processing Programs
Bounded, Strongly Sequential and Forward-Branching Term Rewriting Systems
Dense Time Logic Programming
Limits of real bivariate rational functions
Solving the Problems of Kinetics of Complex Reactions by Symbolic Algebraic Manipulation Methods
Anti-patterns for rule-based languages
Using MAPLE for the Analysis of Bifurcation Phenomena in Condensed-Phase Surface Combustion
Computing individual Kazhdan-Lusztig basis elements
Computing Automatic Coset Systems and Subgroup Presentations
Corrigendum to "Linear complete differential resultants and the implicitization of linear DPPEs" [J. Symbolic Comput. 45(3) March (2010) 324-341]
Univariate Polynomials: Nearly Optimal Algorithms for Numerical Factorization and Root-finding
Application of Computer Algebra Systems for Stability Analysis of Difference Schemes on Curvilinear Grids
Deriving Fold/Unfold Transformations of Logic Programs Using Extended OLDT-Based Abstract Interpretation
Approximate computation of zero-dimensional polynomial ideals
The first rational Chebyshev knots
Computing the support of local cohomology modules
Zacharias representation of effective associative rings
A General Framework to Build Contextual Cover Set Induction Provers
Applications of the Differential Algebra Package diffgrob2 to Classical Symmetries of Differential Equations
Computing splitting fields using Galois theory and other Galois constructions
Self-intersections of surfaces that contain two circles through each point
Algorithmical determination of the topology of a real algebraic surface
Symbolic Computation of DeWitt-Seeley-Gilkey Coefficients on Curved Manifolds
Complexity of Computing the Local Dimension of a Semialgebraic Set
Matching - A Special Case of Unification?
Using Gröbner Bases to Reason About Geometry Problems
Partial semiorthogonal decompositions for quiver moduli
A Rewrite-Based Type Discipline for a Subset of Computer Algebra
Computing implicitizations of multi-graded polynomial maps
A simple method for implicitizing rational curves and surfaces
Constraint solving for interpolation
The lex game and some applications
On semi-local decomposition
Rational solutions to the first order difference equations in the bivariate difference field
Quantum automata and algebraic groups
Termination of Rewriting
On the Asymptotic Analysis of the Euclidean Algorithm
Squarefree Decomposition of Univariate Polynomials Depending on a Parameter. Application to the Integration of Parametric Rational Functions
Computing symmetric rank for symmetric tensors
On a problem of Pethő
Constructing Recursion Operators in Intuitionistic Type Theory
The Construction of Maximal Orders Over a Dedekind Domain
Elliptic function based algorithms to prove Jacobi theta function relations
Computing Orbits of Minimal Parabolic k-subgroups Acting on Symmetric k-varieties
Effective approximation of the solutions of algebraic equations
Formalization of the arithmetization of Euclidean plane geometry and applications
Representation of non-special curves of genus 5 as plane sextic curves and its application to finding curves with many rational points
Computing the intersection of two ruled surfaces by using a new algebraic approach
Computing the real Weyl group
Complexity of the Computation on Real Algebraic Numbers
Computing with semi-algebraic sets: Relaxation techniques and effective boundaries
Perfect refiners for permutation group backtracking algorithms
Constructively describing orbit spaces of finite groups by few inequalities
Discovering linear-recurrent solutions to Hofstadter-like recurrences using symbolic computation
Root isolation of zero-dimensional polynomial systems with linear univariate representation
The Pohlig-Hellman Method Generalized for Group Structure Computation
Lexicographic and reverse lexicographic quadratic Gröbner bases of cut ideals
Classification of Hermitian Forms with the Neighbour Method
A condition for multiplicity structure of univariate polynomials
Complete involutive rewriting systems
Computing Ideals of Points
An Algorithm to Determine Potential Systems in Mathematica
PTOPO: Computing the geometry and the topology of parametric curves
An algorithmic approach to resolutions
A New Algorithm for Discussing Gröbner Bases with Parameters
A categorical framework for the transformation of object-oriented systems: Models and data
Computer Algebra Application for Classification of Integrable Non-Linear Evolution Equations
Artificial discontinuities of single-parametric Gröbner bases
On evaluation codes coming from a tower of function fields
Solving parametric systems of polynomial equations over the reals through Hermite matrices
An Algorithm of Katz and its Application to the Inverse Galois Problem
Deciding the guarded fragments by resolution
Some Algorithms for Nilpotent Permutation Groups
Shared Memory Implementation of the Gamma-Operation
Cylindrical decomposition for systems transcendental in the first variable
NEWTON: An Interactive Environment for Exploring Mathematics
Computing zero-dimensional schemes
On the D-Bases of Polynomial Ideals Over Principal Ideal Domains
A factorization algorithm for G-algebras and its applications
Minimum Number of Fundamental Invariants for the Binary Form of Degree
Foreword: Special issue of JSC on the occasion of MEGA 2019
String rewriting for double coset systems
Univariate real root isolation in an extension field and applications
An Algorithm for the Quillen-Suslin Theorem for Quotients of Polynomial Rings by Monomial Ideals
Deterministic distinct-degree factorization of polynomials over finite fields
Irreducible decomposition of polynomial ideals
Poincaré-Birkhoff-Witt theorem for Leibniz n
A local Fourier convergence analysis of a multigrid method using symbolic computation
The Brun gcd algorithm in high dimensions is almost always subtractive
Limited resource strategy in resolution theorem proving
Using a Small Algebraic Manipulation System to Solve Differential and Integral Equations by Variational and Approximation Techniques
A General Backtrack Algorithm for the Isomorphism Problem of Combinatorial Objects
Bundles of rank 3 on curves of Clifford index 3
A Generalized Sylvester Identity and Fraction-free Random Gaussian Elimination
Computing Subgroups by Exhibition in Finite Solvable Groups
A Deterministic Lazy Narrowing Calculus
Algorithms for the Gauss-Manin Connection
An algorithmic approach to Ramanujan-Kolberg identities
Calculating Characters of p-Groups
On the efficiency of solving Boolean polynomial systems with the characteristic set method
Voronoi cells of varieties
Taxonomies of geometric problems
A complete and terminating approach to linear integer solving
From an approximate to an exact absolute polynomial factorization
A Polynomial-Time Algorithm for the Topological Type of a Real Algebraic Curve
Special Issue Computational Algebraic Complexity Editorial
Some fast algorithms multiplying a matrix by its adjoint
Subresultants of several univariate polynomials in Newton basis
Estimating the number of roots of trinomials over finite fields
A non-commutative F 5 algorithm with an application to the computation of Loewy layers
Five Surprisingly Simple Complexities
Identifiability in phylogenetics using algebraic matroids
Partial Differential Equations and Bivariate Orthogonal Polynomials
New dynamics in dynamic geometry: Dragging constructed points
Computing Subgroups Invariant Under a Set of Automorphisms
Toric dynamical systems
High-precision numerical integration: Progress and challenges
On Graphical Quintuple Systems
Short proofs of ideal membership
A modular algorithm to compute the generalized Hermite normal form for Z[x]-lattices
Tamely Ramified Towers and Discriminant Bounds for Number Fields-II
Identities for the Associator in Alternative Algebras
Computation of the finitistic dimension of monomial algebras
Gröbner Bases, Invariant Theory and Equivariant Dynamics
Triangular systems and a generalization of primitive polynomials
On the computing time of the continued fractions method
Computing obstructions for existence of connections on modules
Learning-assisted theorem proving with millions of lemmas
Polynomial Decomposition Algorithms
Algorithms for polycyclic-by-finite groups
A modular algorithm for computing the exponential solutions of a linear differential operator
Krandick's proof of Lagrange's real root bound claim
Letterplace ideals and non-commutative Gröbner bases
Pisot unit generators in number fields
A signature-based algorithm for computing the nondegenerate locus of a polynomial system
Summation Theory II: Characterizations of RΠΣ ⁎ -extensions and algorithmic aspects
Resultant of an equivariant polynomial system with respect to the symmetric group
Binary codes from the line graph of the n-cube
Parametrizing Del Pezzo surfaces of degree 8 using Lie algebras
The largest group of invariance for Markov bases and toric ideals
Fraction-free algorithm for the computation of diagonal forms matrices over Ore domains using Gröbner bases
Toric complete intersection codes
Properness defects of projection and minimal discriminant variety
Eigenvalues of a real supersymmetric tensor
A symbolic transformation language and its application to a multiscale method
Proof of the BMR conjecture for G 20 and G 21
Multilinear polynomial systems: Root isolation and bit complexity
Factoring Polynomials Over Finite Fields: A Survey
Normal forms for general polynomial matrices
Universally defined representations of Lie conformal superalgebras
Improving root separation bounds
Flat families by strongly stable ideals and a generalization of Gröbner bases
Origin Tracking
Solving Word Equations
Bounds for Absolute Positiveness of Multivariate Polynomials
Finding a Minimal Set of Linear Recurring Relations Capable of Generating a Given Finite Two-Dimensional Array
PSPCLink: A Cooperation Between General Symbolic and Poisson Series Processors
Computing Representations of a Lie Group via the Universal Enveloping Algebra
Linear time Fourier transforms of S n - k -invariant functions on the symmetric group S n
Non-associative Gröbner bases, finitely-presented Lie rings and the Engel condition, II
Computing Local Artin Maps, and Solvability of Norm Equations
Super Ballot Numbers
Beyond polynomials and Peano arithmetic - automation of elementary and ordinal interpretations
The Projective Noether Maple Package: Computing the Dimension of a Projective Variety
Computing with algebraically closed fields
Sturm's algorithm and isolating blocks
A new algorithm for Gröbner bases conversion
Conquering inseparability: Primary decomposition and multivariate factorization over algebraic function fields of positive characteristic
Decidable fragments of many-sorted logic
Automated conjecture making in number theory using HR, Otter and Maple
Efficient Simulation of Forward-Branching Systems with Constructor Systems
Special issue on the conference ISSAC 2014: Symbolic computation and computer algebra
Solving Hankel Systems over the Integers
On the Minimal Realizations of a Finite Sequence
Standard Bases and Some Computations in Rings of Power Series
On deciding finiteness of matrix groups
Discussion on polynomials having polynomial iterative roots
A Generic Graphic Framework for Combining Inference Tools and Editing Proofs and Formulae
Applying Quantifier Elimination to the Birkhoff Interpolation Problem
Some Examples of the Use of Distances as Coordinates for Euclidean Geometry
On Bézout inequalities for non-homogeneous polynomial ideals
Efficient Gröbner bases computation over principal ideal rings
Corrigendum to: "Computing the characteristic numbers of the variety of nodal plane cubics inP 2 [J. Symb. Computation 42 (1-2) (2007) 192-202]
A New Polynomial Factorization Algorithm and its Implementation
Links between two semisymmetric graphs on 112 vertices via association schemes
Computing x^m mod p(x) and an Application to Splitting a Polynomial Into Factors Over a Fixed Disc
Signature-based standard basis algorithm under the framework of GVW algorithm
Homotopy classification of maps between simply connected four manifolds
Mathematica Notebooks for a Conventional Differential Equations Course
Computing instanton numbers of curve singularities
Dense resultant of composed polynomials: Mixed-mixed case
An algorithm to find a coordinate's mate
A Note on Upper Bounds for Ideal-Theoretic Problems
Order-Sorted Unification
A Family of Sparse Polynomial Systems Arising in Chemical Reaction Systems
Matrix Generators for the Orthogonal Groups
Computing Rational Forms of Integer Matrices
Quasi-independence models with rational maximum likelihood estimator
The Concept of Gröbner Algebras
Computing infeasibility certificates for combinatorial problems through Hilbert's Nullstellensatz
Computing roadmaps in unbounded smooth real algebraic sets I: Connectivity results
qFunctions - A Mathematica package for q -series and partition theory applications
Algorithms for solving linear systems over cyclotomic fields
Ramanujan's Theories of Elliptic Functions to Alternative Bases-a Symbolic Excursion
Invariant and Geometric Aspects of Algebraic Complexity Theory I
The Generating Function for the Number of Roots of a Coxeter Group
Automated Inferencing
A q-analogue of the Bailey-Borwein-Bradley identity
Decomposing tropical rational functions
Construction algorithms for rational cubic surfaces
Toric Degenerations of Polynomial Ideals and Geometric Localization of Fans
On the factorization of non-commutative polynomials (in free associative algebras)
Distance to the stochastic part of phylogenetic varieties
Some Examples for Solving Systems of Algebraic Equations by Calculating Groebner Bases
Computation of the Maximal Degree of the Inverse of a Cubic Automorphism of the Affine Plane with Jacobian 1 via Gröbner Bases
Topology of real algebraic space curves
Constructing Lie algebras of first order differential operators
Theorem Proving Techniques for View Deletion in Databases
A reduced form for linear differential systems and its application to integrability of Hamiltonian systems
Amenability of Schreier graphs and strongly generic algorithms for the conjugacy problem
Simple forms of higher-order linear differential systems and their applications in computing regular solutions
Automated short proof generation for projective geometric theorems with Cayley and bracket algebras: I. Incidence geometry
Computing minimal interpolation bases
Hypergeometric-type sequences
On the Practical Solution of Genus Zero Diophantine Equations
Implicit Riquier Bases for PDAE and their semi-discretizations
Executable Temporal Logic for Non-Monotonic Reasoning
Constructibility of the Set of Polynomials with a Fixed Bernstein-Sato Polynomial: an Algorithmic Approach
Rational Parametrization of Surfaces
Transitivity for Weak and Strong Gröbner Bases
Foundations of invariant theory for the down operator
A Computer Algebra System Based on Ordersorted Algebra
Using extended Derksen ideals in computational invariant theory
Time and space efficient generators for quasiseparable matrices
Improved Projection for Cylindrical Algebraic Decomposition
Some criteria for Gröbner bases and their applications
A Bibliography on Parallel Inference Machines
Equational Methods in First Order Predicate Calculus
Computing group resolutions
Algorithms for q-Hypergeometric Summation in Computer Algebra
Cancellativity in Finitely Presented Semigroups
Suslin's algorithms for reduction of unimodular rows
Semantics of division for polynomial solvers
Hybrid Sparse Resultant Matrices for Bivariate Polynomials
On Rational Geometry of Conic Sections
Explicit solution by radicals, gonal maps and plane models of algebraic curves of genus 5 or 6
Macaulay inverse systems revisited
Irregular Primes and Cyclotomic Invariants to 12 Million
MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems
An effective decomposition theorem for Schubert varieties
Macsyma Computation of Local Minimal Realization of Dynamical Systems of which Generating Power Series are Finite
Monomial Orderings, Rewriting Systems, and Gröbner Bases for the Commutator Ideal of a Free Algebra
Jacobi stability analysis for systems of ODEs with symbolic computation
Computer proofs about finite and regular sets: the unifying concept of subvariance
Rank-profile revealing Gaussian elimination and the CUP matrix decomposition
Approximate GCD of several univariate polynomials with small degree perturbations
On Validated Computing in Algebraic Number Fields
Deterministic polynomial factoring over finite fields: A uniform approach via P-schemes
Measuring the local non-convexity of real algebraic curves
Permanental Ideals
An Algebraic Approach to Unification Under Associativity and Commutativity
An algorithm to parametrize approximately space curves
Computing B-Orbits on G/H
Newton's method and FFT trading
Local parametrization of cubic surfaces
On the Gosper-Petkovs(ek representation of rational functions
Discriminants and nonnegative polynomials
Polynomial reduction and supercongruences
Algebraic transformation of differential characteristic decompositions from one ranking to another
Tropical linear-fractional programming and parametric mean payoff games
An effective decision method for semidefinite polynomials
Applications of the theory of weakly nondegenerate conditions to zero decomposition for polynomial systems
In honour of Keith Geddes on his 60th birthday
Loci of 3-periodics in an Elliptic Billiard: Why so many ellipses?
NatureTime: Temporal Granularity in Simulation of Ecosystems
Factoring linear partial differential operators in n variables
Normalization of rings
Decreasing the Nesting Depth of Expressions Involving Square Roots
Quantifier Elimination for Trigonometric Polynomials by Cylindrical Trigonometric Decomposition
Changing assessment methods: New rules, new roles
Dual bases for noncommutative symmetric and quasi-symmetric functions via monoidal factorization
Parallelization of Perturbation Analysis: Application to Large-scale Engineering Problems
Applying computer algebra systems with SAT solvers to the Williamson conjecture
Stratification associated with local b-functions
Fast evaluation of generalized Todd polynomials: Applications to MacMahon's partition analysis and integer programming
Regular Path Expressions in Feature Logic
The Gröbner fan and Gröbner walk for modules
On ramification indices of formal solutions of constructive linear ordinary differential systems
Constructing Homomorphism Spaces and Endomorphism Rings
Automated Proof of Ring Commutativity Problems by Algebraic Methods
Computing real roots of real polynomials
Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language
The Volume Common to Two Congruent Cylinders
Boundary of Hurwitz Spaces and Explicit Patching
Computing in Permutation and Matrix Groups III: Sylow Subgroups
Field of moduli of generalized Fermat curves of type (k, 3) with an application to non-hyperelliptic dessins d'enfants
Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications
Using a bihomogeneous resultant to find the singularities of rational space curves
The Kernel of the Kodaira-Spencer Map of the Versal µ-Constant Deformation of an Irreducible Plane Curve Singularity with C^r-Action
Sparse multivariate function recovery with a small number of evaluations
Computing Global Extension Modules
Drinfeld modules with complex multiplication, Hasse invariants and factoring polynomials over finite fields
Projective and affine symmetries and equivalences of rational curves in arbitrary dimension
PolyBoRi: A framework for Gröbner-basis computations with Boolean polynomials
Bit complexity for multi-homogeneous polynomial system solving - Application to polynomial minimization
Constructing Sylvester-type resultant matrices using the Dixon formulation
Representations of Unusual Mathematical Structures in Scientific Applications of Symbolic Computation
Mathematical and computer algebra techniques in cryptology
Gröbner Bases and Hilbert Schemes. I
Persistent components in Canny's generalized characteristic polynomial
An Application of Factoring
Factors of Iterated Resultants and Discriminants
Cayley-Dixon projection operator for multi-univariate composed polynomials
The Symbolic Integration of Exact PDEs
An explicit duality for quasi-homogeneous ideals
The theory of bonds II: Closed 6R linkages with maximal genus
An extended GCRD algorithm for parametric univariate polynomial matrices and application to parametric Smith form
Elimination-based certificates for triangular equivalence and rank profiles
Functional Decomposition of Polynomials: The Wild Case
Computations in the ring of quaternionic polynomials
Orbit-stabilizer Problems and Computing Normalizers for Polycyclic Groups
Reconstruction algorithms for sums of affine powers
Constructing algebraic groups from their Lie algebras
AUTOMATE, a Computing Package for Automata and Finite Semigroups
Proofs as Schemas and Their Heuristic Use
Term Rewrite Systems for Lattice Theory
In honour of the research and influence of Joachim von zur Gathen at 60
The Calculation of Radical Ideals in Positive Characteristic
Incremental variable splitting
On the Berlekamp/Massey algorithm and counting singular Hankel matrices over a finite field
Sylvester-Habicht Sequences and Fast Cauchy Index Computation