Some Reflections On CAS Assisted Proofs Of Theorems

被引：0

作者：

Dana-Picard, Thierry ^{[1
]}

机构：

[1] Jerusalem Coll Technol, Dept Appl Math, Havaad Haleumi Str 21,POB 16031, IL-91160 Jerusalem, Israel

来源：

INTERNATIONAL JOURNAL FOR TECHNOLOGY IN MATHEMATICS EDUCATION | 2005年 / 12卷 / 04期

关键词：

D O I：

暂无

中图分类号：

G40 [教育学];

学科分类号：

040101 ; 120403 ;

摘要：

A mathematician's work consists of proving theorems, calculating, and making mathematics understandable. An assistant for all three components is a Computer Algebra System. We describe and discuss various CAS-assisted processes for proving theorems, and discuss the constraints which can appear regarding efficiency, confidence in the result and mathematical insight during the computerised work. Two examples are described with some details and general structures are displayed.

引用

页码：165 / 171

页数：7

共 50 条

[1] Statistical proofs of some matrix theorems
Rao, C. Radhakrishna
[J]. INTERNATIONAL STATISTICAL REVIEW, 2006, 74 (02) : 169 - 185
[2] SOME THEOREMS WITH SHORT PROOFS - PRELIMINARY REPORT
RICHARDS.D
[J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1970, 17 (05): : 832 - &
[3] New short proofs to some stability theorems
Liu, Xizhi
[J]. EUROPEAN JOURNAL OF COMBINATORICS, 2021, 96
[4] SIMPLE PROOFS OF SOME THEOREMS IN RESULTANT THEORY
Hashemi, Amir
Mirzavand, Farzad
[J]. MISKOLC MATHEMATICAL NOTES, 2015, 16 (01) : 205 - 211
[5] SIMPLE PROOFS OF SOME THEOREMS ON NOISELESS CHANNELS
CSISZAR
[J]. INFORMATION AND CONTROL, 1969, 14 (03): : 285 - &
[6] ALTERNATIVE PROOFS OF SOME THEOREMS ON CHARACTERISTIC FUNCTIONS
PATHAK, PK
[J]. SANKHYA-THE INDIAN JOURNAL OF STATISTICS SERIES A, 1966, 28 (SEP): : 309 - 314
[7] SIMPLE PROOFS OF SOME THEOREMS ON POINT PROCESSES
MILNE, RK
[J]. ANNALS OF MATHEMATICAL STATISTICS, 1971, 42 (01): : 368 - &
[8] Short proofs of some theorems in approximation theory
Mellander, I
[J]. JOURNAL OF APPROXIMATION THEORY, 2004, 126 (01) : 36 - 39
[9] ELEMENTARY PROOFS OF SOME ASYMPTOTIC RADIAL UNIQUENESS THEOREMS
BERMAN, RD
[J]. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1982, 86 (02) : 226 - 228
[10] FUNCTIONAL ANALYSIS PROOFS OF SOME THEOREMS IN FUNCTION THEORY
RUBEL, LA
TAYLOR, BA
[J]. AMERICAN MATHEMATICAL MONTHLY, 1969, 76 (05): : 483 - &

← 1 2 3 4 5 →