scientific article

From MaRDI portal

Publication:2765682

Jump to:navigation, search

zbMath0997.68129MaRDI QIDQ2765682

Áron Sinoai, Judit Robu

Publication date: 24 January 2002

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

zbMATH Keywords

Delphi characteristic set method mechanical theorem proving in geometry Gröbner base method

Mathematics Subject Classification ID

Related Items (1)

Formal Proofs for Nonlinear Optimization

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2765682&oldid=15646544"