Loading...
Images of Mihnea Iancu
(0 from 0 )1
0
0
News
MathUI workshop 2013
cermat.org
The Mathematical User interfaces workshop at the CICM Conferences, Bath.
Network Profiles
LinkedIn: Mihnea Iancu | LinkedIn
View Mihnea Iancu’s professional profile on LinkedIn. LinkedIn is the world's largest business network, helping professionals like Mihnea Iancu discover inside ...
Business Profiles
Researchgate: Mihnea Iancu
Bremen, Bremen, Germany
Private Homepages
Mihnea Iancu - Software Engineer, YugaByte | Datajar
datajar.io
Get contact details of Mihnea Iancu - Software Engineer, YugaByte and other similar contacts. Sign up and get 50 free credits
Books & Literature
Mihnea Iancu | XanEdu Customization Platform
www.academicpub.com
Author: Mihnea Iancu. Results. The Mizar Mathematical Library in OMDoc: Translation and Applications Springer Science+Business Media
Table of Contents: Intelligent computer mathematics
library.villanova.edu
... Mnacho Echenim and Nicolas Peltier; Management of Change in Declarative Languages /; Mihnea Iancu and Florian Rabe; MathWebSearch 0.5: Scaling an ...
Intelligent Computer Mathematics: CICM Joint Events: Calculemus,...
books.google.de
This book constitutes the joint refereed proceedings of Calculemus 2014, Digital Mathematics Libraries, DML 2014, Mathematical Knowledge Management, MKM
Mathematical Software -- ICMS 2014: 4th International Conference,...
books.google.de
This book constitutes the proceedings of the 4th International Conference on Mathematical Software, ICMS 2014, held in Seoul, South Korea, in August The...
Related Documents
Mihnea Iancu - researchr alias advised
researchr.org
Mihnea Iancu. Nicolas M. Thiéry. Olaf Teschke. Paul-Olivier Dehaye. Samuel Lelièvre. Tom Wiesing. Wolfram Sperber. Filter by Top Terms. OR AND NOT 1. adoption ...
CiteSeerX — The Scala-REPL + MMT as a Lightweight Mathematical User...
citeseerx.ist.psu.edu
BibTeX @MISC{Iancu_thescala-repl, author = {Mihnea Iancu and Felix Mance and Florian Rabe}, title = {The Scala-REPL + MMT as a Lightweight Mathematical User ...
The Scala-REPL + MMT as a Lightweight Mathematical User ...
ceur-ws.org
The Scala-REPL + MMT as a Lightweight Mathematical User Interface Mihnea Iancu, Felix Mance, and Florian Rabe Jacobs University, Bremen, Germany Abstract. Scala is a general purpose programming language that in-cludes a read-eval-print loop (REPL). Mmt is a general representation language for formal mathematical knowledge implemented in Scala ...
Florian Rabe - researchr profile publications
researchr.org
AISC 2010: [doi] · Management of Change in Declarative Languages Mihnea Iancu, Florian Rabe. AISC 2012: [doi] · Extending MKM Formats ...
Scientific Publications
dblp: BibTeX records: Mihnea Iancu
dblp.uni-trier.de
List of computer science publications by BibTeX records: Mihnea Iancu
DBLP - Florian Rabe
dblp.cloudmining.net
Mihnea Iancu, Florian Rabe : Management of Change in Declarative Languages. AISC/MKM/Calculemus (AISC) · Read article -. Similar / Add to ...
Publications
Work-in-progress: An MMT-Based User-Interface - CORE
core.ac.uk
By Mihnea Iancu and Florian Rabe. Abstract. The Mmt language constitutes a scalable representation and interchange format for formal mathematical knowledge.
Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal...
link.springer.com
Representation formats based on theory graphs have been successful in formalized mathematics as they provide valuable logic-compatible modularity and foster...
CiteL - OeisWikioeis.org/wiki/CiteL
oeis.org
Enxhell Luzhnica, Mihnea Iancu, Michael Kohlhase, Importing the OEIS library into OMDoc, In: R. Bergmann, S. Görg, G. Müller (Eds.): Proceedings of the LWA ...
Interoperability in the OpenDreamKit project : the Math-in-the-Middle...
core.ac.uk
By Paul-Olivier Dehaye, Mihnea Iancu, Michael Kohlhase, Alexander Konovalov, Samuel Lelièvre, Dennis Müller, Markus Pfeiffer, Florian Rabe, Nicolas M. Thiéry and ...
Reports & Statements
Mihnea | Daniel I. Iancu's Blog
danieliiancu.wordpress.com
Ieri eram la grădină. Că Bunicu nu putea să le facă pe toate: să dea mâncare la iepuraşi, să se joace cu Blacky, să mute de colo-colo tot felul de lucruri care nu trebuiau mutate, să ude răsadurile, să scoată florile de sub coperiş la aer, să facă chifteluţe, să planteze roşiile la locul lor, să se joace cu furtunul cu apă, să se urce în copaci, să se dea în hintă ...
Re: [mizar] How to call it?
mizar.uwb.edu.pl
Mihnea Iancu, Michael Kohlhase, Florian Rabe and Josef Urban ...
Miscellaneous
Mihnea Iancu - Software Engineer - YugaByte | LinkedIn
www.linkedin.com
View Mihnea Iancu's profile on LinkedIn, the world's largest professional community. Mihnea has 1 job listed on their profile. See the complete profile on ...
Mihnea Iancu - olimpic de aur al Craiovei - GAZETA de SUD
www.gds.ro
Creativitatea deosebita, puterea de munca si ambitia sunt doar câteva dintre calitatile prin care Mihnea Iancu a devenit unul dintre cei mai buni ...
Mihnea Iancu's stream on SoundCloud - Hear the world's ...soundcloud.com › mihnea-iancu
soundcloud.com
Search. Cancel. ×. Listen on the SoundCloud app. No more previews, just full tracks. Try SoundCloud Go+. Mihnea Iancu's avatar. Mihnea Iancu ...
Mihnea Iancu's likes on SoundCloud
soundcloud.com
Listen to Mihnea Iancu | SoundCloud is an audio platform that lets you listen to what you love and share the sounds you create.. Stream Tracks and Playlists ...
Info on Mihnea Iancu by static clients.your-server.de
static.138.15.9.176.clients.your-server.de
Find hidden profiles and photos for Mihnea Iancu across MySpace, Facebook and 40+ networks. Link in the Web (0). Loading... Loading... No data available.
Mihnea Iancu – Medium
medium.com
Read writing from Mihnea Iancu on Medium. Every day, Mihnea Iancu and thousands of other voices read, write, and share important stories on Medium.
Mihnea Iancu you are.. a Ladie's Purse
www.watflower.com
Mihnea Iancu you are.. a Ladie's Purse. Personality: Like's Shopping/Tends to be materialistic. Latin name: Calceolaria. Now find out what flower others are.
Mihnea Iancu - Echipa - Album Foto - F.C. ATLETIC BRAILA
atletic-braila.ucoz.com
| Adaugat de: fynk09 · Vezi imaginea in marime reala ...
Who’s Who
ad-astra.ro
MIHNEA IANCU. Avatar. Universitatea Bucuresti, Bucuresti, Romania. E-mail: trimite un mesaj. Nascut(a) in: Interese: LAW,POLITICAL PHILOSOPHY ...
Commits · ed91c74c5aa152c4feba810cceeea6b · Mihnea Iancu /...
gl.mathhub.info
Mihnea Iancu / SMGloM. Toggle navigation. Sign in · Sign in · Activity · Files · Commits · Network · Graphs · Issues 0 · Merge Requests 0 · Wiki.
Rating Mihnea Iancu (mihnea_iancu)
www.varena.ro
mihnea_iancu · Vezi solutiile trimise, Nume, Mihnea Iancu. Cont, mihnea_iancu. Clasa. Invalid info paramater. Rating, 0. Statut, Utilizator normal ...
A Flexiformal Model of Knowledge Dissemination and Aggregation in...
www.semanticscholar.org
In the traditional knowledge dissemination process in mathematics and sciences, authors write semi-selfcontained articles which are then published in journals,...
Contribution Charts · Mihnea Iancu / SMGloM · GitLab
gl.mathhub.info
389 commits during 174 days. Average 2.2 commits per day. Contributed by 8 authors. Commits per day of month. Commits per day hour (UTC). Commits per ...
CICM Conference on Intelligent Computer Mathematics
www.cicm-conference.org
Conference on Intelligent Computer Mathematics 2015
HOL in nLab
ncatlab.org
Florian Rabe and Mihnea Iancu, A Formalized Set-Theoretical Semantics of Isabelle/HOL . Revised on November 1, :04:38 by Urs Schreiber ( ) Edit | ...
ICMS Session: Software for Mathematical Theory Exploration
www3.risc.jku.at
Mihnea Iancu, Michael Kohlhase, Corneliu Prodescu (Jacobs University Bremen, Germany) Representing and Searching the Space of Mathematical Knowledge 4. …
Mihnea Iancu · GitLab - MathHub
gl.mathhub.info
@miancu Member since November 13, Overview · Activity · Groups · Contributed projects · Personal projects · Snippets ...
[PDF] Formalizing Foundations of Mathematics - Semantic Scholar
www.semanticscholar.org
The increase of mathematical knowledge during the last few hundred years and its development towards greater precision has led to the formalization of large...
Work-in-progress: An MMT-Based User-Interface
www.semanticscholar.org
Work-in-progress: An MMT-Based User-Interface Mihnea Iancu and Florian Rabe Computer Science, Jacobs University, Bremen, Germany
sorted by relevance / date