例证法在定理机器证明中的应用
O18; 阐述了例证法的理论,分析、论证了例证法应用于定理机器证明的可行性,介绍了几何命题代数化的方法和步骤,并介绍了数值并行例证法和单例实验例证法的应用.
Gespeichert in:
| Veröffentlicht in: | 三明高等专科学校学报 2001, Vol.18 (4), p.1-5 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | chi |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Zusammenfassung: | O18; 阐述了例证法的理论,分析、论证了例证法应用于定理机器证明的可行性,介绍了几何命题代数化的方法和步骤,并介绍了数值并行例证法和单例实验例证法的应用. |
|---|---|
| ISSN: | 1673-4343 |
| DOI: | 10.3969/j.issn.1673-4343.2001.04.001 |