共 50 条
- [1] Algorithms for Measuring the Quality of Products and Their Characteristics Measurement Techniques, 2003, 46 : 433 - 438
- [3] CLASSES OF ALGORITHMS: FORMALIZATION AND COMPARISON BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2012, (107): : 95 - 127
- [4] Measuring image quality of mesh simplification algorithms PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN & COMPUTER GRAPHICS, 1999, : 731 - 735
- [5] Formalization Quality in Isabelle INTELLIGENT COMPUTER MATHEMATICS, CICM 2023, 2023, 14101 : 142 - 157
- [6] On the formalization of asynchronous first passage algorithms JOURNAL OF CHEMICAL PHYSICS, 2019, 150 (13):
- [9] Formalization of graph search algorithms and its applications THEOREM PROVING IN HIGHER ORDER LOGICS, 1998, 1479 : 479 - 496