scientific article; zbMATH DE number 107766

zbMATH Open0918.68115MaRDI QIDQ4023352FDOQ4023352

Authors: A. N. Vasyukov, Yu. A. Komarov, I. A. Yanovich 

Publication date: 23 January 1993

Title of this publication is not available (Why is that?)

Recommendations

• Geometric reasoning with logic and algebra
• scientific article; zbMATH DE number 4000859
• scientific article; zbMATH DE number 1189070
• scientific article; zbMATH DE number 2247469
• Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang

zbMATH Keywords

computer-aided design systems

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Computer science aspects of computer-aided design (68U07) Numerical aspects of computer graphics, image analysis, and computational geometry (65D18)

Cited In (4)

• Title not available (Why is that?)
• Stability of bundles of dynamic systems and related problems
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4023352)