共 50 条
- [43] Higher-Order Level-Set Method and Its Application in Biomolecular Surfaces Construction Journal of Computer Science and Technology, 2008, 23 : 1026 - 1036
- [44] ON THE CHRAPLYVY TRANSFORMATION AND SOME FEATURES OF ITS APPLICATION FOR HIGHER-ORDER EXPANSIONS. II JOURNAL OF PHYSICAL STUDIES, 2014, 18 (2-3):
- [46] Nuprl-Light: An implementation framework for higher-order logics AUTOMATED DEDUCTION - CADE-14, 1997, 1249 : 395 - 399
- [49] Correlation Power Analysis and Higher-Order Masking Implementation of WAGE SELECTED AREAS IN CRYPTOGRAPHY, 2021, 12804 : 593 - 614