Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Paul Montesano
Tidjani Négadi
Moumita Mukherjee
John Tudor
Jhonathan Pinzon
Liangliang Shang
Giovanni Venturelli
Chen Ma
Jing-Sheng Wong
Radu Timofte
Home
/
Author
/
MIHNEA IANCU
Author Info
Open Visualization
Name
Affiliation
Papers
MIHNEA IANCU
Jacobs Univ Bremen, Bremen, Germany
10
Collaborators
Citations
PageRank
15
31
4.72
Referers
Referees
References
38
93
88
Publications (10 rows)
Collaborators (15 rows)
Referers (38 rows)
Referees (93 rows)
Title
Citations
PageRank
Year
The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics.
0
0.34
2016
Importing the OEIS Library Into OMDoc.
0
0.34
2015
A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics
0
0.34
2015
Math Literate Knowledge Management via Induced Material
1
0.35
2015
Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory Graphs.
0
0.34
2014
Representing, Archiving, and Searching the Space of Mathematical Knowledge.
2
0.54
2014
The Mizar Mathematical Library in OMDoc: Translation and Applications
15
1.03
2013
The Scala-REPL + MMT as a lightweight mathematical user interface.
0
0.34
2013
Management of change in declarative languages
5
0.53
2012
Formalising foundations of mathematics.
8
0.58
2011
1