3 ms·
First proof submission with Uber-polya coding agent skill Claude Code [pdf]
- deleted 7mo ago[deleted]
- turalg 7mo agoLet's discuss your feedback or comments. You can use uber-polya skill to solve mathematical problems. The uber-polya engine augments George Polya’s methodology with a catalog of over 340 algorithms, 116 mathematical structures, and 30 solver libraries, enabling systematic identification of applicable techniques for each problem domain.