Georgiana Surlea

According to our database, Georgiana Surlea authored at least 1 paper in 2019.

Collaborative distances:

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

2019

Gröbner Bases with Reduction Machines.

Georgiana Surlea, Adrian Craciun

Proceedings of the Proceedings Third Symposium on Working Formal Methods, 2019