Ida, Tetsuo.
Overview
| Works: | 2 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Symbolic computation in software science = 10th international symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024 : proceedings /
by:
Watt, Stephen M.; Workshop on the Preservation of Stability under Discretization ((2001 :); Ida, Tetsuo.; SpringerLink (Online service)
(Language materials, printed)
Automated deduction in geometry = 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012 : revised selected papers /
by:
SpringerLink (Online service); Ida, Tetsuo.; Workshop on the Preservation of Stability under Discretization ((2001 :); Fleuriot, Jacques.
(Language materials, printed)
An Introduction to Computational Origami
by:
Ida, Tetsuo.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Subjects
Software Engineering.
Computer mathematics.
Computer science—Mathematics.
Formal methods (Computer science)
Automatic theorem proving
Symbolic and Algebraic Manipulation.
Geometry
Theory of Computation.
Computer Science.
Mathematical Logic and Formal Languages.
Computer science
Artificial Intelligence (incl. Robotics)
Mathematical Applications in Computer Science.
Artificial Intelligence.
Computer Graphics.
Discrete Mathematics in Computer Science.