News
Automated Proving in Geometry using Gröbner bases in Isabelle/HOL
argo.matf.bg.ac.rs
Danijela Petrovic Filip Maric Predrag Janicic. 1danijela,filip ... Danijela Petrovic, Filip Maric, Predrag Janicic .ac.rs. Automated ...
Annals of DAAAM & Proceedings January Article Archives ...
www.highbeam.com
January 1, 2007; Nikolovski, Srete;Maric, Predrag;Caha, Vladimir Abstract: This paper presents Computer Aided Design (CAD) CYMGRD software
sorted by relevance / date