scientific article; zbMATH DE number 7478037

zbMATH Open1483.68480MaRDI QIDQ5035533FDOQ5035533

Authors: Jingzhong Zhang, Shiping Chen 

Publication date: 22 February 2022

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

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cited In (1)

• Square-free factorization of mixed trigonometric-polynomials

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 Q5035533)