Tetsuo IdaBooksSymbolic Computation in Software ScienceFunctional and Logic ProgrammingComputational OrigamiArtificial Intelligence and Symbolic ComputationAutomated Deduction in GeometryAuthor data: Open Library