Artificial intelligence and symbolic mathematical computation. International conference, AISMC-3, Steyr, Austria, September 23--25, 1996. Proceedings

DOI10.1007/3-540-61732-9zbMath0853.68027OpenAlexW4231338377MaRDI QIDQ2563364

No author found.

Publication date: 11 December 1996

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

Full work available at URL: https://doi.org/10.1007/3-540-61732-9

zbMATH Keywords

ConferenceProceedingsArtificial intelligenceAISMCMathematical computationSteyr (Austria)Symbolic mathematical computation

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Artificial intelligence (68Txx)

Related Items (1)

Automated generation of geometric theorems from images of diagrams

This page was built for publication: Artificial intelligence and symbolic mathematical computation. International conference, AISMC-3, Steyr, Austria, September 23--25, 1996. Proceedings