GNU Multiple Precision Arithmetic Library by
Ciro Santilli 37 Updated 2025-05-23 +Created 2024-07-12
List of arbitrary-precision arithmetic sofware by
Ciro Santilli 37 Updated 2025-05-23 +Created 2024-07-12
Undecidability requires infinitely many inputs by
Ciro Santilli 37 Updated 2025-05-23 +Created 2024-07-12
If there are infinitely many inputs, we can always construct a (potentially exponentially huge) Turing machine that hardcodes the outcome for every possible input, so the problem is never undecidable.
The problem is of course deciding and proving the outcome for each possible input, notably as it is possible that calculation for some of the inputs may be independent from ZFC.
Very focused on the International Mathematical Olympiad, notably they maintain all solutions at: artofproblemsolving.com/wiki/index.php/IMO_Problems_and_Solutions
Number of elements in a Farey sequence by
Ciro Santilli 37 Updated 2025-05-23 +Created 2024-07-12
Company founded by Marc Verdiell in his garage, and later acquired by Intel which was going on a optoelectronics buying spree. The division was later sold off in 2023 of course during more difficult times: www.theregister.com/2023/10/31/intel_silicon_photonics_jabil/
It's hard to understand exactly what the company did by Googling it nowadays. Sad and usual fate. Presumably something related to transceiver for fiber-optic communication. Only the patents remain: patents.google.com/?assignee=lightlogic&oq=lightlogic to tell its story to the brave.
Entity against giving answer to problem sets by
Ciro Santilli 37 Updated 2025-05-23 +Created 2024-07-12
www.quora.com/Is-MIT-the-only-place-where-homework-is-called-problem-sets
Terminology by location:
Places that say "problem set":Places that say "problem sheet":Places that say "example sheet":
Terminology by location:
Places that say "problem set":Places that say "problem sheet":Places that say "example sheet":
- University of Cambridge. Source: www.inference.org.uk/sanjoy/teaching/corpus/
Mechanics/Molecules (Fall term) example sheets (Cambridge jargon for problem sets)
International Mathematical Olympiad by
Ciro Santilli 37 Updated 2025-05-23 +Created 2024-07-12
There are unlisted articles, also show them or only show them.