Proof verification and proof discovery for relativity
Bibliographic Data
| ID | 10813885 |
|---|---|
| Authors | Naveen Sundar Govindarajalulu (Rensselaer Polytechnic Institute, corresponding author), Selmer Bringsjord (0000-0002-5700-1990, Rensselaer Polytechnic Institute), Joshua Taylor (0000-0002-1008-4610, Rensselaer Polytechnic Institute) |
| Year | 2015 |
| Volume | 192 |
| Issue | 7 |
| Pages | 2077-2094 |
| Publication date | 2015-07-01 |
| Peer Reviewed | Yes |
| Open Access | Yes |
| Type | ARTICLE |
| Venue | Synthese (JOURNAL) |
| Journal identifiers | ISSN: 0039-7857 • E-ISSN: 1573-0964 |
| Publisher | Springer Science and Business Media LLC (PUBLISHER) |
| DOI | 10.1007/s11229-014-0424-3 |
| OpenAlex | W1980505047 |
| Language | EN |
| References cited | 7 |
Automated theorem proving · Calculus (dental) · Computer-assisted proof · Decidability · Epistemology · First-order logic · Formal proof · Formal science · Mathematical proof · Natural deduction · Philosophy of science · Programming language · Proof assistant · Proof complexity · Proof theory · Structural proof theory · Turing machine · Undecidable problem · Biomedical Text Mining and Ontologies · Computer Science · Mathematics · Philosophy · Philosophy and History of Science · Semantic Web and Ontologies · Theoretical Computer Science
| Citation velocity | historical |
|---|---|
| Highly cited | No |