Wolfgang Gehrke

According to our database, Wolfgang Gehrke authored at least 4 papers between 1995 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

Reducing 2-QuBit Gate Count for ZX-Calculus based Quantum Circuit Optimization.

Korbinian Staudacher, Tobias Guggemos, Sophia Grundner-Culemann, Wolfgang Gehrke

Proceedings of the Proceedings 19th International Conference on Quantum Physics and Logic, 2022

2001

Computer-Aided Construction of Finite Geometric Spaces: Automated Verification of Geometric Constraints.

Wolfgang Gehrke, Jochen Pfalzgraf

J. Autom. Reason., 2001

1996

Exploiting SML for Experimenting with Algebraic Algorithms: The Example of p-adic Lifting.

Wolfgang Gehrke, Carla Limongelli

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1996

1995

Problems in Rewriting Applied to Categorical Concepts by the Example of a Computational Comonad.

Wolfgang Gehrke

Proceedings of the Rewriting Techniques and Applications, 6th International Conference, 1995