Noetherian

Related papers: 1

Top Researchers

André Platzer

Institution: —

Jan-David Quesel

Institution: —

Top Cited Papers

Playing Hybrid Games with KeYmaera

Jan-David Quesel, André Platzer

Citations: 13 • 2012

Related Technologies

Computer science Mathematics Physics Theoretical computer science Programming language Geometry Mathematical proof Differential (mechanical device)Discrete mathematics Combinatorics