The platform will undergo maintenance on Sep 14 at about 7:45 AM EST and will be unavailable for approximately 2 hours.
1979
DOI: 10.1090/s0273-0979-1979-14650-0
|View full text |Cite
|
Sign up to set email alerts
|

Book Review: Mechanizing hypothesis formation. Mathematical foundations for a general theory

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
2
0

Year Published

2023
2023
2023
2023

Publication Types

Select...
1

Relationship

0
1

Authors

Journals

citations
Cited by 1 publication
(2 citation statements)
references
References 5 publications
(2 reference statements)
0
2
0
Order By: Relevance
“…Chess endgames can be analyzed with Kronecker tensor product and direct sums. They discussed the work of Friedrich Amelung and Theodor Molien, the founder of group representation, and the first person that analyzed a pawnless endgame [11] [12]. High-performance parallel computing can be solved from the endgame analysis.…”
Section: Related Workmentioning
confidence: 99%
See 1 more Smart Citation
“…Chess endgames can be analyzed with Kronecker tensor product and direct sums. They discussed the work of Friedrich Amelung and Theodor Molien, the founder of group representation, and the first person that analyzed a pawnless endgame [11] [12]. High-performance parallel computing can be solved from the endgame analysis.…”
Section: Related Workmentioning
confidence: 99%
“…(2, 1), (2, 3), (2,6), (3, 0), (3,7), (3,4), (4, 0), (4, 1), (4, 3), (4, 8), (5, 1), (5,10), (5,9), (5,20), (6,2), (6,11), (6,12), (6,13), (7,3), (7,14), (7,15), (7,16), (8,4), (8,17), (8,18), (8,19), (9,5), (9,10), (9,20), (10,5), (10,9), (10,11), (11,6), (11,12), (11,<...…”
Section: Introductionmentioning
confidence: 99%