Parallelizations in Weihrauch Reducibility and Constructive Reverse Mathematics.

Makoto Fujiwara

Published in: CiE (2020)

Keyphrases

combinatorial search
computer science
search space
computer algebra
databases
neural network
information retrieval
genetic algorithm
expert systems
pairwise
simulated annealing
mathematics education
mathematical knowledge