Found 8 Documents (Results 1–8)
Higher-order logic formalization of conformal geometric algebra and its application in verifying a robotic manipulation algorithm. (English) Zbl 1367.65032
The formalization of discrete Fourier transform in HOL. (English) Zbl 1394.68353
MSC:
68T15
65T50
Quasi-Monte Carlo simulation methods for measurement uncertainty. (English) Zbl 0941.65005
Niederreiter, Harald (ed.) et al., Monte Carlo and quasi-Monte Carlo methods 1998. Proceedings of a conference held at the Claremont Graduate Univ., Claremont, CA, USA, June 22-26, 1998. Berlin: Springer. 356-367 (2000).
Quasi-Monte Carlo methods for integral equations. (English) Zbl 0885.65151
Niederreiter, Harald (ed.) et al., Monte Carlo and quasi-Monte Carlo methods 1996. Proceedings of a conference at the University of Salzburg, Austria, July 9–12, 1996. Berlin: Springer. Lect. Notes Stat., Springer-Verlag. 127, 398-414 (1997).
General sequential sampling techniques for Monte Carlo simulations. I: Matrix problems. (English) Zbl 1091.65501
Niederreiter, Harald (ed.) et al., Monte Carlo and quasi-Monte Carlo methods 1996. Proceedings of a conference at the University of Salzburg, Austria, July 9–12, 1996. Berlin: Springer (ISBN 0-387-98335-X). Lect. Notes Stat. 127, 382-397 (1997).
MSC:
65C05
Filter Results by …
Document Type
- Journal Articles (5)
- Collection Articles (3)
all
top 5
Author
- Li, Liming (8)
- Spanier, Jerome (3)
- Dai, Pingfan (2)
- Guan, Yong (2)
- Shi, Zhiping (2)
- Wu, Shiliang (2)
- Li, Yongdong (1)
- Ma, Sha (1)
- Shao, Zhenzhou (1)
- Zhang, Jie (1)
- Zhang, Yupeng (1)