Zobrazeno 1 - 10
of 93
pro vyhledávání: '"Jacques Calmet"'
This book constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2018, held in Suzhou, China, in September 2018. The 13 full papers presented together with 5 short and 2 inv
Publikováno v:
International Journal of Decision Support System Technology. 4:1-11
The authors introduce a theoretical framework enabling to process decisions making along some of the lines and methodologies used to mechanize mathematics and more specifically to mechanize the proofs of theorems. An underlying goal of Decision Suppo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9e662e746e31f81c931cffc95345d0dd
https://doi.org/10.4018/jdsst.2012070101
https://doi.org/10.4018/jdsst.2012070101
Autor:
Jacques Calmet
Publikováno v:
Annals of Mathematics and Artificial Intelligence. 64:337-342
This Foreword outlines the changing relationships among Computer Algebra, Computer Science, Mathematics and Physics with a special emphasis on Mathematics.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f46e9cda0e0bde9056b52da5ef6f85fe
https://doi.org/10.1007/s10472-012-9300-3
https://doi.org/10.1007/s10472-012-9300-3
Autor:
Jacques Calmet
Publikováno v:
Annals of Mathematics and Artificial Intelligence. 80:1-2
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b8e2fddcaf9f6ed93337f68f78cc5218
https://doi.org/10.1007/s10472-017-9548-8
https://doi.org/10.1007/s10472-017-9548-8
Autor:
Xavier Calmet, Jacques Calmet
Publikováno v:
Modern Physics Letters A. 26:319-323
We introduce a concept of distance between physical theories described by an action. The definition of the distance is based on the relative entropy. We briefly discuss potential physical applications.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::61c9402b8bcd987b7da6b94745ab1038
https://doi.org/10.1142/s0217732311034955
https://doi.org/10.1142/s0217732311034955
Autor:
Jacques Calmet, François Ollivier
Publikováno v:
Applicable Algebra in Engineering, Communication and Computing. 20:1-4
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::737afccf42815319486f3eac7845bc83
https://doi.org/10.1007/s00200-009-0090-8
https://doi.org/10.1007/s00200-009-0090-8
This book constitutes the refereed proceedings of the 12th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2014, held in Seville, Spain, in December 2014. The 15 full papers presented together with 2 invited papers
Autor:
Jacques Calmet, Xavier Calmet
Publikováno v:
Physics Letters A. 376:824-826
Qubits have been designed in the framework of quantum mechanics. Attempts to formulate the problem in the language of quantum field theory have been proposed already. In this short note we refine the meaning of qubits within the framework of quantum
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5fd77d93462fade4a339ad2d114d2727
https://doi.org/10.1016/j.physleta.2012.01.034
https://doi.org/10.1016/j.physleta.2012.01.034
Publikováno v:
Annals of Mathematics and Artificial Intelligence. 36:263-277
In a mediator system based on annotated logics it is a suitable requirement to allow annotations from different lattices in one program on a per-predicate basis. These lattices however may be related through common sublattices, hence demanding predic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::851776fcf904a39f3987ac059b95c304
https://doi.org/10.1023/a:1016099113173
https://doi.org/10.1023/a:1016099113173
Publikováno v:
Fundamenta Informaticae. 39:39-57
Computer algebra systems (CASs) and automated theorem provers (ATPs) exhibit complementary abilities. CASs focus on efficiently solving domain-specific problems. ATPs are designed to allow for the formalization and solution of wide classes of problem
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4411da208ac2a13789bc63b8374369e5
https://doi.org/10.3233/fi-1999-391203
https://doi.org/10.3233/fi-1999-391203