Department of Computer Science
Dr Ali Uncu
I work on developing and applying formal and human-verifiable symbolic computation algorithms to prove novel mathematical results. I am particularly interested in enumerative and algebraic combinatorics and number theory, especially from the problems arising from q-analogs and the theory of partitions. I am just as interested in the utilization of SAT/SMT (satisfiability and satisfiability modulo theories) methods and applied algebraic geometry to solve/simplify mathematical problems regardless of the source.
Research interests
University of Bath Research Portal:
Ali Uncu — the University of Bath’s research portal
Department for Health
Research Interests
Research interests:
Department of Mechanical Engineering
Research Interests: