User:Manfred Scheucher

I am a computer scientist and mathematician who enjoys tackling mathematical problems by combining computer power with classical pen-and-paper approaches. This in particular includes the usage of computer algebra systems, modelling problems for SAT/IP/SMT solvers, or simply using plain python/C++.