Cultural advice

The Australian National University acknowledges, celebrates and pays our respects to the Ngunnawal and Ngambri people of the Canberra region and to all First Nations Australians on whose traditional lands we meet and work, and whose cultures are among the oldest continuing cultures in human history.

Aboriginal and Torres Strait Islander peoples are advised that ANU Library collections may include images, names, voices, and other representations of deceased persons.

Material in the collection may contain terms, language or views that reflect the period in which the item was created and may be considered inappropriate today.

Proof pearl: Bounding least common multiples with triangles

Simple item page
dc.contributor.authorChan, Hing Lun
dc.contributor.authorNorrish, Michael
dc.contributor.editorMerz, Blanchette J. C.
dc.coverage.spatialNancy France
dc.date.accessioned2024-05-16T01:26:57Z
dc.date.createdAugust 22-25 2016
dc.date.issued2016
dc.date.updated2023-01-15T07:17:35Z
dc.description.abstractWe present a proof of the fact that 2n ≤ lcm{1, 2, 3, …, (n+1)}. This result has a standard proof via an integral, but our proof is purely number theoretic, requiring little more than list inductions. The proof is based on manipulations of a variant of Leibniz’s Harmonic Triangle, itself a relative of Pascal’s better-known Triangle.en_AU
dc.format.mimetypeapplication/pdfen_AU
dc.identifier.isbn9783319431437en_AU
dc.identifier.urihttp://hdl.handle.net/1885/317544
dc.language.isoen_AUen_AU
dc.publisherSpringer International Publishing Switzerlanden_AU
dc.relation.ispartofseriesInternational Conference on Interactive Theorem Proving, ITP 2016en_AU
dc.rights© Springer International Publishing Switzerland 2016en_AU
dc.sourceLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)en_AU
dc.source.urihttp://itp2016.inria.fr/more/call-for-papers/en_AU
dc.titleProof pearl: Bounding least common multiples with trianglesen_AU
dc.typeConference paperen_AU
local.bibliographicCitation.lastpage150en_AU
local.bibliographicCitation.startpage140en_AU
local.contributor.affiliationCHAN, Hing Lun, College of Engineering, Computing and Cybernetics, ANUen_AU
local.contributor.affiliationNorrish, Michael, College of Engineering, Computing and Cybernetics, ANUen_AU
local.contributor.authoruidCHAN, Hing Lun, u4988135en_AU
local.contributor.authoruidNorrish, Michael, u4087502en_AU
local.description.embargo2099-12-31
local.description.notesImported from ARIESen_AU
local.description.refereedYes
local.identifier.absfor490401 - Algebra and number theoryen_AU
local.identifier.absfor460206 - Knowledge representation and reasoningen_AU
local.identifier.ariespublicationU3488905xPUB25319en_AU
local.identifier.citationvolume9807en_AU
local.identifier.doi10.1007/978-3-319-43144-4_9en_AU
local.identifier.scopusID2-s2.0-84984791890
local.identifier.thomsonIDWOS:000417366000009
local.publisher.urlhttps://link.springer.com/en_AU
local.type.statusPublished Versionen_AU

Downloads

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
Proof Pearl.pdf
Size:
412.26 KB
Format:
Adobe Portable Document Format
Description:
Download

Collections

ANU Research Publications

DSpace software copyright © 2002-2026 LYRASIS