| Publication | Date of Publication | Type |
|---|
Construction of infinitely many sign-changing solutions for the Hartree type Brezis-Nirenberg problem
Journal of Mathematical Physics | 2026-04-02 | Paper |
Periodic traveling waves of a SIR model with renewal and delay in one-dimensional lattice
International Journal of Biomathematics | 2026-03-26 | Paper |
Traveling waves for a nonlocal dispersal multi-stable system in almost periodic structures
Communications in Nonlinear Science and Numerical Simulation | 2026-01-23 | Paper |
Almost periodic traveling waves in a lattice Lotka-Volterra system
Journal of Mathematical Physics | 2026-01-20 | Paper |
Stabilization in a three-dimensional chemotaxis-Stokes system with quadratic degradation and Dirichlet boundary-value for signal
Calculus of Variations and Partial Differential Equations | 2025-10-15 | Paper |
Reliability analysis of uncertain population density equation with a migration source
Information Sciences | 2025-08-05 | Paper |
Double Probability Integral Transform Residuals for Regression Models with Discrete Outcomes
Journal of Computational and Graphical Statistics | 2025-06-24 | Paper |
Mitigating supply disruption risks: impact of product upgrading strategy
Asia-Pacific Journal of Operational Research | 2025-06-24 | Paper |
A two-grid multipoint flux mixed finite element method for nonlinear parabolic problems
Journal of Applied Analysis and Computation | 2025-03-17 | Paper |
Multiperil rate making for property insurance using longitudinal data
Journal of the Royal Statistical Society. Series A. Statistics in Society | 2025-01-22 | Paper |
A copula model for marked point process with a terminal event: an application in dynamic prediction of insurance claims
The Annals of Applied Statistics | 2025-01-17 | Paper |
Diagnostics for regression models with semicontinuous outcomes
Biometrics | 2024-10-28 | Paper |
Nonparametric Copula Estimation for Mixed Insurance Claim Data
Journal of Business and Economic Statistics | 2024-10-17 | Paper |
| Multiple SLEs and Dyson Brownian motion: transition density and Green's function | 2023-11-12 | Paper |
Two‐part D‐vine copula models for longitudinal insurance claim data
Scandinavian Journal of Statistics | 2023-04-13 | Paper |
Incompressible limit of isentropic magnetohydrodynamic equations with ill-prepared data in bounded domains
Journal of Mathematical Physics | 2023-04-04 | Paper |
Random attractor for stochastic non-autonomous Berger equation with critical exponent
Journal of Mathematical Physics | 2023-03-23 | Paper |
On multiplicities of eigenvalues of a spectral problem on a prolate tree
Operators and Matrices | 2023-03-17 | Paper |
Uniform attractors for nonautonomous 2D MHD equations with partial dissipation
Journal of Mathematical Physics | 2023-03-17 | Paper |
Asymptotic behavior of small-data solutions to a Keller-Segel-Navier-Stokes system with indirect signal production
Czechoslovak Mathematical Journal | 2023-02-21 | Paper |
Integral matching-based nonlinear grey Bernoulli model for forecasting the coal consumption in China
Soft Computing | 2022-11-21 | Paper |
Global classical solutions in a self-consistent chemotaxis-fluid system with gradient-dependent flux limitation
Journal of Mathematical Analysis and Applications | 2022-11-14 | Paper |
Mechanical decision for a class of integral inequalities
Science China Information Sciences | 2022-10-28 | Paper |
Uncertain seepage equation in fissured porous media
Fuzzy Optimization and Decision Making | 2022-09-14 | Paper |
| Dynamics of a non-autonomous stochastic weakly damped plate model with critical exponent | 2022-08-30 | Paper |
Traveling waves in a SIRH model with spatio-temporal delay and nonlocal dispersal
Acta Mathematica Scientia. Series B. (English Edition) | 2022-07-20 | Paper |
Robust stochastic Stackelberg differential reinsurance and investment games for an insurer and a reinsurer with delay
Methodology and Computing in Applied Probability | 2022-06-03 | Paper |
Incompressible limit of isentropic Navier-Stokes equations with ill-prepared data in bounded domains
SIAM Journal on Mathematical Analysis | 2022-05-23 | Paper |
Assessment of Regression Models With Discrete Outcomes Using Quasi-Empirical Residual Distribution Functions
Journal of Computational and Graphical Statistics | 2022-03-29 | Paper |
Heuristics to sift extraneous factors in Dixon resultants
Journal of Symbolic Computation | 2022-03-21 | Paper |
Dynamics for a plate equation with nonlinear damping on time-dependent space
Asymptotic Analysis | 2022-03-14 | Paper |
On unified framework for nonlinear grey system models: an integro-differential equation perspective
Communications in Nonlinear Science and Numerical Simulation | 2022-02-16 | Paper |
Global solutions to a two-species chemotaxis system with singular sensitivity and logistic source
Journal of Inequalities and Applications | 2022-01-19 | Paper |
Non-autonomous weakly damped plate model on time-dependent domains
Discrete and Continuous Dynamical Systems. Series S | 2022-01-03 | Paper |
Upper semi-continuity of random attractors and existence of invariant measures for nonlocal stochastic Swift-Hohenberg equation with multiplicative noise
Journal of Mathematical Physics | 2021-12-09 | Paper |
| Robust optimal control for derivative-based investment under the Heston model | 2021-09-29 | Paper |
A sufficient condition for counterexamples to the Nelson-Seiberg theorem
Journal of High Energy Physics | 2021-09-03 | Paper |
The number of tetrahedra sharing the same metric invariants via symbolic and numerical computations
Journal of Symbolic Computation | 2021-08-05 | Paper |
| Forgetting iterative learning control of air pressure simulation system based on multi-step k nearest neighbor initial value optimization | 2021-07-01 | Paper |
Direct and inverse spectral problems for a star graph of Stieltjes strings damped at a pendant vertex
Inverse Problems and Imaging | 2021-06-30 | Paper |
Forecasting confirmed cases of the COVID-19 pandemic with a migration-based epidemiological model
Statistics and Its Interface | 2021-05-03 | Paper |
Structure properties of collaboration network with tunable clustering
Information Sciences | 2021-03-16 | Paper |
A counterexample to the Nelson-Seiberg theorem
Journal of High Energy Physics | 2021-03-14 | Paper |
A trajectory planning and tracking control approach for obstacle avoidance of wheeled inverted pendulum vehicles
International Journal of Control | 2020-11-16 | Paper |
Nonparametric estimation of copula regression models with discrete outcomes
Journal of the American Statistical Association | 2020-10-28 | Paper |
Understanding cumulative sum operator in grey prediction model with integral matching
Communications in Nonlinear Science and Numerical Simulation | 2020-10-23 | Paper |
On the number of congruent classes of the tetrahedra determined by given volume, circumradius and face areas
Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation | 2020-09-10 | Paper |
| Positive solutions for a nonlinear system of fourth-order ordinary differential equations | 2020-09-07 | Paper |
Inverse problem for a Stieltjes string damped at an interior point
Integral Equations and Operator Theory | 2020-08-12 | Paper |
| scientific article; zbMATH DE number 7215103 (Why is no real title available?) | 2020-06-25 | Paper |
Inverse eigenvalue problems for a damped Stieltjes string with mixed data
Linear Algebra and its Applications | 2020-06-02 | Paper |
Recurrent solutions of a nonautonomous modified Swift-Hohenberg equation
Applied Mathematics and Computation | 2020-05-14 | Paper |
Attractors with higher-order regularity of stochastic reaction–diffusion equations on time-varying domains
Stochastics and Dynamics | 2020-04-01 | Paper |
Automated hazard escaping trajectory planning/tracking control framework for vehicles subject to tire blowout on expressway
Nonlinear Dynamics | 2020-02-18 | Paper |
Incompressible limit of non-isentropic compressible magnetohydrodynamic equations with zero magnetic diffusivity in bounded domains
Nonlinear Analysis. Real World Applications | 2019-12-27 | Paper |
| scientific article; zbMATH DE number 7115570 (Why is no real title available?) | 2019-10-10 | Paper |
A practical symbolic algorithm for the inverse kinematics of 6R manipulators with simple geometry
Automated Deduction—CADE-14 | 2019-10-01 | Paper |
| Attractor for the non-autonomous classical reaction diffusion equations with fading memory | 2019-09-20 | Paper |
Index reduction of differential algebraic equations by differential Dixon resultant
Applied Mathematics and Computation | 2019-07-10 | Paper |
Stochastic semi-linear degenerate parabolic model with multiplicative noise and deterministic non-autonomous forcing
Stochastic Analysis and Applications | 2019-05-14 | Paper |
Pullback attractors for 2D Navier-Stokes equations on time-varying domains
Nonlinear Analysis. Real World Applications | 2019-02-27 | Paper |
| Stochastic differential game for linear Markov switching system with Poisson jumps and its application to financial market | 2019-02-22 | Paper |
Pair copula constructions for insurance experience rating
Journal of the American Statistical Association | 2018-10-23 | Paper |
On Degrees of Freedom Region of Three-User MIMO Interference Channels
IEEE Transactions on Signal Processing | 2018-08-22 | Paper |
Analysis of Orthogonality Error Propagation for FRANS and HFRANS Algorithms
IEEE Transactions on Signal Processing | 2018-06-27 | Paper |
| scientific article; zbMATH DE number 6817488 (Why is no real title available?) | 2017-12-12 | Paper |
Long-time behavior of stochastic reaction-diffusion equation with dynamical boundary condition
Discrete and Continuous Dynamical Systems. Series B | 2017-06-07 | Paper |
Elasto-plastic bearing capacity of four types of single-layer reticulated shell structures under fire hazards
International Journal of Structural Stability and Dynamics | 2017-04-07 | Paper |
| Automated inequality proving and discovering | 2016-07-12 | Paper |
| Blow-up criteria of solutions for a class of modified 2-component Dullin-Gottwald-Holm systems | 2016-01-15 | Paper |
An open problem on metric invariants of tetrahedra
Proceedings of the 2005 international symposium on Symbolic and algebraic computation | 2015-07-16 | Paper |
Asymptotic regularity for p-Laplacian equation
Journal of Mathematical Physics | 2015-05-06 | Paper |
| A text classification method based on item word intersection and manifold learning | 2015-02-11 | Paper |
Quantifier elimination for a class of exponential polynomial formulas
Journal of Symbolic Computation | 2014-12-09 | Paper |
On semilinear biharmonic equations with concave-convex nonlinearities involving weight functions
Boundary Value Problems | 2014-12-02 | Paper |
Uniform attractors for non-autonomous suspension bridge-type equations
Boundary Value Problems | 2014-11-19 | Paper |
On uniform attractors for non-autonomous \(p\)-Laplacian equation with dynamic boundary condition
Topological Methods in Nonlinear Analysis | 2014-03-19 | Paper |
| Robust stability analysis of a class of stochastic fuzzy neural networks | 2014-02-28 | Paper |
Solving spatial constraints with generalized distance geometry
Distance Geometry | 2013-07-29 | Paper |
Recent advances in program verification through computer algebra
Frontiers of Computer Science in China | 2013-07-04 | Paper |
| On grid task scheduling based on a modified genetic algorithm | 2013-06-20 | Paper |
| On the non-singularity of left ZGP-V\('\)-rings. | 2013-06-20 | Paper |
Real polynomial iterative roots in the case of nonmonotonicity height 2
Science China. Mathematics | 2013-01-28 | Paper |
Pullback attractors for non-autonomous quasi-linear parabolic equations with dynamical boundary conditions
Discrete and Continuous Dynamical Systems. Series B | 2012-10-29 | Paper |
Differential elimination with Dixon resultants
Applied Mathematics and Computation | 2012-09-13 | Paper |
Discussion on polynomials having polynomial iterative roots
Journal of Symbolic Computation | 2012-07-04 | Paper |
Computing cylindrical algebraic decomposition via triangular decomposition
Proceedings of the 2009 international symposium on Symbolic and algebraic computation | 2012-05-13 | Paper |
| Study of limit cycles for some non-smooth Liénard systems | 2012-01-27 | Paper |
| A modeling and classification method of ultrasonic signals based on empirical mode decomposition and neural network | 2012-01-13 | Paper |
Asymptotic behavior for a semilinear second order evolution equation
Transactions of the American Mathematical Society | 2011-12-07 | Paper |
Long-time behavior of reaction-diffusion equations with dynamical boundary condition
Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods | 2011-06-14 | Paper |
Symbolic decision procedure for termination of linear programs
Formal Aspects of Computing | 2011-05-27 | Paper |
Attractors of the non-autonomous reaction-diffusion equation with nonlinear boundary condition
Nonlinear Analysis. Real World Applications | 2010-10-14 | Paper |
| Difference substitution matrices and decision on nonnegativity of polynomials | 2010-07-08 | Paper |
Attractors for the nonclassical diffusion equations with fading memory
Journal of Mathematical Analysis and Applications | 2009-12-09 | Paper |
Automated Deduction in Geometry
Lecture Notes in Computer Science | 2009-06-04 | Paper |
Quantifier Elimination for Quartics
Artificial Intelligence and Symbolic Computation | 2009-01-15 | Paper |
Uniform attractor for non-autonomous hyperbolic equation with critical exponent
Applied Mathematics and Computation | 2009-01-14 | Paper |
Global attractor for plate equation with nonlinear damping
Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods | 2009-01-14 | Paper |
Generating Polynomial Invariants with DISCOVERER and QEPCAD
Formal Methods and Hybrid Real-Time Systems | 2008-09-25 | Paper |
Harnessing rCOS for Tool Support —The CoCoME Experience
Formal Methods and Hybrid Real-Time Systems | 2008-09-25 | Paper |
Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems
Theoretical Aspects of Computing – ICTAC 2007 | 2008-09-17 | Paper |
Investigation on gradient-dependent nonlocal constitutive models for elasto-plasticity coupled with damage
Applied Mathematics and Mechanics. (English Edition) | 2008-09-01 | Paper |
GETTING AWAY FROM NUMBERS: USING QUALITATIVE OBSERVATION FOR AGENT-BASED MODELING
Advances in Complex Systems | 2008-08-26 | Paper |
A perturbation method for numerical differentiation
Applied Mathematics and Computation | 2008-05-16 | Paper |
Constructing a Tetrahedron with Prescribed Heights and Widths
Automated Deduction in Geometry | 2008-04-01 | Paper |
A class of mechanically decidable problems beyond Tarski's model
Science in China. Series A | 2008-03-11 | Paper |
| The complexity of the minimum k-cover problem | 2008-03-06 | Paper |
Uniform attractor for non-autonomous plate equation with a localized damping and a critical nonlinearity
Journal of Mathematical Analysis and Applications | 2008-03-05 | Paper |
Solution to the generalized champagne problem on simultaneous stabilization of linear systems
Science in China. Series F | 2007-12-06 | Paper |
A complete algorithm for automated discovering of a class of inequality-type theorems
Science in China. Series F | 2007-02-20 | Paper |
SOLVING SPATIAL CONSTRAINTS WITH GLOBAL DISTANCE COORDINATE SYSTEM
International Journal of Computational Geometry & Applications | 2007-02-09 | Paper |
Automated Deduction in Geometry
Lecture Notes in Computer Science | 2006-10-20 | Paper |
| scientific article; zbMATH DE number 2247478 (Why is no real title available?) | 2006-01-16 | Paper |
A new result on the \(p\)-irreducibility of binding polynomials
Computers & Mathematics with Applications | 2005-04-07 | Paper |
| scientific article; zbMATH DE number 2091944 (Why is no real title available?) | 2004-08-16 | Paper |
Shift visual cryptography scheme of two secret images.
Progress in Natural Science | 2004-01-25 | Paper |
On number of circles intersected by a line
Journal of Combinatorial Theory. Series A | 2003-11-25 | Paper |
| scientific article; zbMATH DE number 1795756 (Why is no real title available?) | 2003-04-27 | Paper |
| scientific article; zbMATH DE number 1874382 (Why is no real title available?) | 2003-04-06 | Paper |
An algorithm for isolating the real solutions of semi-algebraic systems
Journal of Symbolic Computation | 2003-03-23 | Paper |
| scientific article; zbMATH DE number 1860738 (Why is no real title available?) | 2003-01-28 | Paper |
On Alexander's relative geometric inequality
Chinese Quarterly Journal of Mathematics | 2003-01-13 | Paper |
On geometric inequalities involving the vertex angles of two simplexes and their applications
Journal of Hebei Normal University. Natural Science Edition | 2002-12-02 | Paper |
| scientific article; zbMATH DE number 1745034 (Why is no real title available?) | 2002-05-23 | Paper |
A recursive algorithm for constructing generalized Sturm sequence
Science in China. Series E | 2002-05-08 | Paper |
| Equi-Cevaline points of triangles | 2002-03-27 | Paper |
``Russian killer'' No. 2: a challenging geometric theorem with human and machine proofs.
The Mathematical Intelligencer | 2001-11-18 | Paper |
| scientific article; zbMATH DE number 1263399 (Why is no real title available?) | 2001-07-16 | Paper |
Recent advances on determining the number of real roots of parametric polynomials
Journal of Symbolic Computation | 2001-03-11 | Paper |
| scientific article; zbMATH DE number 1465122 (Why is no real title available?) | 2000-06-26 | Paper |
| scientific article; zbMATH DE number 1421053 (Why is no real title available?) | 2000-03-22 | Paper |
Recent advances in automated theorem proving on inequalities
Journal of Computer Science and Technology | 2000-02-24 | Paper |
| A computer-aided geometric approach to inverse kinematics | 2000-02-14 | Paper |
| scientific article; zbMATH DE number 1189075 (Why is no real title available?) | 1999-04-19 | Paper |
| scientific article; zbMATH DE number 895367 (Why is no real title available?) | 1998-01-25 | Paper |
| scientific article; zbMATH DE number 895366 (Why is no real title available?) | 1998-01-18 | Paper |
A complete discrimination system for polynomials
Science in China. Series E | 1997-03-06 | Paper |
| scientific article; zbMATH DE number 850969 (Why is no real title available?) | 1996-05-28 | Paper |
| scientific article; zbMATH DE number 847114 (Why is no real title available?) | 1996-02-25 | Paper |
| scientific article; zbMATH DE number 800143 (Why is no real title available?) | 1995-09-25 | Paper |
A criterion for dependency of algebraic equations with applications to automated theorem proving
Science in China. Series A | 1995-07-03 | Paper |
| scientific article; zbMATH DE number 713445 (Why is no real title available?) | 1995-05-02 | Paper |
| scientific article; zbMATH DE number 622670 (Why is no real title available?) | 1995-03-05 | Paper |
The realization of elementary configurations in Euclidean space
Science in China. Series A | 1995-01-17 | Paper |
A note on Wu's non-degenerate condition
Chinese Science Bulletin | 1993-08-17 | Paper |
| scientific article; zbMATH DE number 169536 (Why is no real title available?) | 1993-05-16 | Paper |
| scientific article; zbMATH DE number 95106 (Why is no real title available?) | 1993-01-16 | Paper |
| scientific article; zbMATH DE number 95107 (Why is no real title available?) | 1993-01-16 | Paper |
The criterion algorithm of relation of implication between periodic orbits. I
Applied Mathematics and Mechanics. (English Edition) | 1992-06-26 | Paper |
What can we do with only a pair of rusty compasses?
Geometriae Dedicata | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4143100 (Why is no real title available?) | 1990-01-01 | Paper |
The parallel numerical method of mechanical theorem proving
Theoretical Computer Science | 1990-01-01 | Paper |
Average distance constants for polygons in spaces with non-positive curvature
Bulletin of the Australian Mathematical Society | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4058904 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4015694 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4054584 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4022038 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4034716 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3933916 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4062053 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4044790 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4134928 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3947194 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3938101 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3897702 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 4007587 (Why is no real title available?) | 1985-01-01 | Paper |
Metric spaces which cannot be isometrically embedded in Hilbert space
Bulletin of the Australian Mathematical Society | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3840529 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3838826 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3832764 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3822566 (Why is no real title available?) | 1983-01-01 | Paper |
A generalisation to several dimensions of the Neuberg-Pedoe inequality, with applications
Bulletin of the Australian Mathematical Society | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3776524 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3827090 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3772453 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3798573 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3822567 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3826644 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3759044 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3714486 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3838814 (Why is no real title available?) | 1980-01-01 | Paper |
