記錄 2 之 2
Record:   Prev Next
作者 International Workshop on Automated Deduction in Geometry (1st : 1996 : Toulouse, France)
書名 Automated deduction in geometry [electronic resource] : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers / Dongming Wang (ed.)
出版項 Berlin ; New York : Springer, c1998
國際標準書號 9783540697176 (electronic bk.)
3540697179 (electronic bk.)
book jacket
說明 1 online resource (234 p.) : ill
系列 Lecture notes in computer science, 0302-9743 ; 1360. Lecture notes in artificial intelligence
Lecture notes in computer science ; 1360
Lecture notes in computer science. Lecture notes in artificial intelligence
附註 Includes bibliographical references and index
Automated geometric reasoning : Dixon resultants, Gröbner bases, and characteristic sets / Deepak Kapur -- Extended Dixon's resultant and its applications / Quoc-Nam Tran -- Computational geometry problems in REDLOG / Thomas Sturm and Volker Weispfenning -- Probabilistic verification of elementary geometry statements / Giuseppa Carrá Ferro, Giovanni Gallo and Rosario Gennaro -- Computational synthetic geometry with Clifford algebra / Timothy F. Havel -- Clifford algebraic calculus for geometric reasoning with application to computer vision / Dongming Wang -- Area in Grassmann geometry / Desmond Fearnley-Sander and Tim Stokes -- Automated production of readable proofs for theorems in non-Euclidean geometries / Lu Yang ... [et al.] -- Points on algebraic curves and the parametrization problem / Erik Hillgarter and Franz Winkler -- Flat central configurations of four planet motions / He Shi and Fengmei Zou -- Integration of reasoning and algebraic calculus in geometry / Stéphane Fèvre
Description based on print version record
鏈接 Print version: International Workshop on Automated Deduction in Geometry (1st : 1996 : Toulouse, France). Automated deduction in geometry. Berlin ; New York : Springer, c1998 (OCoLC)38738820
主題 Geometry -- Data processing -- Congresses
Automatic theorem proving -- Congresses
Logic, Symbolic and mathematical -- Congresses
Automatic theorem proving. fast (OCoLC)fst00822777
Geometry -- Data processing. fast (OCoLC)fst00940870
Logic, Symbolic and mathematical. fast (OCoLC)fst01002068
Electronic books
Conference proceedings. fast (OCoLC)fst01423772
Alt Author Wang, Dongming
記錄 2 之 2
Record:   Prev Next