Foundations of finite group theory for a (future) computer

被引：0

|

作者：

Wildberger, NJ ^{[1
]}

机构：

[1] Univ New S Wales, Sch Math, Sydney, NSW 2052, Australia

来源：

MATHEMATICAL INTELLIGENCER | 2004年 / 26卷 / 02期

关键词：

D O I：

10.1007/BF02985653

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

[No abstract available]

引用

收藏

页码：45 / 55

页数：11

相关论文

共 50 条

[1] Foundations of finite group theory for a (future) computer
N. J. Wildberger
The Mathematical Intelligencer, 2004, 26 : 45 - 55
[2] The foundations of enumeration theory for finite nilpotent groups
V. N. Shokuev
Journal of Mathematical Sciences, 1997, 83 (5) : 673 - 679
[3] FUTURE OF COMPUTING - COMPUTER SCIENTISTS RETHINK THEIR DISCIPLINES FOUNDATIONS
GLANZ, J
SCIENCE, 1995, 269 (5229) : 1363 - 1364
[4] APPLIED COMPUTER DIAGNOSTICS - THEORETICAL FOUNDATIONS AND FUTURE PERSPECTIVES
JAGER, RS
KRIEGER, W
DLUGOSCH, GE
INTERNATIONAL JOURNAL OF SELECTION AND ASSESSMENT, 1995, 3 (02) : 115 - 131
[5] Computer proofs in group theory
Yu, Yuan
1600, (06):
[6] A Formalization of Finite Group Theory
Russinoff, David M.
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, (359): : 99 - 115
[7] Understanding the Foundations of Electromagnetic Field Theory with Computer Software
Serteller, N. Fusun Oyman
Kari, Gulten
PROCEEDINGS OF 2019 IEEE GLOBAL ENGINEERING EDUCATION CONFERENCE (EDUCON), 2019, : 755 - 760
[8] Nonassociativity in VOA theory and finite group theory
Griess, Robert L., Jr.
COMMENTATIONES MATHEMATICAE UNIVERSITATIS CAROLINAE, 2010, 51 (02): : 237 - 244
[9] On the future of group therapy theory
Schermer, VL
GROUP, 2000, 24 (01) : 13 - 21
[10] Some programming problems for teaching foundations of group theory
Shilin, I. A.
INTERNATIONAL JOURNAL OF MATHEMATICAL EDUCATION IN SCIENCE AND TECHNOLOGY, 2014, 45 (03) : 438 - 445

← 1 2 3 4 5 →