Otwarty dostęp

Lagrange’s Four-Square Theorem

Formalized Mathematics's Cover Image
Formalized Mathematics
Special Issue: 25 years of the Mizar Mathematical Library

Zacytuj

eISSN:
1898-9934
Język:
Angielski
Częstotliwość wydawania:
4 razy w roku
Dziedziny czasopisma:
Computer Sciences, other, Mathematics, General Mathematics