Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.
Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 3152121 obálek a 950676 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Automated deduction in geometry : third international workshop, ADG 2000 : Zurich, Switzerland, September 25-27, 2000 : revised papers
Autor: Richter-Gebert, Jürgen
Rok: c2001
ISBN: 9783540425984
OKCZID: 110404716
Citace (dle ČSN ISO 690):
RICHTER-GEBERT, Jürgen a WANG, Dongming, ed. Automated deduction in geometry: third international workshop, ADG 2000 : Zurich, Switzerland, September 25-27, 2000 : revised papers. Berlin: Springer, c2001. viii, 323 s. Lecture notes in computer science, 2061..
Anotace
This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Automated Deduction in Geometry, ADG 2000, held in Zurich, Switzerland, in September 2000.The 16 revised full papers and two invited papers presented were carefully selected for publication during two rounds of reviewing and revision from a total of initially 31 submissions. Among the issues addressed are spatial constraint solving, automated proving of geometric inequalities, algebraic proof, semi-algebraic proofs, geometrical reasoning, computational synthetic geometry, incidence geometry, and nonstandard geometric proofs.