Formal verification of stability and chaos in periodic optical systems (Q2361358): Difference between revisions

@@ Property / cites work @@
+Formal analysis of optical systems
@@ Property / cites work: Formal analysis of optical systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5302558
@@ Property / cites work: Q5302558 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3618853
@@ Property / cites work: Q3618853 / rank @@
+Normal rank
@@ Property / cites work @@
+HOL Light: An Overview
@@ Property / cites work: HOL Light: An Overview / rank @@
+Normal rank
@@ Property / cites work @@
+On the Formal Analysis of Geometrical Optics in HOL
+Normal rank
@@ Property / cites work @@
+Q5358000
@@ Property / cites work: Q5358000 / rank @@
+Normal rank