Amanote Research
Register
Sign In
The Ck Space
Formalized Mathematics
- Poland
doi 10.2478/forma-2013-0002
Full Text
Open PDF
Abstract
Available in
full text
Categories
Computational Mathematics
Applied Mathematics
Date
January 1, 2013
Authors
Katuhiko Kanazashi
Hiroyuki Okazaki
Yasunari Shidama
Publisher
Walter de Gruyter GmbH