scientific article; zbMATH DE number 1746669
From MaRDI portal
Publication:4530838
zbMath0986.68125MaRDI QIDQ4530838
Publication date: 9 June 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
On the formal analysis of Gaussian optical systems in HOL ⋮ Formalization of the Poincaré disc model of hyperbolic geometry
Uses Software
This page was built for publication:
