共 50 条
- [1] Moving frames - In geometry, algebra, computer vision, and numerical analysis [J]. FOUNDATIONS OF COMPUTATIONAL MATHEMATICS, 2001, 284 : 267 - 297
- [2] Computer Algebra Methods in Tropical Geometry [J]. MATHEMATICAL SOFTWARE - ICMS 2010, 2010, 6327 : 213 - 216
- [5] Uncertain geometry in computer vision [J]. DISCRETE GEOMETRY FOR COMPUTER IMAGERY, PROCEEDINGS, 2005, 3429 : 359 - 370
- [6] A Stream Algebra for Computer Vision Pipelines [J]. 2014 IEEE CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION WORKSHOPS (CVPRW), 2014, : 800 - 807
- [8] Bidirectional linking of computer algebra and dynamic geometry [J]. JOURNAL FUR MATHEMATIK-DIDAKTIK, 2005, 26 (3-4): : 249 - 273
- [9] Logic, Algebra, and Geometry at the Foundation of Computer Science [J]. FORMAL METHODS TEACHING (FMTEA 2019), 2019, 11758 : 3 - 20
- [10] Descriptive Geometry Meets Computer Vision - The Geometry of Two Images [J]. JOURNAL FOR GEOMETRY AND GRAPHICS, 2006, 10 (02): : 137 - 153