Automating Side Conditions in Formalized Partial Functions (Q5505512): Difference between revisions

@@ Property / cites work @@
+Q5558293
@@ Property / cites work: Q5558293 / rank @@
+Normal rank
@@ Property / cites work @@
+Multiple-valued complex functions and computer algebra
+Normal rank
@@ Property / cites work @@
+USING NONSTANDARD ANALYSIS TO ENSURE THE CORRECTNESS OF SYMBOLIC COMPUTATIONS
+Normal rank
@@ Property / cites work @@
+Modelling general recursion in type theory
@@ Property / cites work: Modelling general recursion in type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Knowledge Management
@@ Property / cites work: Mathematical Knowledge Management / rank @@
+Normal rank
@@ Property / cites work @@
+Certified Computer Algebra on Top of an Interactive Theorem Prover
+Normal rank
@@ Property / cites work @@
+Partial Recursive Functions in Higher-Order Logic
@@ Property / cites work: Partial Recursive Functions in Higher-Order Logic / rank @@
+Normal rank
@@ Property / cites work @@
+NIST digital library of mathematical functions
@@ Property / cites work: NIST digital library of mathematical functions / rank @@
+Normal rank
@@ Property / cites work @@
+First Order Logic with Domain Conditions
@@ Property / cites work: First Order Logic with Domain Conditions / rank @@
+Normal rank