How to Recognize Artificial Mathematical Intelligence in Theorem Proving

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch

Erschienen in
In: 10.1007/s11245-025-10164-w

Ereignis
Veröffentlichung
(wo)
Aachen
(wer)
Universitätsbibliothek der RWTH Aachen
(wann)
2025
Urheber

DOI
10.18154/RWTH-2025-01337
URN
urn:nbn:de:101:1-2502180109174.473787157573
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
15.08.2025, 07:38 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

Entstanden

  • 2025

Ähnliche Objekte (12)

Automated theorem proving

Automated theorem proving

Automated theorem proving

Automated theorem proving

Distributing equational theorem proving

Distributing equational theorem proving

Students’ use of generative artificial intelligence for proving mathematical statements

Students’ use of generative artificial intelligence for proving mathematical statements

Theorem proving in artificial neural networks: new frontiers in mathematical AI

Theorem proving in artificial neural networks: new frontiers in mathematical AI

Theorem proving in artificial neural networks: new frontiers in mathematical AI

Theorem proving in artificial neural networks: new frontiers in mathematical AI

An Extensible Theorem Proving Frontend

An Extensible Theorem Proving Frontend

Requirement-based cooperative theorem proving

Requirement-based cooperative theorem proving

Theorem proving in large theories

Theorem proving in large theories

First order theorem proving modulo equations

First order theorem proving modulo equations

Interactive theorem proving with indexed formulas

Interactive theorem proving with indexed formulas

First-order theorem proving modulo equations

Hochschulschrift

First-order theorem proving modulo equations

Verbundene Objekte