2000 |
8 | EE | Timothy F. Havel:
Qubit Logic, Algebra and Geometry.
Automated Deduction in Geometry 2000: 228-245 |
7 | EE | Timothy F. Havel,
S. S. Somaroo,
C.-H. Tseng,
D. G. Cory:
Principles and Demonstrations of Quantum Information Processing by NMR Spectroscopy.
Appl. Algebra Eng. Commun. Comput. 10(4/5): 339-374 (2000) |
1996 |
6 | | Timothy F. Havel:
Computational Synthetic Geometry with Clifford Algebra.
Automated Deduction in Geometry 1996: 102-114 |
5 | | Timothy F. Havel,
Sven Hyberts,
Igor Najfeld:
Recent Advances in Molecular Distance Geometry.
German Conference on Bioinformatics 1996: 84-86 |
4 | | Timothy F. Havel,
Sven Hyberts,
Igor Najfeld:
Recent Advances in Molecular Distance Geometry.
German Conference on Bioinformatics - Selected Papers 1996: 62-71 |
1991 |
3 | | Timothy F. Havel:
Some Examples of the Use of Distances as Coordinates for Euclidean Geometry.
J. Symb. Comput. 11(5/6): 579-593 (1991) |
2 | | Andreas W. M. Dress,
Timothy F. Havel:
Bound Smoothing under Chirality Constraints.
SIAM J. Discrete Math. 4(4): 535-549 (1991) |
1990 |
1 | EE | Gordon M. Crippen,
Timothy F. Havel:
Global energy minimization by rotational energy embedding.
Journal of Chemical Information and Computer Sciences 30(3): 222-227 (1990) |