2 experts in "mechanized mathematics" found:
William Farmer
Expert In:
Mechanized
mathematics
View Profile
Jacques Carette
Expert In:
Mechanized
mathematics
Computations by computer
Computer algebra systems
Correct-by-construction programming
View Profile