Simon Weitzhofer

Publication Activity (10 Years)

Years Active: 2015-2016
Publications (10 Years): 1

Top Topics

Automated Theorem Proving

Optimization Procedure

Answer Set Programming

Top Venues

J. Syst. Control. Eng.

J. Autom. Reason.

Publications

Siegfried Silber, Gerd Bramerdorfer, Alexander Dorninger, Armin Fohler, Johannes Gerstmayr, Werner Koppelstätter, Daniel Reischl, Günther Weidenholzer, Simon Weitzhofer
Coupled optimization in MagOpt. J. Syst. Control. Eng. 230 (4) (2016)
Francisco Botana, Markus Hohenwarter, Predrag Janicic, Zoltán Kovács, Ivan Petrovic, Tomás Recio, Simon Weitzhofer
Automated Theorem Proving in GeoGebra: Current Achievements. J. Autom. Reason. 55 (1) (2015)