Amanote Research
Register
Sign In
Z-Modules
Formalized Mathematics
- Poland
doi 10.2478/v10037-012-0007-z
Full Text
Open PDF
Abstract
Available in
full text
Categories
Computational Mathematics
Applied Mathematics
Date
January 1, 2012
Authors
Yuichi Futa
Hiroyuki Okazaki
Yasunari Shidama
Publisher
Walter de Gruyter GmbH