CTcong.txt (Q42267)

From MaRDI portal

Revision as of 19:11, 17 February 2024 by Schubotz (talk | contribs) (‎Created claim: described by source (P286): Automated discovery and proof of congruence theorems for partial sums of combinatorial sequences (Q2816619), #quickstatements; #temporary_batch_1708191066209)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to:navigation, search

No description defined

Language	Label	Description	Also known as
English	CTcong.txt	No description defined

Statements

described by source

Automated discovery and proof of congruence theorems for partial sums of combinatorial sequences

0 references

Identifiers

0 references

Sitelinks

Mathematics(0 entries)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q42267&oldid=21584463"