Matemática

Machine Proofs In Geometry: Automated Production Of Readable Proofs For Geometry Theorems

de Zhang Jing-Zhong Zhang, Gao Xiaoshan Gao e Chou Shang-Ching Chou 

eBook
Bertrand.pt - Machine Proofs In Geometry: Automated Production Of Readable Proofs For Geometry Theorems
idioma: Inglês
Editor: WORLD SCIENTIFIC PUBLISHING COMPANY
Edição: abril de 1994
10%
64,93€
Poupe 6,49€ (10%) Cartão Leitor Bertrand
Disponibilidade Imediata
EBOOK PARA ADOBE DIGITAL EDITIONS (ADE)

Introduces the area method and recent results in automating the area method. This book presents a systematic way of proving geometry theorems using traditional methods.

Da mesma coleção

ver +
Combinatorial Group Testing And Its Applications
10%
portes grátis
10% Cartão Leitor Bertrand
114,91€
Poupe 11,49€
WORLD SCIENTIFIC PUBLISHING CO PTE LTD
Splitting Extrapolation Method,The: A New Technique In Numerical Solution Of Multidimensional Prob
10%
10% Cartão Leitor Bertrand
47,70€
WORLD SCIENTIFIC PUBLISHING COMPANY
eBook
Machine Proofs In Geometry: Automated Production Of Readable Proofs For Geometry Theorems
de Zhang Jing-Zhong Zhang, Gao Xiaoshan Gao e Chou Shang-Ching Chou 
ISBN:
9789814502603
Ano de edição:
04-1994
Editor:
WORLD SCIENTIFIC PUBLISHING COMPANY
Idioma:
Inglês
Páginas:
480
Tipo de Produto:
eBook
Coleção:
Series On Applied Mathematics
Formato:
PDF para ADE i
Classificação Temática:
eBooks  >  eBooks em Inglês  >  Ciências Exatas e Naturais  >  Matemática

EAN:
9789814502603
X
O QUE É O CHECKOUT EXPRESSO?

O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.