Noetherian

相关论文数: 1

顶级研究者

André Platzer

研究机构: —

Jan-David Quesel

研究机构: —

最高引用论文

Playing Hybrid Games with KeYmaera

Jan-David Quesel, André Platzer

引用数: 13 • 2012

相关技术

Computer scienceMathematicsPhysicsTheoretical computer scienceProgramming languageGeometryMathematical proofDifferential (mechanical device)Discrete mathematicsCombinatorics