Algebraic Numbers

Yasushige Watase. Algebraic Numbers. Formalized Mathematics, 24(4):291-299, 2016. [doi]

Authors

Yasushige Watase

This author has not been identified. Look up 'Yasushige Watase' in Google