AMD K5 (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "AMD K5" in English language version.

refsWebsite

Global rank English rank

2^nd place

4,153^rd place

2,291^st place

low place

11^th place

8^th place

1^st place

low place

5,764^th place

3,765^th place

alasir.com

"X86 CPU Reference (Part 2)". alasir.com. Archived from the original on 26 July 2017. Retrieved 12 January 2022.

Moore, J. Strother; Lynch, Thomas W.; Kaufmann, Matt (September 1998). "A Mechanically Checked Proof of the AMD5K86TM Floating-Point Division Program". IEEE Transactions on Computers. 47 (9). Washington, DC, USA: IEEE Computer Society: 913–926. doi:10.1109/12.713311.
Russinoff, David M. (January 1999). "A Mechanically Checked Proof of Correctness of the AMD K5 Floating Point Square Root Microcode". Formal Methods in System Design. 14 (1). Hingham, MA, USA: Kluwer Academic Publishers: 75–125. doi:10.1023/A:1008669628911. S2CID 22941018.
Lynch, T.; Ahmed, A.; Schulte, M.; Callaway, T.; Tisdale, R. (19–21 July 1995). "The K5 Transcendental Functions". Proceedings of the 12th Symposium on Computer Arithmetic. Washington, DC, USA: IEEE Computer Society. pp. 163–170. doi:10.1109/ARITH.1995.465368. ISBN 0-8186-7089-4.

Russinoff, David M. (January 1999). "A Mechanically Checked Proof of Correctness of the AMD K5 Floating Point Square Root Microcode". Formal Methods in System Design. 14 (1). Hingham, MA, USA: Kluwer Academic Publishers: 75–125. doi:10.1023/A:1008669628911. S2CID 22941018.

"X86 CPU Reference (Part 2)". alasir.com. Archived from the original on 26 July 2017. Retrieved 12 January 2022.