scientific article
From MaRDI portal
Publication:3062061
zbMath1215.68208MaRDI QIDQ3062061
Publication date: 3 January 2011
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 (6)
A modular first formalisation of combinatorial design theory ⋮ Exploring the structure of an algebra text with locales ⋮ A generic and executable formalization of signature-based Gröbner basis algorithms ⋮ Verified Efficient Enumeration of Plane Graphs Modulo Isomorphism ⋮ First steps towards a formalization of forcing ⋮ Locales: a module system for mathematical theories
Uses Software
This page was built for publication:
