scientific article; zbMATH DE number 107766

MaRDI QIDQ4023352zbMATH OpenFDO

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

Publication date 23 January 1993

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)

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

Cited in

(4)

• scientific article; zbMATH DE number 3945385 (Why is no real title available?)
• Stability of bundles of dynamic systems and related problems
• scientific article; zbMATH DE number 1567900 (Why is no real title available?)
• scientific article; zbMATH DE number 1189070 (Why is no real title available?)

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)