Enabling Symbolic and Numerical Computations in HOL Light (Q3453133): Difference between revisions

@@ Property / cites work @@
+Q4790649
@@ Property / cites work: Q4790649 / rank @@
+Normal rank
@@ Property / cites work @@
+Analytica --- an experiment in combining theorem proving and symbolic computation
+Normal rank
@@ Property / cites work @@
+Q4227289
@@ Property / cites work: Q4227289 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499152
@@ Property / cites work: Q4499152 / rank @@
+Normal rank
@@ Property / cites work @@
+A Skeptic's approach to combining HOL and Maple
@@ Property / cites work: A Skeptic's approach to combining HOL and Maple / rank @@
+Normal rank
@@ Property / cites work @@
+Certified Computer Algebra on Top of an Interactive Theorem Prover
+Normal rank
@@ Property / cites work @@
+Formal analysis of optical systems
@@ Property / cites work: Formal analysis of optical systems / rank @@
+Normal rank