×

Found 230 Documents (Results 1–100)

Testing binomiality of chemical reaction networks using comprehensive Gröbner systems. (English) Zbl 1499.13076

Boulier, François (ed.) et al., Computer algebra in scientific computing. 23rd international workshop, CASC 2021, Sochi, Russia, September 13–17, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12865, 334-352 (2021).
MSC:  13P10 68W30

The fundamental theorem of tropical partial differential algebraic geometry. (English) Zbl 1477.14096

Mantzaflaris, Angelos (ed.), Proceedings of the 45th international symposium on symbolic and algebraic computation, ISSAC ’20, Kalamata, Greece, July 20–23, 2020. New York, NY: Association for Computing Machinery (ACM). 178-185 (2020).
MSC:  14T10 14T90 68W30

Formalizing the solution to the cap set problem. (English) Zbl 07649964

Harrison, John (ed.) et al., 10th international conference on interactive theorem proving, ITP 2019, September 9–12, 2019, Portland, OR, USA. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 141, Article 15, 19 p. (2019).
MSC:  68V20

The unbearable hardness of unknotting. (English) Zbl 07559249

Barequet, Gill (ed.) et al., 35th international symposium on computational geometry, SoCG 2019, Portland, Oregon, USA, June 18–21, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 129, Article 49, 19 p. (2019).
MSC:  68U05
Full Text: DOI

Lower bounds for electrical reduction on surfaces. (English) Zbl 07559225

Barequet, Gill (ed.) et al., 35th international symposium on computational geometry, SoCG 2019, Portland, Oregon, USA, June 18–21, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 129, Article 25, 16 p. (2019).
MSC:  68U05

Gröbner basis over semigroup algebras. Algorithms and applications for sparse polynomial systems. (English) Zbl 1467.13043

Bradford, Russell (ed.), Proceedings of the 44th international symposium on symbolic and algebraic computation, ISSAC ’19, Beijing, China, July 15–18, 2019. New York, NY: Association for Computing Machinery (ACM). 42-49 (2019).
MSC:  13P10 68W30

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software