05851cam a2200937Ka 4500
ocn761692861
OCoLC
20200626111921.0
m o d
cr cnu---unuuu
111121s2011 gw ob 101 0 eng d
GW5XE
eng
pn
GW5XE
COO
UKMGB
OCLCQ
OCLCA
OCLCF
BEDGE
VT2
OCLCO
YDXCP
OCL
OCLCO
OCLCQ
VGM
ESU
OCLCQ
IOG
BUF
SHS
CEF
OCLCQ
U3W
AU@
OCLCA
WYU
YOU
LEAUB
W2U
OCLCQ
HS0
015975100
Uk
9783642250705
(electronic bk.)
364225070X
(electronic bk.)
9783642250699
10.1007/978-3-642-25070-5
doi
AU@
000048715132
AU@
000058157381
AU@
000060029297
AU@
000060505258
DKDLA
820120-katalog:000687098
NLGGC
384338038
NZ1
14154157
(OCoLC)761692861
QA448.D38
I58 2011
UYQ
bicssc
TJFM1
bicssc
COM004000
bisacsh
516.00285
23
MAIN
International Workshop on Automated Deduction in Geometry
(8th :
2010 :
Munich, Germany)
43420
Automated deduction in geometry :
8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised selected papers /
Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert (eds.).
ADG 2010
Berlin ;
New York :
Springer,
©2011.
1 online resource (x, 258 pages)
text
txt
rdacontent
computer
c
rdamedia
online resource
cr
rdacarrier
text file
PDF
rda
Lecture notes in artificial intelligence ;
6877
Lecture notes in computer science,
0302-9743
LNCS sublibrary. SL 7, Artificial intelligence
Serienbezeichnung
Includes bibliographical references and author index.
This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Automated Deduction in Geometry, ADG 2010, held in Munich, Germany in July 2010. The 13 revised full papers presented were carefully selected during two rounds of reviewing and improvement from the lectures given at the workshop. Topics addressed by the papers are incidence geometry using some kind of combinatoric argument; computer algebra; software implementation; as well as logic and proof assistants.
Cancellation patterns in automatic geometric theorem proving / Susanne Apel and Jürgen Richter-Gebert -- Exploring the foundations of discrete analytical geometry in Isabelle/HOL / Jacques Fleuriot -- A formalization of Grassmann-Cayley algebra in Coq and its application to theorem proving in projective geometry / Laurent Fuchs and Laurent Théry -- Automatic calculation of plane loci using Gröbner bases and integration into a dynamic geometry system / Michael Gerhäuser and Alfred Wassermann -- Proof documents for automated origami theorem proving / Fadoua Ghourabi, Tetsuo Ida, and Asem Kasem -- The midpoint locus of a triangle in a corner / Daniel Lichtblau -- Some Lemmas to hopefully enable search methods to find short -- and human readable proofs for incidence theorems of projective geometry / Dominique Michelucci -- What is a line? / Dominique Michelucci -- On one method of proving inequalities in automated way / Pavel Pech -- Thousands of geometric problems for geometric theorem provers -- (TGTP) / Pedro Quaresma -- An investigation of Hilbert's implicit reasoning through proof -- discovery in idle-time / Phil Scott and Jacques Fleuriot -- A coherent logic based geometry theorem prover capable of -- producing formal and readable proofs / Sana Stojanović, Vesna Pavlović, and Predrag Janičić -- Automated generation of readable proofs for constructive geometry -- statements with the mass point method / Yu Zou and Jingzhong Zhang.
Geometry
Data processing
Congresses.
15943
Automatic theorem proving
Congresses.
14919
Informatique.
eclas
14930
Automatic theorem proving.
fast
(OCoLC)fst00822777
14923
Geometry
Data processing.
fast
(OCoLC)fst00940870
5492
Mechanical Engineering.
hilcc
1897
Mathematics.
hilcc
43421
Engineering & Applied Sciences.
hilcc
9023
Physical Sciences & Mathematics.
hilcc
11926
Computer Science.
hilcc
941
Mechanical Engineering - General.
hilcc
20039
Geometry.
hilcc
2664
Computer science
Software engineering
Computational complexity
Artificial intelligence
Computer graphics
Artificial Intelligence (incl. Robotics)
Mathematical Logic and Formal Languages
Symbolic and Algebraic Manipulation
Discrete Mathematics in Computer Science
Electronic books.
396
Conference papers and proceedings.
fast
(OCoLC)fst01423772
6065
Schreck, Pascal.
43422
Narboux, Julien.
43423
Richter-Gebert, Jürgen,
1963-
21343
Printed edition:
9783642250699
Lecture notes in computer science.
Lecture notes in artificial intelligence ;
6877.
14916
Lecture notes in computer science.
43424
LNCS sublibrary.
SL 7,
Artificial intelligence.
20712
https://link-springer-com.libraryproxy.ist.ac.at/book/10.1007/978-3-642-25070-5
YBP Library Services
YANK
7274763
92
ATIST
381830
381830
0
0
0
0
EBook
elib
elib
2020-06-26
2020-06-26
2020-06-26
EBOOK