Parametric quantified SAT solving (Q2946524): Difference between revisions

@@ Property / cites work @@
+Q4760223
@@ Property / cites work: Q4760223 / rank @@
+Normal rank
@@ Property / cites work @@
+Moving coframes. II: Regularization and theoretical foundations
+Normal rank
@@ Property / cites work @@
+Q3995740
@@ Property / cites work: Q3995740 / rank @@
+Normal rank
@@ Property / cites work @@
+Differential algebra for derivations with nontrivial commutation rules
+Normal rank
@@ Property / cites work @@
+Differential invariants of a Lie group action: syzygies on a generating set
+Normal rank
@@ Property / cites work @@
+Rational invariants of a group action. Construction and rewriting
+Normal rank
@@ Property / cites work @@
+Smooth and algebraic invariants of a group action: Local and global constructions
+Normal rank
@@ Property / cites work @@
+Differential invariants of conformal and projective surfaces
+Normal rank
@@ Property / cites work @@
+Q4449111
@@ Property / cites work: Q4449111 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher order contact of submanifolds of homogeneous spaces
+Normal rank
@@ Property / cites work @@
+Q4072558
@@ Property / cites work: Q4072558 / rank @@
+Normal rank
@@ Property / cites work @@
+Invariants différentiels d'un pseudogroupe de Lie. I
+Normal rank
@@ Property / cites work @@
+Invariants différentiels d'un pseudogroupe de Lie. II
+Normal rank
@@ Property / cites work @@
+Projective-type differential invariants and geometric curve evolutions of KdV-type in flat homogeneous manifolds
+Normal rank
@@ Property / cites work @@
+Q4849745
@@ Property / cites work: Q4849745 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4656084
@@ Property / cites work: Q4656084 / rank @@
+Normal rank
@@ Property / cites work @@
+Generating differential invariants
@@ Property / cites work: Generating differential invariants / rank @@
+Normal rank
@@ Property / cites work @@
+Q3945260
@@ Property / cites work: Q3945260 / rank @@
+Normal rank