Search for an axion-like particle in radiative J/?: decays
Ablikim, M., Adlarson, Patrik, Johansson, Tord, Kupsc, Andrzej, Schönning, Karin, Thorén, Viktor, Wolke, Magnus, Zu, J.
Published in Physics letters. B (10.03.2023)
Published in Physics letters. B (10.03.2023)
Get full text
Journal Article
A Semi-reflexive Tactic for (Sub-)Equational Reasoning
Get full text
Book Chapter
Conference Proceeding
A Content Based Mathematical Search Engine: Whelp
Asperti, Andrea, Guidi, Ferruccio, Coen, Claudio Sacerdoti, Tassi, Enrico, Zacchiroli, Stefano
Published in Lecture notes in computer science (2006)
Published in Lecture notes in computer science (2006)
Get full text
Book Chapter
Conference Proceeding
Mathematical Knowledge Management in HELM
Asperti, Andrea, Padovani, Luca, Sacerdoti Coen, Claudio, Guidi, Ferruccio, Schena, Irene
Published in Annals of mathematics and artificial intelligence (01.05.2003)
Published in Annals of mathematics and artificial intelligence (01.05.2003)
Get full text
Journal Article
An Interactive Algebra Course with Formalised Proofs and Definitions
Asperti, Andrea, Geuvers, Herman, Loeb, Iris, Mamane, Lionel Elie, Coen, Claudio Sacerdoti
Published in Lecture notes in computer science (2006)
Published in Lecture notes in computer science (2006)
Get full text
Book Chapter
Conference Proceeding