Intelligent computer mathematics. 11th international conference, CICM 2018, Hagenberg, Austria, August 13--17, 2018. Proceedings (Q1653699): Difference between revisions

Latest revision as of 23:46, 19 March 2024

scientific article

Language	Label	Description	Also known as
English	Intelligent computer mathematics. 11th international conference, CICM 2018, Hagenberg, Austria, August 13--17, 2018. Proceedings	scientific article

Statements

instance of

scholarly article

0 references

title

Intelligent computer mathematics. 11th international conference, CICM 2018, Hagenberg, Austria, August 13--17, 2018. Proceedings (English)

0 references

published in

Lecture Notes in Computer Science

0 references

publication date

6 August 2018

0 references

describes a project that uses

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-319-96812-4

0 references

Identifiers

zbMATH Open document ID

1392.68030

0 references

DOI

10.1007/978-3-319-96812-4

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:1653699

@@ Property / describes a project that uses @@
+Isabelle
@@ Property / describes a project that uses: Isabelle / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mizar
@@ Property / describes a project that uses: Mizar / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MMT
@@ Property / describes a project that uses: MMT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RISCAL
@@ Property / describes a project that uses: RISCAL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Aligator.jl
@@ Property / describes a project that uses: Aligator.jl / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MathTools
@@ Property / describes a project that uses: MathTools / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CoqHammer
@@ Property / describes a project that uses: CoqHammer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OMDoc
@@ Property / describes a project that uses: OMDoc / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MathChat
@@ Property / describes a project that uses: MathChat / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-96812-4
+Normal rank
@@ Property / OpenAlex ID @@
+W211671548
@@ Property / OpenAlex ID: W211671548 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1653699