arXiv:1309.6226
Automation of Mathematical Induction as part of the History of Logic
원문 초록
We review the history of the automation of mathematical induction
함께 살펴볼 논문
공통 태그를 근거로 연결했습니다. 실제 인용 관계나 논문의 우수성을 뜻하지 않습니다.
Dynamic Logistic Ensembles with Recursive Probability and Automatic Subset Splitting for Enhanced Binary Classification
SNIP: Bridging Mathematical Symbolic and Numeric Realms with Unified Pre-training
Transient Error Analysis of the LMS and RLS Algorithm for Graph Signal Estimation
A Unified Analysis for Finite Weight Averaging
Autograding Mathematical Induction Proofs with Natural Language Processing
Analysis of function approximation and stability of general DNNs in directed acyclic graphs using un-rectifying analysis
토론
이 논문과 연결된 포럼 글이 아직 없습니다.