Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Gilles Audemard
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Solving Mathematical Problems by Using Maple Factorization Algorithms
Teaching Mathematics and Computer Science
Mathematical Foundations
Mathematical Foundations
Mathematical Foundations
8 Mathematical Foundations
Mathematical Foundations for Probability and Causality
Mathematical Aspects of Artificial Intelligence
Mathematical Foundations of Neuroscience
Interdisciplinary Applied Mathematics
Geometric Foundations of Numerical Algorithms and Symmetry
Applicable Algebra in Engineering, Communications and Computing
Applied Mathematics
Number Theory
Algebra
The Mathematical Foundations of Elasticity and Electromagnetism Revisited
Journal of Modern Physics