Login / Signup
Computer Algebra in the Service of Enumerative Combinatorics.
Alin Bostan
Published in:
ISSAC (2021)
Keyphrases
</>
computer algebra
theorem prover
service providers
web services
computer algebra systems
management system
graph theory
genetic algorithm
service oriented architecture
integer programming
automated theorem provers
service times
service composition
database
digital libraries
data sets
real time