mastodon.world: About · Status · Profiles directory · Privacy policy
Mastodon: About · Get the app · Keyboard shortcuts · View source code · v4.4.0
Generation of four sequences decomposed into weight × level + jump (log(weight), log(level), log(jump)) - three.js animation:
1: The natural numbers (A000027) https://decompwlj.com/3DgraphGen/Natural_numbers.html
@NanoRaptor You'd better believe I checked that
#scientist
#math
Greetings fellow humans,
The hectoc of the hour is:
173724
The goal is to combine the 6 numbers to a total of 100. You can use the mathematical operations + - * / ^ and the parenthesis ( ). Numbers can be combined, but you have to use all 6 of them and are not allowed to change the order. See https://hectoc.seism0saurus.de for an example. Please use CW "solution".
Have fun! Your hourly hectoc bot
by @seism0saurus
Universal pairs for diophantine equations (in Isabelle/HOL). ~ Marco David et als. https://www.isa-afp.org/entries/Diophantine_Universal_Pairs.html #ITP #ProofAssistant #IsabelleHOL #Math
Here's the question for July 30th from the AMS Daily Epsilon of Math Calendar
@DailyEpsilon
Mastodon is the best way to keep up with what's happening.
Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.
Create accountLogin