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

@@ Property / Wikidata QID @@
+Q108482195
@@ Property / Wikidata QID: Q108482195 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DLMF
@@ Property / describes a project that uses: DLMF / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HOL Light
@@ Property / describes a project that uses: HOL Light / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PVS
@@ Property / describes a project that uses: PVS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+C-CoRN
@@ Property / describes a project that uses: C-CoRN / 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-540-85110-3_26
+Normal rank
@@ Property / OpenAlex ID @@
+W1516795788
@@ Property / OpenAlex ID: W1516795788 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:5505512