High-performance constraint-propagation search engine for odd perfect numbers and Descartes-type pseudo-candidates. Factor-chain propagation, window-complete pruning ...
The rework, led by Rodrigo Girão Serrão with assistance from various contributors, aims to modernize the original text while preserving its core prose and examples where appropriate. Significant ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
