Linking HOL Light to Mathematica using OpenMath. Seddiki, O. Ph.D. Thesis, Concordia University, Montréal, Canada, 2014.
![Linking HOL Light to Mathematica using OpenMath [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper bibtex
Paper bibtex @phdthesis{seddiki_linking_2014,
address = {Montréal, Canada},
title = {Linking {HOL} {Light} to {Mathematica} using {OpenMath}},
url = {http://hvg.ece.concordia.ca/Publications/Thesis/Thesis-Ons2.pdf},
language = {en},
urldate = {2021-06-08},
school = {Concordia University},
author = {Seddiki, Ons},
year = {2014},
keywords = {cas, hol light, mathematica, openmath, theorem prover, translation, ⛔ No DOI found},
}Downloads: 0
{"_id":"WASKJGCHrYCwudbFD","bibbaseid":"seddiki-linkinghollighttomathematicausingopenmath-2014","author_short":["Seddiki, O."],"bibdata":{"bibtype":"phdthesis","type":"phdthesis","address":"Montréal, Canada","title":"Linking HOL Light to Mathematica using OpenMath","url":"http://hvg.ece.concordia.ca/Publications/Thesis/Thesis-Ons2.pdf","language":"en","urldate":"2021-06-08","school":"Concordia University","author":[{"propositions":[],"lastnames":["Seddiki"],"firstnames":["Ons"],"suffixes":[]}],"year":"2014","keywords":"cas, hol light, mathematica, openmath, theorem prover, translation, ⛔ No DOI found","bibtex":"@phdthesis{seddiki_linking_2014,\n\taddress = {Montréal, Canada},\n\ttitle = {Linking {HOL} {Light} to {Mathematica} using {OpenMath}},\n\turl = {http://hvg.ece.concordia.ca/Publications/Thesis/Thesis-Ons2.pdf},\n\tlanguage = {en},\n\turldate = {2021-06-08},\n\tschool = {Concordia University},\n\tauthor = {Seddiki, Ons},\n\tyear = {2014},\n\tkeywords = {cas, hol light, mathematica, openmath, theorem prover, translation, ⛔ No DOI found},\n}\n","author_short":["Seddiki, O."],"key":"seddiki_linking_2014","id":"seddiki_linking_2014","bibbaseid":"seddiki-linkinghollighttomathematicausingopenmath-2014","role":"author","urls":{"Paper":"http://hvg.ece.concordia.ca/Publications/Thesis/Thesis-Ons2.pdf"},"keyword":["cas","hol light","mathematica","openmath","theorem prover","translation","⛔ No DOI found"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"phdthesis","biburl":"https://bibbase.org/zotero/andreg-p","dataSources":["QGwcHf7xnb5mCCQi7"],"keywords":["cas","hol light","mathematica","openmath","theorem prover","translation","⛔ no doi found"],"search_terms":["linking","hol","light","mathematica","using","openmath","seddiki"],"title":"Linking HOL Light to Mathematica using OpenMath","year":2014}