scientific article; zbMATH DE number 2094624

zbMath1080.68743MaRDI QIDQ4809228

Yin-Ping Liu, Zhi-Bin Li

Publication date: 24 August 2004

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

symbolic computationautomated reasoning

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Uses Software

• Unnamed Item

This page was built for publication: