| Publication | Date of Publication | Type |
|---|
Traffic wave transition for a new macro traffic model considering the second-order density change rate
Chinese Journal of Physics (Taipei) | 2026-04-29 | Paper |
A tropical approach to rigidity: counting realisations of frameworks
Journal of the London Mathematical Society. Second Series | 2026-03-05 | Paper |
Leader-following scaled consensus of multi-agent systems based on nonlinear parabolic PDEs via dynamic event-triggered boundary control
Information Sciences | 2025-09-03 | Paper |
Nonlinear study for a new controlled lattice hydrodynamic model with different density information collaboration mechanisms
Physica A | 2025-08-19 | Paper |
Generic root counts and flatness in tropical geometry
Journal of the London Mathematical Society. Second Series | 2025-06-17 | Paper |
Fixed-time bipartite synchronization of stochastic multiplex signed networks via quantized generalized intermittent control
Mathematical Methods in the Applied Sciences | 2025-05-14 | Paper |
Synchronization of quaternion-valued multi-layer coupled networks: an adaptive activation-time-based event-triggered scheme
Information Sciences | 2025-04-29 | Paper |
Synchronization of complex-valued multi-layer coupled systems by asynchronous intermittent event-triggered mechanisms
Applied Mathematics and Computation | 2025-04-23 | Paper |
Pinning impulsive control for quasi-projective synchronization of stochastic multi-layer networks
Information Sciences | 2025-04-03 | Paper |
| A framework for generalized tropical homotopy continuation | 2024-11-13 | Paper |
| Generic root counts of tropically transverse systems -- An invitation to tropical geometry in OSCAR | 2023-11-29 | Paper |
Massively parallel computation of tropical varieties, their positive part, and tropical Grassmannians
Journal of Symbolic Computation | 2023-08-10 | Paper |
| Hands-on Tropical Geometry | 2023-04-20 | Paper |
| Generic root counts and flatness in tropical geometry | 2022-06-15 | Paper |
Sharp bounds for the number of regions of maxout networks and vertices of Minkowski sums
(available as arXiv preprint) | 2021-04-16 | Paper |
Computing tropical varieties over fields with valuation
Foundations of Computational Mathematics | 2020-09-07 | Paper |
Computing GIT-fans with symmetry and the Mori chamber decomposition of \(\overline{M}_{0,6}\)
Mathematics of Computation | 2020-08-27 | Paper |
Computing zero-dimensional tropical varieties via projections
(available as arXiv preprint) | 2019-08-09 | Paper |
Computing tropical points and tropical links
Discrete & Computational Geometry | 2018-10-30 | Paper |
Computing tropical varieties using Newton's polygon method
ACM Communications in Computer Algebra | 2018-08-03 | Paper |
| The polymake interface in Singular and its applications | 2018-02-23 | Paper |
Computing tropical varieties over fields with valuation using classical standard basis techniques
ACM Communications in Computer Algebra | 2017-06-22 | Paper |
Gröbner fans of \(x\)-homogeneous ideals in \(R [\![ t ]\!][x]\)
Journal of Symbolic Computation | 2017-06-01 | Paper |
Standard bases in mixed power series and polynomial rings over rings
Journal of Symbolic Computation | 2016-10-13 | Paper |
The software portal swMATH: a state of the art report and next steps
Mathematical Software – ICMS 2016 | 2016-09-28 | Paper |
Current challenges in developing open source computer algebra systems
Mathematical Aspects of Computer and Information Sciences | 2016-05-25 | Paper |
Mora's holy graal: algorithms for computing in localizations at prime ideals
International Journal of Algebra and Computation | 2016-01-25 | Paper |
Strongly symmetric smooth toric varieties
Kyoto Journal of Mathematics | 2012-09-12 | Paper |
Strongly symmetric smooth toric varieties
Kyoto Journal of Mathematics | 2012-09-12 | Paper |
