算数宇宙の冒険 (実業之日本社文庫) / 川端裕人 (asin:4408550655)

題材はリーマン予想。
「数学ガール」は現実世界の話だけど、こちらはSF的な展開。
サポートサイトがあるそうです。

• http://www.bakfoo.com/riemann.html

でも、文庫についての情報は特に書いてないっぽいですね。