Intelligent Computer Mathematics by Unknown
Author:Unknown
Language: eng
Format: epub
ISBN: 9783030535186
Publisher: Springer International Publishing
[KWZB14]
Kamareddine, F., Wells, J., Zengler, C., Barendregt, H.: Computerising mathematical text. In: Siekmann, J. (ed.) Computational Logic. Elsevier (2014)
[Ler09]
Leroy, X.: Formal verification of a realistic compiler. Commun. ACM 52(7), 107–115 (2009)
[Lin07]
Linton, S.: GAP: groups, algorithms, programming. ACM Commun. Comput. Algebr. 41(3), 108–109 (2007)
[Meg07]
Megill, N.: Metamath: A Computer Language for Pure Mathematics. Lulu Press, Morrisville (2007)
[Mil72]
Milner, R.: Logic for computable functions: descriptions of a machine implementation. ACM SIGPLAN Not. 7, 1–6 (1972)
Download
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.
Tools of Titans by Timothy Ferriss(7731)
Change Your Questions, Change Your Life by Marilee Adams(7317)
Deep Work by Cal Newport(6486)
Man-made Catastrophes and Risk Information Concealment by Dmitry Chernov & Didier Sornette(5586)
Digital Minimalism by Cal Newport;(5323)
Big Magic: Creative Living Beyond Fear by Elizabeth Gilbert(5299)
Playing to Win_ How Strategy Really Works by A.G. Lafley & Roger L. Martin(5297)
The Slight Edge by Jeff Olson(5173)
The Motivation Myth by Jeff Haden(4962)
Ego Is the Enemy by Ryan Holiday(4885)
Stone's Rules by Roger Stone(4818)
The Laws of Human Nature by Robert Greene(4721)
Tuesdays with Morrie by Mitch Albom(4355)
Rising Strong by Brene Brown(4169)
Eat That Frog! by Brian Tracy(4100)
Skin in the Game by Nassim Nicholas Taleb(3938)
The Money Culture by Michael Lewis(3791)
Bullshit Jobs by David Graeber(3785)
Skin in the Game: Hidden Asymmetries in Daily Life by Nassim Nicholas Taleb(3695)
