Dingkang Wang

J. Syst. Sci. Complex., June, 2024

Design of an Adaptive Lightweight LiDAR to Decouple Robot-Camera Geometry.

[BibT_eX]

[DOI]

IEEE Trans. Robotics, 2024

On the equivalence problem of Smith forms for multivariate polynomial matrices.

[BibT_eX]

[DOI]

CoRR, 2024

Two Algorithms for Computing Rational Univariate Representations of Zero-Dimensional Ideals with Parameters.

[BibT_eX]

[DOI]

CoRR, 2024

Animated Stickers: Bringing Stickers to Life with Video Diffusion.

[BibT_eX]

[DOI]

CoRR, 2024

An Algorithm for Computing Greatest Common Right Divisors of Parametric Ore Polynomials.

[BibT_eX]

[DOI]

Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation, 2024

2023

Equivalence and reduction of bivariate polynomial matrices to their Smith forms.

[BibT_eX]

[DOI]

J. Symb. Comput., September, 2023

On General Factorization Problems of n-D Polynomial Matrices.

[BibT_eX]

[DOI]

IEEE Trans. Circuits Syst. II Express Briefs, March, 2023

New Results on the Equivalence of Bivariate Polynomial Matrices.

[BibT_eX]

[DOI]

J. Syst. Sci. Complex., February, 2023

An extended GCRD algorithm for parametric univariate polynomial matrices and application to parametric Smith form.

[BibT_eX]

[DOI]

J. Symb. Comput., 2023

New remarks on the factorization and equivalence problems for a class of multivariate polynomial matrices.

[BibT_eX]

[DOI]

J. Symb. Comput., 2023

A New Framework for Fast Homomorphic Matrix Multiplication.

[BibT_eX]

[DOI]

Xiaopeng Zheng

Hongbo Li

IACR Cryptol. ePrint Arch., 2023

2022

Solving Multivariate Polynomial Matrix Diophantine Equations with Gröbner Basis Method.

[BibT_eX]

[DOI]

J. Syst. Sci. Complex., 2022

Rational Univariate Representation of Zero-Dimensional Ideals with Parameters.

[BibT_eX]

[DOI]

Proceedings of the ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4, 2022

A Property of Modules Over a Polynomial Ring With an Application in Multivariate Polynomial Matrix Factorizations.

[BibT_eX]

[DOI]

Proceedings of the ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4, 2022

2021

On factor left prime factorization problems for multivariate polynomial matrices.

[BibT_eX]

[DOI]

Multidimens. Syst. Signal Process., 2021

Algorithms for computing greatest common divisors of parametric multivariate polynomials.

[BibT_eX]

[DOI]

J. Symb. Comput., 2021

An Improvement of the Rational Representation for High-Dimensional Systems.

[BibT_eX]

[DOI]

J. Syst. Sci. Complex., 2021

Graph Coarsening with Neural Networks.

[BibT_eX]

[DOI]

Chen Cai

Mohanasankar Sivaprakasam

Proceedings of the 9th International Conference on Learning Representations, 2021

2020

Semantic segmentation of microscopic neuroanatomical data by combining topological priors with encoder-decoder deep networks.

[BibT_eX]

[DOI]

Z. Josh Huang

Partha P. Mitra

Nat. Mach. Intell., 2020

Factorizations for a class of multivariate polynomial matrices.

[BibT_eX]

[DOI]

Multidimens. Syst. Signal Process., 2020

Hilbert Problem 15 and Ritt-Wu Method (II).

[BibT_eX]

[DOI]

Banghe Li

J. Syst. Sci. Complex., 2020

On the Construction of Involutory MDS Matrices over \(\mathbb{F}_{2^{m}}\).

[BibT_eX]

[DOI]

Jian Bai

J. Syst. Sci. Complex., 2020

An Improved Cost Function for Hierarchical Cluster Trees.

[BibT_eX]

[DOI]

J. Comput. Geom., 2020

Adaptive fovea for scanning depth sensors.

[BibT_eX]

[DOI]

Zaid Tasneem

Charuvahan Adhivarahan

Int. J. Robotics Res., 2020

Ordinally Consensus Subset over Multiple Metrics.

[BibT_eX]

[DOI]

CoRR, 2020

Detection and skeletonization of single neurons and tracer injections using topological methods.

[BibT_eX]

[DOI]

CoRR, 2020

An extended GCD algorithm for parametric univariate polynomials and application to parametric smith normal form.

[BibT_eX]

[DOI]

Hesong Wang

Proceedings of the ISSAC '20: International Symposium on Symbolic and Algebraic Computation, 2020

Further results on the factorization and equivalence for multivariate polynomial matrices.

[BibT_eX]

[DOI]

Proceedings of the ISSAC '20: International Symposium on Symbolic and Algebraic Computation, 2020

2019

A Survey on Algorithms for Computing Comprehensive Gröbner Systems and Comprehensive Gröbner Bases.

[BibT_eX]

[DOI]

J. Syst. Sci. Complex., 2019

Speeding Up the GVW Algorithm via a Substituting Method.

[BibT_eX]

[DOI]

J. Syst. Sci. Complex., 2019

Applying Horner's Rule to Optimize Lightweight MDS Matrices.

[BibT_eX]

[DOI]

Int. J. Digit. Crime Forensics, 2019

2018

A New Algorithm for Computing the Extended Hensel Construction of Multivariate Polynomials.

[BibT_eX]

[DOI]

J. Syst. Sci. Complex., 2018

The lightest 4 × 4 MDS matrices over GL(4, 𝔽<sub>2</sub>).

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2018

