A proof of concept for matchete: an automated tool for matching effective theories
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource, 1 online resource.
- Sprache
-
Englisch
- Erschienen in
-
A proof of concept for matchete: an automated tool for matching effective theories ; volume:83 ; number:7 ; day:25 ; month:7 ; year:2023 ; pages:1-18 ; date:7.2023
The European physical journal / C. C, Particles and fields ; 83, Heft 7 (25.7.2023), 1-18, 7.2023
- Urheber
-
Fuentes-Martín, Javier
König, Matthias
Pagès, Julie
Thomsen, Anders Eller
Wilsch, Felix
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1140/epjc/s10052-023-11726-1
- URN
-
urn:nbn:de:101:1-2023112011412002618722
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:36 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Fuentes-Martín, Javier
- König, Matthias
- Pagès, Julie
- Thomsen, Anders Eller
- Wilsch, Felix
- SpringerLink (Online service)
Ähnliche Objekte (12)
First-order calculi and proof procedures for automated deduction
Exploiting general-purpose background knowledge for automated schema matching
A Rényi quantum null energy condition: proof for free field theories
AutoEFT: Automated operator construction for effective field theories
Proof complexity of Satisfiability Modulo Theories
Automated Proof Search: The Aftermath
Towards Domain-Oriented Semi-Automated Model Matching for Supporting Data Exchange
Strategy-proof tie-breaking in matching with priorities
Deep Learning for Automated Measurement of Total Cardiac Volume for Heart Transplantation Size Matching
IMathAS & automated Assessment of mathematical Proof
Compositionality, concurrency, and partial correctness : proof theories for networks of processes, and their relationship
Proof of dispersion relations for the amplitude in theories with a compactified space dimension
First-order calculi and proof procedures for automated deduction
Exploiting general-purpose background knowledge for automated schema matching
A Rényi quantum null energy condition: proof for free field theories
AutoEFT: Automated operator construction for effective field theories
Proof complexity of Satisfiability Modulo Theories
Automated Proof Search: The Aftermath
Towards Domain-Oriented Semi-Automated Model Matching for Supporting Data Exchange
Strategy-proof tie-breaking in matching with priorities
Deep Learning for Automated Measurement of Total Cardiac Volume for Heart Transplantation Size Matching
IMathAS & automated Assessment of mathematical Proof
Compositionality, concurrency, and partial correctness : proof theories for networks of processes, and their relationship
Proof of dispersion relations for the amplitude in theories with a compactified space dimension
First-order calculi and proof procedures for automated deduction
Exploiting general-purpose background knowledge for automated schema matching
A Rényi quantum null energy condition: proof for free field theories
AutoEFT: Automated operator construction for effective field theories
Proof complexity of Satisfiability Modulo Theories
Automated Proof Search: The Aftermath
Towards Domain-Oriented Semi-Automated Model Matching for Supporting Data Exchange
Strategy-proof tie-breaking in matching with priorities
Deep Learning for Automated Measurement of Total Cardiac Volume for Heart Transplantation Size Matching
IMathAS & automated Assessment of mathematical Proof
Compositionality, concurrency, and partial correctness : proof theories for networks of processes, and their relationship