Follow
Jacques Calmet
Jacques Calmet
Professor
Verified email at ira.uka.de
Title
Cited by
Cited by
Year
The anomalous magnetic moment of the muon: a review of the theoretical contributions
J Calmet, S Narison, M Perrottet, E De Rafael
Reviews of Modern Physics 49 (1), 21, 1977
2001977
Ontobayes: An ontology-driven uncertainty model
Y Yang, J Calmet
International Conference on Computational Intelligence for Modelling …, 2005
1782005
Theorems and algorithms: An interface between Isabelle and Maple
C Ballarin, K Homann, J Calmet
Proceedings of the 1995 international symposium on Symbolic and algebraic …, 1995
1091995
Higher order hadronic corrections to the anomalous magnetic moment of the muon
J Calmet, S Narison, M Perrottet, E De Rafael
Physics Letters B 61 (3), 283-286, 1976
961976
Computer algebra systems
JA Van Hulzen, J Calmet
Computer algebra: symbolic and algebraic computation, 221-243, 1983
691983
A constructive introduction to involution
J Calmet, M Hausdorf, WM Seiler
Proc. Int. Symp. Applications of Computer Algebra—ISACA, 33-50, 2000
552000
Computer algebra applications
J Calmet, JA Van Hulzen
Computer Algebra: Symbolic and Algebraic Computation, 245-258, 1982
54*1982
From entropy to ontology
J Calmet, A Daemi
na, 2004
492004
Classification of communication and cooperation mechanisms for logical and symbolic computation systems
J Calmet, K Homann
Frontiers of Combining Systems: First International Workshop, Munich, March …, 1996
411996
Specification and integration of theorem provers and computer algebra systems
PG Bertoli, J Calmet, F Giunchiglia, K Homann
Artificial Intelligence and Symbolic Computation: International Conference …, 1998
401998
Combining theorem proving and symbolic mathematical computing
K Homann, J Calmet
Integrating Symbolic Mathematical Computation and Artificial Intelligence …, 1995
381995
Agent-oriented abstraction.
J Calmet, P Maret, R Endsuleit
RACSAM 98 (1), 77-83, 2004
332004
Specification and integration of theorem provers and computer algebra systems
PG Bertoli, J Calmet, F Giunchiglia, K Homann
Fundamenta Informaticae 39 (1-2), 39-57, 1999
331999
KOMET—A system for the integration of heterogeneous information sources
J Calmet, S Jekutsch, P Kullmann, J Schü
Foundations of Intelligent Systems: 10th International Symposium, ISMIS'97 …, 1997
321997
Algorithmic methods for Lie pseudogroups
J Schü, WM Seiler, J Calmet
Modern Group Analysis: Advanced Analytical and Computational Methods in …, 1993
301993
Virtual knowledge communities for corporate knowledge issues
P Maret, M Hammond, J Calmet
International Workshop on Engineering Societies in the Agents World, 33-44, 2004
292004
A generic query-translation framework for a mediator architecture
J Calmet, S Jekutsch, J Schu
Proceedings 13th International Conference on Data Engineering, 434-443, 1997
291997
Structures for symbolic mathematical reasoning and computation
K Homann, J Calmet
Design and Implementation of Symbolic Computation Systems: International …, 1996
291996
An improvement of Rabin's probabilistic algorithm for generating irreductible polynomials over GF (p)
J Calmet, R Loos
291980
Recoil corrections to muonic atom energy levels
RC Barrett, DA Owen, J Calmet, H Grotch
Physics Letters B 47 (4), 297-299, 1973
291973
The system can't perform the operation now. Try again later.
Articles 1–20