One day, one decomposition
A234695: Primes p with prime(p) - p + 1 also prime
3D graph, threejs - webGL 
https://decompwlj.com/3Dgraph/A234695.html
2D graph, first 500 terms https://decompwlj.com/2Dgraph500terms/A234695.html
Recent searches
Search options
#math
198 posts119 participants2 posts today
Teresita
Weeks go by and I still can't solve this riddle of mine (architectural plans of the German Villa from 1924).
The room at the top of the picture:
5,88m = 3,25m + 2,63m = 0,38m + 5,37m
5,88m = 5,88m = 5,75m
East wall of the villa:
5,88m + 3,76m + 5,25m = 0,38m + 5,37m + 0,38m + 3m + 0,38m + 4,87m + 0,38m
14,89m = 14,76m
Replied in thread
Hello,
Your hourly hectoc is here:
143332
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
hectoc.seism0saurus.deHectoc
Die Berechnung von zufälligen Aufgaben funktioniert schon ganz gut. Bisher nur für die Addition, aber da mit Auswahl des Zahlenbereichs und ob ein Zehnerübergang stattfinden soll.
GIF
Matrix Calculus for Machine Learning and Beyond https://lobste.rs/s/hp0kk4 #ai #education #math
https://github.com/mitmath/matrixcalc
lobste.rsMatrix Calculus for Machine Learning and Beyond | Lobsters
Remember that time you tried to make #math "cute"? 
Well, brace yourself for PoShen Loh's groundbreaking attempt to make 'e' natural—like it wasn't already the math world's favorite #irrational #celebrity. 
Spoiler: The article is as exciting as watching n approach #infinity. 
https://www.poshenloh.com/e/ #cute #PoShenLoh #humor #HackerNews #ngated
www.poshenloh.comPo-Shen Loh | A cute proof that makes e naturalPo-Shen Loh is a social entrepreneur and inventor, working across the spectrum of mathematics, education, and healthcare, all around the world. He is a math professor at Carnegie Mellon University, and the national coach of the USA International Mathematical Olympiad team. He has pioneered innovations ranging from a scalable way to learn challenging math live online at comparable engagement to live-streaming entertainment (https://live.poshenloh.com), to a new way to control pandemics by leveraging self-interest.
I hope everyone is having a WONDERFUL day!
Next up on Fireside Fedi! Tomorrow, April 18th at 1500 Eastern time / UTC -4, I will be speaking with @niccolove ! Niccolo is a poet, mathematician, boy scout leader, KDE developer, and a Peertuber! Super interested to talk to Niccolo!
Catch the livestream: https://stream.firesidefedi.live
VOD afterwards: https://video.firesidefedi.live
Fedicast afterwards: https://audio.firesidefedi.live
#kde #dev #developer #peertube #vod #fedicast #podcast #castopod #poetry #math #firesideFedi #fedi #FsF #fediverse #people #livestream #stream #live #owncast
#Calculemus: Demostraciones con Lean4 y con Isabelle/HOL de "Si u ⊆ v, entonces f⁻¹[u] ⊆ f⁻¹[v]". https://jaalonso.github.io/calculemus/posts/2021/06/13-monotonia_de_la_imagen_inversa/ #LeanProver #IsabelleHOL #Math
Calculemus · Monotonía de la imagen inversaDemostrar con Lean4 y con Isabelle/HOL que si \(u ⊆ v\), entonces \(f⁻¹[u] ⊆ f⁻¹[v]\).
Para ello, completar la siguiente teoría de Lean4:
import Mathlib.Data.Set.Function
open Set
variable {α β : Typ
