Algorithm and mechanization to Cauchy problem of parabolic equation (Q2571955): Difference between revisions

@@ Property / cites work @@
+Q4545702
@@ Property / cites work: Q4545702 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525303
@@ Property / cites work: Q4525303 / rank @@
+Normal rank
@@ Property / cites work @@
+Liouvillian solutions of linear differential equations with Liouvillian coefficients
+Normal rank
@@ Property / cites work @@
+Travelling wave solutions to the two-dimensional KdV-Burgers equation
+Normal rank
@@ Property / cites work @@
+Vectorial equations solving for mechanical geometry theorem proving
+Normal rank
@@ Property / cites work @@
+Algorithmization formula and mechanization to Cauchy problem of high dimensional wave equation
+Normal rank
@@ Property / cites work @@
+Q4348177
@@ Property / cites work: Q4348177 / rank @@
+Normal rank
@@ Property / cites work @@
+A new algorithm for symbolic integration with application
+Normal rank