Last modified 3 weeks ago
Last modified on 05/05/12 15:46:54
Table of Contents
Zoltán Kovács
About me
I work as an assistant professor at University of Szeged, Hungary and also as a research assistant at the Department of Mathematics Education at Johannes Kepler University (JKU/IDM) of Linz, Austria. Here is my web page in Hungary: http://wmi.math.u-szeged.hu/~kovzol and in Austria. I am also a PhD student at JKU/IDM.
As a consultant, I help in the GeoGebraMobile/GeoGebraWeb project, advising the Hungarian programmers Gábor Ancsin, Árpád Fekete and Judit Éliás.
Other subprojects I'm working on:
- autobuild (source:/trunk/geogebra/desktop/scripts/autobuild)
- autotest (source:/trunk/geogebra/test/scripts/autotest)
- GeoGebra distributed web service network (MirrorServers)
- AutomaticTesting
- SymbolicComputations and TheoremProving
Publications
- Z. Kovács: Automatische Beweise mit GeoGebra - Presentation on TheoremProving at JKU/IDM (2012-01-23)
- Z. Kovács, A. Serafini: Theorem proving in elementary geometry with Gröbner basis - Presentation for the Computer Algebra course at JKU (2012-01-24)
- E. Aichinger, Z. Kovács: Automatisches Beweisen in der Geometrie - Presentation about the Angewandte Mathematik project
- F. Botana, Z. Kovács, S. Weitzhofer: Implementing theorem proving in GeoGebra by using a Singular webservice, Proceedings EACA 2012. Universidad de Alcala (2012)
- Z. Kovács, T. Recio, S. Weitzhofer: Implementing theorem proving in GeoGebra by exact check of a statement in a bounded number of test cases, Proceedings EACA 2012. Universidad de Alcala (2012)
Tickets
GeoGebra 3.2 milestone tickets:
- #168
- Installer bug (language/font) problem
GeoGebra 4.0 milestone tickets:
- #1393
- convert codebase to jars.geogebra.org for old wiki
- #1542
- MSI files are not signed
- #1548
- The MSI files do not put web links into the Start menu
- #1570
- Webstart does not work with the OpenJDK plugin under Ubuntu
- #2020
- Windows uninstaller doesn't work
- #2091
- Fixing packing from Eclipse
- #2196
- Self-updating scripts may have problems
GeoGebraWeb Alpha 1 milestone tickets:
- #2114
- web/deploy should copy files to web/history
GeoGebraWeb Alpha 3 milestone tickets:
- #2066
- web: smaller build for simple applets
GeoGebra 4.2 milestone tickets:
- #1348
- seed random number generator for testing
- #1390
- Automatic testing of ggb files
- #1681
- Update MPReduce automatically via git-svn rebase
- #1891
- java.net.URLEncoder.encode may be changed to geogebra.common.util.URLEncoder.encode
- #1972
- CAS: Copy to Image
- #2064
- new linux installers (add to autobuild)
- #2090
- Webstart: Help -> About -> System Information not working
- #2115
- Autotest should check web runtime errors and obfuscated JARs as well
GeoGebra 5.0 milestone tickets:
- #691
- add new tag to SVN on deploy
- #1353
- FindBugs
- #1389
- buildggb50
- #1458
- The autobuild machinery must be modified to handle git
- #1463
- kickstart.xml may create the wrong .eclipse file if more than one target is set
- #1480
- Similar images
- #1885
- HttpRequest in UtilFactory doesn't work in GeoGebraWeb
- #2031
- Better directory layout in common
- #2052
- General restructuring of trunk/geogebra directory
- #2125
- List of various problems in the prover
GeoGebraTube I7 milestone tickets:
- #1937
- Fix update script
