共 12 条
- [1] Lattice isomorphisms between projection lattices of von Neumann algebras FORUM OF MATHEMATICS SIGMA, 2020, 8
- [8] PROJECTION THEOREM AND ITS APPLICATION TO THE INHOMOGENEOUS BOUNDARY-VALUE-PROBLEMS DOKLADY AKADEMII NAUK SSSR, 1982, 265 (01): : 31 - 34
- [9] The projection of quasi variety and its application on geometric theorem proving and formula deduction AUTOMATED DEDUCTION IN GEOMETRY, 2004, 2930 : 21 - 30