Automated Deduction in Geometry
Subtitle: 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: March 19, 2004
Language: eng
Format: Paperback
Number of pages: 231
ISBN-13: 9783540209270
Subjects: Artificial intelligence; Logic, Symbolic and mathematic; Data processing; Computers; Computers - General Information; Logic; Computer Books: General; Geometry - General; General; Artificial Intelligence - General; Computers / Artificial Intelligence; Logic, Symbolic and mathematical; Automatic theorem proving; Congresses; Geometry
First sentence: The notion of normal crossing is ubiquitous in singularity theory and it has a prominent role in the problem of resolution of singularities (see e.g. [1] for the foundations of the classical theory, or [2] for a more recent survey on the field) and in constructing alterations (see e.g. [3]).