Hello everyone,
A new hectoc for you:
296368
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
Non-circular trigonometric proofs of the pythagorean theorem in Lean4: A comparison. ~ Paul Pajo. https://www.researchgate.net/publication/390875819_Non-Circular_Trigonometric_Proofs_of_the_Pythagorean_Theorem_in_Lean4_A_Comparison #ITP #LeanProver #Math
Hello,
The hectoc of the hour is:
451991
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
#Calculemus: Demostraciones con Lean4 y con Isabelle/HOL de "f[s] \ f[t] ⊆ f[s \ t]". https://jaalonso.github.io/calculemus/posts/2021/06/17-imagen_de_la_diferencia_de_conjuntos/ #LeanProver #IsabelleHOL #Math
Readings shared April 20, 2025. https://jaalonso.github.io/vestigium/posts/2025/04/20-readings_shared_04-20-25 #FunctionalProgramming #Haskell #IsabelleHOL #LeanProver #Math
Here's the question for April 21st from the AMS Daily Epsilon of Math Calendar. For those unfamiliar with the calendar, the answer is always the day of the month. Looking for imaginative solutions is the aim.
Hi!
The hectoc of the hour is:
226441
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
21 avril 1652: #CeJourLà naissance de Michel Rolle (†8/11/1719), mathématicien français connu pour le théorème qui porte son nom (qu'il prouve pour des polynômes). Il fut longtemps opposé au calcul infinitésimal (en plein développement à l'époque).
https://fr.wikipedia.org/wiki/Michel_Rolle
#mathématiques #maths #math
21 avril 1951 : #CeJourLà naissance de Michael Freedman, mathématicien américain médaillé Fields en 1986 pour le développement de nouvelles méthodes qui lui ont permis de démontrer en dimension 4 la conjecture de Poincaré généralisée.
https://fr.wikipedia.org/wiki/Michael_Freedman
#mathématiques #maths #math
Dear mental calculators,
The hectoc of the hour is:
264799
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
Hello math fans,
The hectoc of the hour is:
966557
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
Hello,
Here is a new hectoc challenge for you:
126971
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
Nice – a new 'k' value in the Sierpiński Base 5 Problem was recently eliminated by PrimeGrid!
k is a Sierpiński number if k*b^n+1 is always composite. PrimeGrid found that when b=5, k=67612 isn't a Sierpiński number because 67612*5^5501582+1 is prime – and it's 3,845,446 digits long. Only 27 k-values remain!
Dear mental calculators,
Your hourly hectoc is here:
342853
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
One day, one decomposition
A235035: Numbers n for which A234742(n) = n: numbers n whose binary representation encodes a GF(2)[X]-polynomial such that when its irreducible factors are multiplied together as ordinary integers (with carry-bits), the result is n
3D graph, threejs - webGL 
https://decompwlj.com/3Dgraph/A235035.html
2D graph, first 500 terms https://decompwlj.com/2Dgraph500terms/A235035.html
Hello,
Your hourly hectoc is here:
891638
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
Hello,
Your hourly hectoc is here:
626611
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
Happy Easter to all who celebrate.
Remember: Math Jesus was fixed to the origin of a Cartesian grid for your sines.
Hello,
A new hectoc for you:
274271
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
