Mathematical Knowledge Management

DOI10.1007/11618027zbMath1151.68632OpenAlexW2480281325MaRDI QIDQ5898525

Tetsuo Ida, Mircea Marin, Hidekazu Takahashi

Publication date: 12 February 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11618027

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Knowledge representation (68T30) Mechanization of proofs and logical operations (03B35)

Related Items

Computational Origami Construction as Constraint Solving and Rewriting