Found 5 Documents (Results 1–5)
Analyzing the dual space of the saturated ideal of a regular set and the local multiplicities of its zeros. (English) Zbl 1537.13048
Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition. (English) Zbl 1514.68324
Boulier, François (ed.) et al., Computer algebra in scientific computing. 24th international workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13366, 124-142 (2022).
Exploiting variable sparsity in computing equilibria of biological dynamical systems by triangular decomposition. (English) Zbl 1480.92088
Martín-Vide, Carlos (ed.) et al., Algorithms for computational biology. 8th international conference, AlCoB 2021, Missoula, MT, USA, June 7–11, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12715, 29-41 (2021).
On the chordality of simple decomposition in top-down style. (English) Zbl 1541.13028
Slamanig, Daniel (ed.) et al., Mathematical aspects of computer and information sciences. 8th international conference, MACIS 2019, Gebze, Turkey, November 13–15, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11989, 138-152 (2020).
Filter Results by …
Document Type
- Journal Articles (2)
- Collection Articles (3)
all
top 5
Author
- Mou, Chenqi (3)
- Dong, Mingyu (1)
- Ju, Wenwen (1)
- Lai, Jiahua (1)
- Li, Haokun (1)
- Li, Xiaoliang (1)
- Niu, Wei (1)
- Xia, Bican (1)
- Zhang, Huiying (1)
- Zheng, Tao (1)
Serial
all
top 3
Software
- Chordal (2)
- ApaTools (1)
- DISCOVERER (1)
- DifferentialThomas (1)
- Epsilon (1)
- QEPCAD (1)
- RegularChains (1)
- SINGULAR (1)
- Wsolve (1)