scientific article; zbMATH DE number 7478066

zbMATH Open1479.13035MaRDI QIDQ5035573FDOQ5035573

Yong Feng, Wei Yu

Publication date: 22 February 2022

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Solving polynomial systems; resultants (13P15)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5035573)