Directionally Controlled Time-of-Flight Ranging for Mobile Sensing Platforms.

[BibT_eX]

[DOI]

Proceedings of the Robotics: Science and Systems XIV, 2018

An Integrated Forward-View 2-Axis Mems Scanner for Compact 3D Lidar.

[BibT_eX]

[DOI]

Stephan Strassle Rojas

Proceedings of the 13th IEEE Annual International Conference on Nano/Micro Engineered and Molecular Systems, 2018

Extending the GVW Algorithm to Local Ring.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, 2018

An Efficient Algorithm for Computing Parametric Multivariate Polynomial GCD.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, 2018

2017

Preimage Attacks on the Round-reduced Keccak with Cross-linear Structures.

[BibT_eX]

[DOI]

IACR Trans. Symmetric Cryptol., 2017

Automated Reducible Geometric Theorem Proving and Discovery by Gröbner Basis Method.

[BibT_eX]

[DOI]

Jie Zhou

J. Autom. Reason., 2017

Metric embeddings with outliers.

[BibT_eX]

[DOI]

Anastasios Sidiropoulos

Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, 2017

A New Algorithm for General Factorizations of Multivariate Polynomial Matrices.

[BibT_eX]

[DOI]

Xiaodong Ma

Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, 2017

On Checking Linear Dependence of Parametric Vectors.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computing Theories and Application, 2017

2016

Solving the perspective-three-point problem using comprehensive Gröbner systems.

[BibT_eX]

[DOI]

Jie Zhou

J. Syst. Sci. Complex., 2016

On implementing the symbolic preprocessing function over Boolean polynomial rings in Gröbner basis algorithms using linear algebra.

[BibT_eX]

[DOI]

J. Syst. Sci. Complex., 2016

A New Class of Differentially 4-uniform Permutations from the Inverse Function.

[BibT_eX]

[DOI]

Jian Bai

IACR Cryptol. ePrint Arch., 2016

The Lightest 4x4 MDS Matrices over GL(4, 픽<sub>2</sub>).

[BibT_eX]

[DOI]

Jian Bai

IACR Cryptol. ePrint Arch., 2016

An improvement over the GVW algorithm for inhomogeneous polynomial systems.

[BibT_eX]

[DOI]

Finite Fields Their Appl., 2016

Developing a passive DC current sensor.

[BibT_eX]

[DOI]

Huan Liu

Dong F. Wang

Proceedings of the 2016 IEEE SENSORS, Orlando, FL, USA, October 30 - November 3, 2016, 2016

2015

On implementing signature-based Gröbner basis algorithms using linear algebraic routines from M4RI.

[BibT_eX]

[DOI]

Dongdai Lin

ACM Commun. Comput. Algebra, 2015

2014

A Monomial-Oriented GVW for Computing Gröbner Bases.

[BibT_eX]

[DOI]

CoRR, 2014

An Improvement over the GVW Algorithm for Inhomogeneous Polynomial Systems.

[BibT_eX]

[DOI]

Dongdai Lin

CoRR, 2014

A Method to Determine if Two Parametric Polynomial Systems Are Equal.

[BibT_eX]

[DOI]

Jie Zhou

Proceedings of the Mathematical Software - ICMS 2014, 2014

2013

An efficient method for computing comprehensive Gröbner bases.

[BibT_eX]

[DOI]

J. Symb. Comput., 2013

An efficient algorithm for computing a comprehensive Gröbner system of a parametric polynomial system.

[BibT_eX]

[DOI]

J. Symb. Comput., 2013

2012

Foreword to the Special Focus on Mathematics and Algorithms for CAM and CNC.

[BibT_eX]

[DOI]

Hongbo Li

Rida T. Farouki

Math. Comput. Sci., 2012

A signature-based algorithm for computing Gröbner bases in solvable polynomial algebras.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2012

2011

The F5 algorithm in Buchberger's style.

[BibT_eX]

[DOI]

J. Syst. Sci. Complex., 2011

Solving Detachability Problem for the Polynomial Ring by Signature-based Groebner Basis Algorithms

[BibT_eX]

[DOI]

CoRR, 2011

A Generalized Criterion for Signature-based Algorithms to Compute Gröbner Bases

[BibT_eX]

[DOI]

CoRR, 2011

Curve fitting and optimal interpolation on CNC machines based on quadratic B-splines.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2011

A generalized criterion for signature related Gröbner basis algorithms.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2011

Computing comprehensive Gröbner systems and comprehensive Gröbner bases simultaneously.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2011

2010

On Computing Groebner Basis in the Rings of Differential Operators

[BibT_eX]

[DOI]

Xiaodong Ma

CoRR, 2010

A New Proof of the F5 Algorithm

[BibT_eX]

[DOI]

CoRR, 2010

A new algorithm for computing comprehensive Gröbner systems.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2010

2009

An Efficient Algorithm for Factoring Polynomials over Algebraic Extension Field

[BibT_eX]

[DOI]

CoRR, 2009

The Implementation and Complexity Analysis of the Branch Gröbner Bases Algorithm Over Boolean Polynomial Rings.

[BibT_eX]

[DOI]

Proceedings of the Computer Mathematics, 2009

2008

A Simulation Model for Doppler Ultrasound Signals from Pulsatile Blood Flow in Stenosed Vessels.

[BibT_eX]

[DOI]

Proceedings of the 2008 International Conference on BioMedical Engineering and Informatics, 2008

2007

An Algorithm for Transforming Regular Chain into Normal Chain.

[BibT_eX]

[DOI]

Banghe Li