Arithmetic operations on short finite sequences

DOI10.2478/FORMA-2018-0018zbMath1422.11062OpenAlexW2917156894WikidataQ128313094 ScholiaQ128313094MaRDI QIDQ2311529

Rafał Ziobro

Publication date: 10 July 2019

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/forma-2018-0018

zbMATH Keywords

relationsfunctionsfinite sequences

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Sequences and sets (11B99)

Uses Software

• Mizar

Cites Work

• Unnamed Item
• The role of the Mizar mathematical library for interactive proof development in Mizar
• A Brief Overview of Mizar
• Mizar: State-of-the-art and Beyond

This page was built for publication: Arithmetic operations on short finite sequences