scientific article; zbMATH DE number 1263333
From MaRDI portal
Publication:4234211
zbMath0964.68538MaRDI QIDQ4234211
Publication date: 16 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
Challenging theorem provers with Mathematical Olympiad problems in solid geometry ⋮ Automated production of traditional proofs in solid geometry
This page was built for publication: