Marco B. Caminati | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Juliana K. F. Bowles
1 publication

research

∙ 06/18/2023

Isabelle Formalisation of Original Representation Theorems

In a recent paper, new theorems linking apparently unrelated mathematica...

0 Marco B. Caminati, et al. ∙

research

∙ 06/01/2023

Representation Theorems Obtained by Miningacross Web Sources for Hints

A representation theorem relates different mathematical structures by pr...

0 Marco B. Caminati, et al. ∙