首页>外文期刊>数学、物理、化学、力学>数学>Formalized Mathematics >2021年第1期

Formalized Mathematics

Formalized Mathematics

中文名称：正规数学

ISSN：1426-2630
出版周期：-

发文量：308

期刊论文

年度选择

更多>>

全选（0）

共6条结果

1.Miscellaneous Graph Preliminaries. Part I

机译：Miscellaneous Graph Preliminaries. Part I
- 作者：Sebastian Koch
- 期刊名称：《formalized mathematics》 | 2021年第1期
- graph;
2.Functional Space Consisted by Continuous Functions on Topological Space

机译：Functional Space Consisted by Continuous Functions on Topological Space
- 作者：Hiroshi Yamazaki;Keiichi Miyajima;Yasunari Shidama
- 期刊名称：《formalized mathematics》 | 2021年第1期
- continuous function space;
- compact topological space;
- Banach space;
3.Algebraic Extensions

机译：Algebraic Extensions
- 作者：Christoph Schwarzweller;Agnieszka Rowińska-Schwarzweller
- 期刊名称：《formalized mathematics》 | 2021年第1期
- algebraic extensions;
- finite extensions;
- field of algebraic numbers;
4.Elementary Number Theory Problems. Part II

机译：Elementary Number Theory Problems. Part II
- 作者：Artur Korniłowicz;Dariusz Surowik
- 期刊名称：《formalized mathematics》 | 2021年第1期
- number theory;
- divisibility;
- primes;
5.Inverse Function Theorem. Part I1

机译：Inverse Function Theorem. Part I1
- 作者：Kazuhisa Nakasho;Yuichi Futa
- 期刊名称：《formalized mathematics》 | 2021年第1期
- inverse function theorem;
- Lipschitz continuity;
- differentiability;
- implicit function;
- inverse function;
6.Derivation of Commutative Rings and the Leibniz Formula for Power of Derivation

机译：Derivation of Commutative Rings and the Leibniz Formula for Power of Derivation
- 作者：Yasushige Watase
- 期刊名称：《formalized mathematics》 | 2021年第1期

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有出版物经营许可证

客服微信
服务号