Difference of function on vector space over F

DOI10.2478/FORMA-2014-0027MaRDI QIDQ2344195zbMATH OpenOpenAlexFDO

Authors Kenichi Arai, Ken Wakabayashi, Hiroyuki Okazaki

Publication date 12 May 2015

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 3.0 Unported

Full work available at URL https://doi.org/10.2478/forma-2014-0027

zbMATH Keywords

Mizar formalizationdifference of function on vector space over \(\mathbb F\)

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Difference operators (39A70)

Recommendations

• On the functions on linear spaces
• Higher Order Derivatives and Differential Cryptanalysis
• Publication:4934708
• The differential analysis of S-functions
• Some results on the differential functions over finite fields

Cites work

• scientific article; zbMATH DE number 503238 (Why is no real title available?)
• scientific article; zbMATH DE number 708826 (Why is no real title available?)
• scientific article; zbMATH DE number 4197282 (Why is no real title available?)
• Formalization of the data encryption standard
• Higher Order Derivatives and Differential Cryptanalysis
• Semantics of MML query -- ordering

Describes a project that uses

Uses Software

• Mizar

This page was built for publication: Difference of function on vector space over \(\mathbb F\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2344195)