×

Found 44 Documents (Results 1–44)

Newest Citations Relevance
Youssef, Abdou

Part-of-math tagging and applications. (English) Zbl 1367.68313

Geuvers, Herman (ed.) et al., Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17–21, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-62074-9/pbk; 978-3-319-62075-6/ebook). Lecture Notes in Computer Science 10383. Lecture Notes in Artificial Intelligence, 356-374 (2017).
MSC:  68T30 68T50
Cite Review PDF
Full Text: DOI
Benzmüller, Christoph

Invited talk: On a (quite) universal theorem proving approach and its application in metaphysics. (English) Zbl 1471.68302

De Nivelle, Hans (ed.), Automated reasoning with analytic tableaux and related methods. 24th international conference, TABLEAUX 2015, Wrocław, Poland, September 21–24, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9323, 213-220 (2015).
MSC:  68V15 03A05 03B16 03B35
Cite Review PDF
Full Text: DOI
Boy de la Tour, Thierry; Peltier, Nicolas

Analogy in automated deduction: a survey. (English) Zbl 1341.68183

Prade, Henri (ed.) et al., Computational approaches to analogical reasoning: current trends. Revised and extended versions of papers based on the presentations at the international workshop on similarity and analogy-based methods in AI, SAMAI ’12, co-located with the 20th European conference on artificial intelligence, ECAI ’12, Montpellier, France, August 27, 2012. Berlin: Springer (ISBN 978-3-642-54515-3/hbk; 978-3-642-54516-0/ebook). Studies in Computational Intelligence 548, 103-130 (2014).
MSC:  68T15 03B35
Cite Review PDF
Full Text: DOI
Rabe, Florian

A query language for formal mathematical libraries. (English) Zbl 1359.68272

Jeuring, Johan (ed.) et al., Intelligent computer mathematics. 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, systems and projects, held as part of CICM 2012, Bremen, Germany, July 8–13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31373-8/pbk). Lecture Notes in Computer Science 7362. Lecture Notes in Artificial Intelligence, 143-158 (2012).
MSC:  68T30 68P20 68U35
Cite Review PDF
Full Text: DOI arXiv
Heeren, Bastiaan; Jeuring, Johan

Interleaving strategies. (English) Zbl 1335.68290

Davenport, James H. (ed.) et al., Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22672-4/pbk). Lecture Notes in Computer Science 6824. Lecture Notes in Artificial Intelligence, 196-211 (2011).
MSC:  68U35 97U50
Cite Review PDF
Full Text: DOI
Komendantsky, Vladimir; Konovalov, Alexander; Linton, Steve

View of computer algebra data from Coq. (English) Zbl 1335.68232

Davenport, James H. (ed.) et al., Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22672-4/pbk). Lecture Notes in Computer Science 6824. Lecture Notes in Artificial Intelligence, 74-89 (2011).
MSC:  68T15 68W30
Cite Review PDF
Full Text: DOI
Horn, Peter; Roozemond, Dan

OpenMath in SCIEnce: SCSCP and POPCORN. (English) Zbl 1247.68316

Carette, Jacques (ed.) et al., Intelligent computer mathematics. 16th symposium, Calculemus 2009, 8th international conference, MKM 2009, held as part of CICM 2009, Grand Bend, Canada, July 6–12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02613-3/pbk). Lecture Notes in Computer Science 5625. Lecture Notes in Artificial Intelligence, 474-479 (2009).
MSC:  68U35 68T35 68W30
Cite Review PDF
Full Text: DOI
Carette, Jacques; Farmer, William M.

A review of mathematical knowledge management. (English) Zbl 1247.68266

Carette, Jacques (ed.) et al., Intelligent computer mathematics. 16th symposium, Calculemus 2009, 8th international conference, MKM 2009, held as part of CICM 2009, Grand Bend, Canada, July 6–12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02613-3/pbk). Lecture Notes in Computer Science 5625. Lecture Notes in Artificial Intelligence, 233-246 (2009).
MSC:  68T30
Cite Review PDF
Full Text: DOI
Calude, Cristian S.; Müller, Christine

Formal proof: reconciling correctness and understanding. (English) Zbl 1247.03017

Carette, Jacques (ed.) et al., Intelligent computer mathematics. 16th symposium, Calculemus 2009, 8th international conference, MKM 2009, held as part of CICM 2009, Grand Bend, Canada, July 6–12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02613-3/pbk). Lecture Notes in Computer Science 5625. Lecture Notes in Artificial Intelligence, 217-232 (2009).
MSC:  03B35 68T15
Cite Review PDF
Full Text: DOI
Freundt, Sebastian; Horn, Peter; Konovalov, Alexander; Linton, Steve; Roozemond, Dan

Symbolic computation software composability. (English) Zbl 1166.68374

Autexier, Serge (ed.) et al., Intelligent computer mathematics. 9th international conference, AISC 2008, 15th symposium, Calculemus 2008, 7th international conference, MKM 2008, Birmingham, UK, July 28–August 1, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85109-7/pbk). Lecture Notes in Computer Science 5144. Lecture Notes in Artificial Intelligence, 285-295 (2008).
MSC:  68W30 68N99
Cite Review PDF
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software