共 50 条
- [31] THE CONSTRUCTIVE THEORY OF INVARIANTS MATHEMATICS OF THE USSR-IZVESTIYA, 1981, 45 (05): : 359 - 376
- [33] Towards a Representation of Decision Theory Problems with Probabilistic Answer Set Programs ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2023, 385
- [34] THEORY OF EMITTANCE INVARIANTS FRONTIERS OF PARTICLE BEAMS : OBSERVATION, DIAGNOSIS AND CORRECTION, 1989, 343 : 94 - 121
- [35] The theory of the semi invariants PROCEEDINGS OF THE KONINKLIJKE AKADEMIE VAN WETENSCHAPPEN TE AMSTERDAM, 1936, 39 (1/5): : 575 - 578
- [38] A NEW VONMISES PROBABILISTIC FORMULA FOR QUARTET INVARIANTS ACTA CRYSTALLOGRAPHICA SECTION A, 1989, 45 : 141 - 143
- [39] Finding Polynomial Loop Invariants for Probabilistic Programs AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2017), 2017, 10482 : 400 - 416
- [40] Towards Noncommutative Topological Quantum Field Theory: New invariants for 3-manifolds 5TH INTERNATIONAL CONFERENCE ON MATHEMATICAL MODELING IN PHYSICAL SCIENCES (IC-MSQUARE 2016), 2016, 738