Arithmetic operations on short finite sequences

DOI10.2478/FORMA-2018-0018MaRDI QIDQ2311529zbMATH OpenOpenAlexWikidataFDO

Authors Rafał Ziobro

Publication date 10 July 2019

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported

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

zbMATH Keywords

finite sequencesfunctionsrelations

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 5241977
• Finite sums of arithmetic progressions
• ON ARITHMETIC OPERATIONS OF INTERVAL NUMBERS
• Multiplicative functions in short arithmetic progressions
• scientific article; zbMATH DE number 796292
• Sequences of low arithmetical complexity
• Short sums of certain arithmetic functions

Cites work

• A Brief Overview of Mizar
• scientific article; zbMATH DE number 1951637 (Why is no real title available?)
• Mizar: state-of-the-art and beyond
• The role of the Mizar mathematical library for interactive proof development in Mizar

Cited in

(4)

• Multiplication-related classes of complex numbers
• Concatenation of finite sequences
• scientific article; zbMATH DE number 510620 (Why is no real title available?)
• scientific article; zbMATH DE number 513255 (Why is no real title available?)

Describes a project that uses

Uses Software

• Mizar

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

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