arXiv:2606.11430v1 Announce Type: cross Abstract: Mathematical knowledge is split between bibliographic databases (e.g., MathSciNet, zbMATH Open) and formal proof libraries (e.g., Lean mathlib), preventing unified access between published results and their formalizations. We propose a relational bridge-database that aligns publication metadata...
Read the full article at the source.
![[Ekstra] Sopra Steria: Hun er ny leder](https://images.gfx.no/1000/2928/2928034/Kristine%20Bolstad%20og%20Kjell%20Rusti.jpg)
Comments (0)
No comments yet. Be the first to comment!