Digitalisation mapping in the Spanish energy sector

[EN] <p></p> The dataset covers 263 projects mapped from calls and programmes that finance the digitalisation of the Spanish energy sector within the Resilience, Transformation, and Recove

DataCite Commons2025-06-10 更新40

Technology and digitalisation in the insurance sector

Innovation and new technologies are having a transformative impact on the insurance sector. While an increasing use of technology can expand coverage to previously underserved segments of society, and

Organisation for Economic Co-operation and Development00

HepLean: Digitalising high energy physics

We introduce HepLean, an open-source project to digitalise definitions, theorems, proofs, and calculations in high energy physics using the interactive theorem prover Lean 4. HepLean has the potential

Mendeley Data00