Automatic Differentiation in ACL2 (Q3088015): Difference between revisions

@@ Property / describes a project that uses @@
+ACL2
@@ Property / describes a project that uses: ACL2 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ADIC
@@ Property / describes a project that uses: ADIC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Autodiff
@@ Property / describes a project that uses: Autodiff / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ADIFOR
@@ Property / describes a project that uses: ADIFOR / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-22863-6_23
+Normal rank
@@ Property / OpenAlex ID @@
+W2280334138
@@ Property / OpenAlex ID: W2280334138 / rank @@
+Normal rank
@@ Property / cites work @@
+On the implementation of automatic differentiation tools
+Normal rank
@@ Property / cites work @@
+Q2778918
@@ Property / cites work: Q2778918 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonstandard analysis in ACL2
@@ Property / cites work: Nonstandard analysis in ACL2 / rank @@
+Normal rank
@@ Property / cites work @@
+Evaluating Derivatives
@@ Property / cites work: Evaluating Derivatives / rank @@
+Normal rank
@@ Property / cites work @@
+Q3528766
@@ Property / cites work: Q3528766 / rank @@
+Normal rank