Zobrazeno 1 - 1
of 1
pro vyhledávání: '"kombinatorična preslikava"'
Autor:
Golob, Gašper
Za namene formalizacije ravninskih grafov v dokazovalniku Lean uvedemo matematični pojem kombinatoričnih preslikav in zanj predstavimo karakterizacijo ravninskih grafov, za katero dokažemo tudi smiselnost. Pojem kombinatoričnih preslikav v dokazo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3505::1fbbddc7c5df78432e2d8821fc707371
https://hdl.handle.net/20.500.12556/RUL-140309
https://hdl.handle.net/20.500.12556/RUL-140309
