nicolas.meric
/
Isabelle_DOF
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
1,592 Commits 32 Branches 0 Tags 62 MiB
Commit Graph

26 Commits

Author SHA1 Message Date
Nicolas Méric 7618f8b2c4 Update bibliography and bbl file 2022-04-20 17:20:00 +02:00
Nicolas Méric 108be68f19 Update bibliography 2022-04-20 15:39:38 +02:00
Burkhart Wolff ee3428d384 Merge branch 'ICFEM-2022' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF into ICFEM-2022 2022-04-19 14:03:57 +02:00
Burkhart Wolff c9beb99b7a Elements in the intro 
- enlarging the scope to engineering
- addig recfs.
 2022-04-19 14:02:37 +02:00
Idir AIT SADOUNE aa6d11f73c updating references in root.bib 2022-04-19 00:35:04 +02:00
Burkhart Wolff 8722b21c3d shortened para 2.3 
- added ref on eval
- reduced blur
- fused 3 paras into one by avoiding
  in-depth explication of the techniques
- established link to runtime-testing and the title
 2022-04-13 12:11:44 +02:00
Burkhart Wolff 1c31a11bdc started para on CENELEC. 2022-04-12 08:54:37 +02:00
Nicolas Méric 12588fa6e9 Update layout and references in relataed work 2022-02-09 10:32:34 +01:00
Nicolas Méric 8b7162d104 Update layout, fix typo 2022-02-09 09:50:45 +01:00
Idir AIT SADOUNE 31de87dfca adding some references about mapping definitions 2022-02-08 14:02:22 +01:00
Nicolas Méric 8bfe06db9e Update reference to DBpedia and fix typo 2022-02-08 10:55:15 +01:00
Nicolas Méric 41e8c4975a Update references, explains term antiqutations, fix typo 2022-02-08 10:15:30 +01:00
Burkhart Wolff c2fa80953a Draft of Conclusion 2022-02-08 06:56:28 +01:00
Burkhart Wolff 3226fdf0c8 added elements in Conclusion Related Work 2022-02-07 23:56:35 +01:00
Nicolas Méric c914b201ee Update invariants section 2022-02-07 09:52:56 +01:00
Nicolas Méric b2aac7288d Add OntoMathPro section and update invariants section 2022-02-06 20:34:39 +01:00
Burkhart Wolff e6721b548d added 2 sections in background. 2022-02-02 23:04:37 +01:00
Burkhart Wolff d319ab2555 section on extensible records 2022-02-02 17:03:17 +01:00
Burkhart Wolff c5cdf5f826 revised introduction 2022-01-29 22:27:30 +01:00
Nicolas Méric a38d13198c Add invariants and queries draft in 2021-ITP-PMTI 2022-01-28 17:18:09 +01:00
Burkhart Wolff d7c7a98138 added elements to related work: OntoMathPro, ScienceWISE, DBpedia 2022-01-20 22:08:32 +01:00
Nicolas Méric 688e823463 Make 2021-ITP-PMTI paper compile 2022-01-19 09:40:05 +01:00
Burkhart Wolff 77150aefe2 more on intro 2021-12-19 10:38:00 +01:00
Burkhart Wolff 12d33fa457 more on intro ... 2021-12-17 15:44:47 +01:00
Burkhart Wolff b0a2214c40 added refs 2021-12-16 15:07:02 +01:00
Burkhart Wolff 3f09aca090 added paper frame, small things. 2021-12-16 13:49:44 +01:00