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

DOI10.1007/3-540-61732-9MaRDI QIDQ2563364zbMATH OpenOpenAlexFDO

Authors

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

AISMCArtificial intelligenceConferenceMathematical computationProceedingsSteyr (Austria)Symbolic mathematical computation

Mathematics Subject Classification ID

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

Review text

The articles of mathematical interest will be reviewed individually. The preceding conference (AISMC-2, 1994) has been reviewed (see Zbl 0842.00045).

Recommendations

• Artificial intelligence and symbolic mathematical computing. International conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings
• Integrating symbolic mathematical computation and artificial intelligence. 2nd international conference, AISMC-2, held in Cambridge, UK, August 3-5, 1994. Selected papers
• Artificial intelligence and symbolic computation. 7th international conference, AISC 2004, Linz, Austria, September 22--24, 2004. Proceedings.
• Artificial intelligence and symbolic computation. International conference AISC '98, Plattsburgh, NY, USA, September 16--18, 1998. Proceedings
• Artificial intelligence, automated reasoning, and symbolic computation. Joint international conferences: AISC 2002, the 6th international conference on artificial intelligence and symbolic computation, and Calculemus 2002, the 10th symposium on the integr
• Artificial intelligence and symbolic computation. 8th international conference, AISC 2006, Beijing, China, September 20--22, 2006. Proceedings
• Artificial intelligence and symbolic computation. International conference AISC 2000, Madrid, Spain, July 17--19, 2000. Revised papers
• scientific article; zbMATH DE number 1389656
• Artificial intelligence and symbolic computation. 13th international conference, AISC 2018, Suzhou, China, September 16--19, 2018. Proceedings
• Special issue: Artificial intelligence and symbolic computation (AISC). Selected papers presented at the 9th international conference, Birmingham, UK, July 31 -- August 1, 2008.

Cited in

(3)

• Integrating symbolic mathematical computation and artificial intelligence. 2nd international conference, AISMC-2, held in Cambridge, UK, August 3-5, 1994. Selected papers
• Automated generation of geometric theorems from images of diagrams
• Artificial intelligence and symbolic computation. International conference AISC 2000, Madrid, Spain, July 17--19, 2000. Revised papers

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2563364)