Hidden verification for computational mathematics (Q2456559): Difference between revisions

@@ Property / DOI @@
-.1016/j.jsc.2004.12.005
@@ Property / DOI: 10.1016/j.jsc.2004.12.005 / 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 @@
+REDLOG
@@ Property / describes a project that uses: REDLOG / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Analytica
@@ Property / describes a project that uses: Analytica / 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.1016/j.jsc.2004.12.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2038078711
@@ Property / OpenAlex ID: W2038078711 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q55393280
@@ Property / Wikidata QID: Q55393280 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4790649
@@ Property / cites work: Q4790649 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263160
@@ Property / cites work: Q4263160 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4227289
@@ Property / cites work: Q4227289 / rank @@
+Normal rank
@@ Property / cites work @@
+Analytica --- an experiment in combining theorem proving and symbolic computation
+Normal rank
@@ Property / cites work @@
+Q4934140
@@ Property / cites work: Q4934140 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499160
@@ Property / cites work: Q4499160 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic integration. I: Transcendental functions
@@ Property / cites work: Symbolic integration. I: Transcendental functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385444
@@ Property / cites work: Q4385444 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4226993
@@ Property / cites work: Q4226993 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385445
@@ Property / cites work: Q4385445 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002478
@@ Property / cites work: Q4002478 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3901492
@@ Property / cites work: Q3901492 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5736244
@@ Property / cites work: Q5736244 / rank @@
+Normal rank
@@ Property / cites work @@
+Equality in computer algebra and beyond.
@@ Property / cites work: Equality in computer algebra and beyond. / rank @@
+Normal rank
@@ Property / cites work @@
+Q2729073
@@ Property / cites work: Q2729073 / rank @@
+Normal rank
@@ Property / cites work @@
+OpenMath
@@ Property / cites work: OpenMath / rank @@
+Normal rank
@@ Property / cites work @@
+Q4232479
@@ Property / cites work: Q4232479 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5595875
@@ Property / cites work: Q5595875 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754044
@@ Property / cites work: Q2754044 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4234333
@@ Property / cites work: Q4234333 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024872
@@ Property / cites work: Q3024872 / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem proving in higher order logics. 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14--18, 2000. Proceedings
+Normal rank
@@ Property / cites work @@
+Q4282537
@@ Property / cites work: Q4282537 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023355
@@ Property / cites work: Q4023355 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonlinear control system design by quantifier elimination
+Normal rank
@@ Property / cites work @@
+Q3272638
@@ Property / cites work: Q3272638 / rank @@
+Normal rank
@@ Property / cites work @@
+Some undecidable problems involving elementary functions of a real variable
+Normal rank
@@ Property / cites work @@
+Q4245756
@@ Property / cites work: Q4245756 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003156
@@ Property / cites work: Q4003156 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JSC.2004.12.005
@@ Property / DOI: 10.1016/J.JSC.2004.12.005 / rank @@
+Normal rank