Lecture Notes in Computer Science - Intelligent Computer Mathematics
Latest Publications

TOTAL DOCUMENTS

25
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer International Publishing

9783030535179, 9783030535186
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Contextual and Labeled Math-Dataset Derived from NIST’s DLMF

2020 ◽  
pp. 324-330
Author(s):  
Abdou Youssef ◽  
Bruce R. Miller

FrameIT: Detangling Knowledge Management from Game Design in Serious Games

2020 ◽  
pp. 173-189
Author(s):  
Michael Kohlhase ◽  
Benjamin Bösl ◽  
Richard Marcus ◽  
Dennis Müller ◽  
Denis Rochau ◽  
...  
Keyword(s):  
Knowledge Management ◽  
Game Design ◽  
Serious Games

scholarly journals A Survey of Languages for Formalizing Mathematics

2020 ◽  
pp. 138-156
Author(s):  
Cezary Kaliszyk ◽  
Florian Rabe

scholarly journals AutoMSC: Automatic Assignment of Mathematics Subject Classification Labels

2020 ◽  
pp. 237-250
Author(s):  
Moritz Schubotz ◽  
Philipp Scharpf ◽  
Olaf Teschke ◽  
Andreas Kühnemund ◽  
Corinna Breitinger ◽  
...  
Keyword(s):  
Subject Classification ◽  
Automatic Assignment

scholarly journals First Neural Conjecturing Datasets and Experiments

2020 ◽  
pp. 315-323
Author(s):  
Josef Urban ◽  
Jan Jakubův

Interpreting Mathematical Texts in Naproche-SAD

2020 ◽  
pp. 284-289
Author(s):  
Adrian De Lon ◽  
Peter Koepke ◽  
Anton Lorenzen
Keyword(s):  
Mathematical Texts

scholarly journals Maintaining a Library of Formal Mathematics

2020 ◽  
pp. 251-267
Author(s):  
Floris van Doorn ◽  
Gabriel Ebner ◽  
Robert Y. Lewis
Keyword(s):  
Formal Mathematics
Load More ...
Sign in / Sign up

Export Citation Format

Share Document