default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Zoltán Kovács
@article{DBLP:journals/jsc/Kovacs0RV24,
author = {Zolt{\'{a}}n Kov{\'{a}}cs and
Christopher W. Brown and
Tom{\'{a}}s Recio and
R{\'{o}}bert Vajda},
title = {Computing with Tarski formulas and semi-algebraic sets in a web browser},
journal = {J. Symb. Comput.},
volume = {120},
pages = {102235},
year = {2024},
url = {https://doi.org/10.1016/j.jsc.2023.102235},
doi = {10.1016/J.JSC.2023.102235},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/Kovacs0RV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paar/KovacsO24,
author = {Zolt{\'{a}}n Kov{\'{a}}cs and
Reinhard Oldenburg},
editor = {Christopher W. Brown and
Daniela Kaufmann and
Cl{\'{a}}udia Nalon and
Alexander Steen and
Martin Suda},
title = {A Technological Approach to Teaching Inequalities, Propositional and
Predicate Logic},
booktitle = {Joint Proceedings of the 9th Workshop on Practical Aspects of Automated
Reasoning {(PAAR)} and the 9th Satisfiability Checking and Symbolic
Computation Workshop (SC-Square), 2024 co-located with the 12th International
Joint Conference on Automated Reasoning {(IJCAR} 2024), Nancy, France,
July 2, 2024},
series = {{CEUR} Workshop Proceedings},
volume = {3717},
pages = {122--131},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3717/paper7.pdf},
timestamp = {Wed, 03 Jul 2024 23:09:04 +0200},
biburl = {https://dblp.org/rec/conf/paar/KovacsO24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2401-10725,
editor = {Pedro Quaresma and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Proceedings 14th International Conference on Automated Deduction in
Geometry, {ADG} 2023, Belgrade, Serbia, 20-22th September 2023},
series = {{EPTCS}},
volume = {398},
year = {2024},
url = {https://doi.org/10.4204/EPTCS.398},
doi = {10.4204/EPTCS.398},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-10725.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/KovacsJ23,
author = {Zolt{\'{a}}n Kov{\'{a}}cs and
Predrag Janicic},
title = {Formalization of geometry, automated and interactive geometric reasoning},
journal = {Ann. Math. Artif. Intell.},
volume = {91},
number = {6},
pages = {751--752},
year = {2023},
url = {https://doi.org/10.1007/s10472-023-09909-3},
doi = {10.1007/S10472-023-09909-3},
timestamp = {Mon, 27 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amai/KovacsJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/BrownKR23,
author = {Christopher W. Brown and
Zolt{\'{a}}n Kov{\'{a}}cs and
Tom{\'{a}}s Recio},
title = {Faithful Real-Time Animation of Parametrized (Semi-) Algebraic Expressions
via Cylindrical Algebraic Decomposition},
journal = {{ACM} Commun. Comput. Algebra},
volume = {57},
number = {2},
pages = {43--46},
year = {2023},
url = {https://doi.org/10.1145/3614408.3614413},
doi = {10.1145/3614408.3614413},
timestamp = {Tue, 15 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cca/BrownKR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/maple/DanaPicardK23,
author = {Thierry N. Dana{-}Picard and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Dynamic and automated constructions of plane curves},
journal = {Maple Trans.},
volume = {3},
number = {3},
year = {2023},
url = {https://doi.org/10.5206/mt.v3i3.15082},
doi = {10.5206/MT.V3I3.15082},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/maple/DanaPicardK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/DanaPicardK23,
author = {Thierry N. Dana{-}Picard and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Automated Exploration of Envelopes and Offsets with Networking of
Technologies},
journal = {Math. Comput. Sci.},
volume = {17},
number = {1},
pages = {3},
year = {2023},
url = {https://doi.org/10.1007/s11786-022-00555-2},
doi = {10.1007/S11786-022-00555-2},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mics/DanaPicardK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/SzaboVHGBGZNHKF23,
author = {Gergo Szabo and
Flora Vit{\'{a}}lis and
Zsuzsanna Horvath{-}Mezofi and
M{\'{o}}nika G{\"{o}}b and
Juan Pablo Aguinaga B{\'{o}}squez and
Zoltan Gillay and
Tam{\'{a}}s Zsom and
Lien Le Phuong Nguyen and
G{\'{e}}za Hitka and
Zolt{\'{a}}n Kov{\'{a}}cs and
Laszlo Friedrich},
title = {Application of Near Infrared Spectroscopy to Monitor the Quality Change
of Sour Cherry Stored under Modified Atmosphere Conditions},
journal = {Sensors},
volume = {23},
number = {1},
pages = {479},
year = {2023},
url = {https://doi.org/10.3390/s23010479},
doi = {10.3390/S23010479},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/SzaboVHGBGZNHKF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scsquare/BrownKLRVV23,
author = {Christopher W. Brown and
Zolt{\'{a}}n Kov{\'{a}}cs and
Simone Luksch and
Tom{\'{a}}s Recio and
R{\'{o}}bert Vajda and
M. Pilar V{\'{e}}lez},
editor = {Erika {\'{A}}brah{\'{a}}m and
Thomas Sturm},
title = {Towards Detection of Partial Truth via Real Geometry},
booktitle = {Proceedings of the 8th SC-Square Workshop co-located with the 48th
International Symposium on Symbolic and Algebraic Computation, SC-Square@ISSAC
2023, Troms{\o}, Norway, July 28, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3455},
pages = {44--53},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3455/short2.pdf},
timestamp = {Mon, 28 Aug 2023 17:23:07 +0200},
biburl = {https://dblp.org/rec/conf/scsquare/BrownKLRVV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2401-11900,
author = {Zolt{\'{a}}n Kov{\'{a}}cs and
Tom{\'{a}}s Recio and
M. Pilar V{\'{e}}lez},
editor = {Pedro Quaresma and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Showing Proofs, Assessing Difficulty with GeoGebra Discovery},
booktitle = {Proceedings 14th International Conference on Automated Deduction in
Geometry, {ADG} 2023, Belgrade, Serbia, 20-22th September 2023},
series = {{EPTCS}},
volume = {398},
pages = {43--52},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.398.8},
doi = {10.4204/EPTCS.398.8},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-11900.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2401-13702,
author = {Zolt{\'{a}}n Kov{\'{a}}cs and
Alexander Vujic},
editor = {Pedro Quaresma and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Open Source Prover in the Attic},
booktitle = {Proceedings 14th International Conference on Automated Deduction in
Geometry, {ADG} 2023, Belgrade, Serbia, 20-22th September 2023},
series = {{EPTCS}},
volume = {398},
pages = {53--61},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.398.9},
doi = {10.4204/EPTCS.398.9},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-13702.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2401-11906,
author = {Bel{\'{e}}n Ari{\~{n}}o{-}Morera and
Zolt{\'{a}}n Kov{\'{a}}cs and
Tom{\'{a}}s Recio and
Piedad Tolmos},
editor = {Pedro Quaresma and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem:
Lessons Learned},
booktitle = {Proceedings 14th International Conference on Automated Deduction in
Geometry, {ADG} 2023, Belgrade, Serbia, 20-22th September 2023},
series = {{EPTCS}},
volume = {398},
pages = {101--109},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.398.13},
doi = {10.4204/EPTCS.398.13},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-11906.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2401-13703,
author = {Amela Hota and
Zolt{\'{a}}n Kov{\'{a}}cs and
Alexander Vujic},
editor = {Pedro Quaresma and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Solving Some Geometry Problems of the N{\'{a}}boj 2023 Contest
with Automated Deduction in GeoGebra Discovery},
booktitle = {Proceedings 14th International Conference on Automated Deduction in
Geometry, {ADG} 2023, Belgrade, Serbia, 20-22th September 2023},
series = {{EPTCS}},
volume = {398},
pages = {110--123},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.398.14},
doi = {10.4204/EPTCS.398.14},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-13703.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2401-13704,
author = {Ines Ganglmayr and
Zolt{\'{a}}n Kov{\'{a}}cs},
editor = {Pedro Quaresma and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Using Java Geometry Expert as Guide in the Preparations for Math Contests},
booktitle = {Proceedings 14th International Conference on Automated Deduction in
Geometry, {ADG} 2023, Belgrade, Serbia, 20-22th September 2023},
series = {{EPTCS}},
volume = {398},
pages = {124--131},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.398.15},
doi = {10.4204/EPTCS.398.15},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-13704.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2401-11908,
author = {Anna K{\"{a}}ferb{\"{o}}ck and
Zolt{\'{a}}n Kov{\'{a}}cs},
editor = {Pedro Quaresma and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {The Locus Story of a Rocking Camel in a Medical Center in the City
of Freistadt},
booktitle = {Proceedings 14th International Conference on Automated Deduction in
Geometry, {ADG} 2023, Belgrade, Serbia, 20-22th September 2023},
series = {{EPTCS}},
volume = {398},
pages = {132--141},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.398.16},
doi = {10.4204/EPTCS.398.16},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-11908.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/BrownKRVV22,
author = {Christopher W. Brown and
Zolt{\'{a}}n Kov{\'{a}}cs and
Tom{\'{a}}s Recio and
R{\'{o}}bert Vajda and
M. Pilar V{\'{e}}lez},
title = {Is Computer Algebra Ready for Conjecturing and Proving Geometric Inequalities
in the Classroom?},
journal = {Math. Comput. Sci.},
volume = {16},
number = {4},
pages = {31},
year = {2022},
url = {https://doi.org/10.1007/s11786-022-00532-9},
doi = {10.1007/S11786-022-00532-9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/BrownKRVV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/KovacsBRV22,
author = {Zolt{\'{a}}n Kov{\'{a}}cs and
Christopher W. Brown and
Tom{\'{a}}s Recio and
R{\'{o}}bert Vajda},
editor = {Bruno Buchberger and
Mircea Marin and
Viorel Negru and
Daniela Zaharie},
title = {A web version of Tarski, a system for computing with Tarski formulas
and semialgebraic sets},
booktitle = {24th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2022, Hagenberg / Linz, Austria, September
12-15, 2022},
pages = {59--62},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/SYNASC57785.2022.00019},
doi = {10.1109/SYNASC57785.2022.00019},
timestamp = {Fri, 04 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/synasc/KovacsBRV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/KovacsRV21,
author = {Zolt{\'{a}}n Kov{\'{a}}cs and
Tom{\'{a}}s Recio and
M. Pilar V{\'{e}}lez},
title = {Automated reasoning tools in GeoGebra discovery},
journal = {{ACM} Commun. Comput. Algebra},
volume = {55},
number = {2},
pages = {39--43},
year = {2021},
url = {https://doi.org/10.1145/3493492.3493495},
doi = {10.1145/3493492.3493495},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cca/KovacsRV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/BotanaKR21,
author = {Francisco Botana and
Zolt{\'{a}}n Kov{\'{a}}cs and
Tom{\'{a}}s Recio},
title = {A Mechanical Geometer},
journal = {Math. Comput. Sci.},
volume = {15},
number = {4},
pages = {631--641},
year = {2021},
url = {https://doi.org/10.1007/s11786-020-00497-7},
doi = {10.1007/S11786-020-00497-7},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mics/BotanaKR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/AggarwalKLW21,
author = {Anurag Aggarwal and
Zolt{\'{a}}n Kov{\'{a}}cs and
J. B. Langston and
Jonathan Wolfe},
title = {XaoS 4.0 and Beyond: Fractals in Mathematics Education},
journal = {Math. Comput. Sci.},
volume = {15},
number = {4},
pages = {775--788},
year = {2021},
url = {https://doi.org/10.1007/s11786-021-00505-4},
doi = {10.1007/S11786-021-00505-4},
timestamp = {Fri, 15 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/AggarwalKLW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/Kovacs21,
author = {Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Two almost-circles, and two real ones},
journal = {Math. Comput. Sci.},
volume = {15},
number = {4},
pages = {789--801},
year = {2021},
url = {https://doi.org/10.1007/s11786-021-00506-3},
doi = {10.1007/S11786-021-00506-3},
timestamp = {Fri, 15 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/Kovacs21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/VargaKBBSHNS21,
author = {Orsolya Gy{\"{o}}ngyi Varga and
Zolt{\'{a}}n Kov{\'{a}}cs and
L{\'{a}}szl{\'{o}} Beko and
P{\'{e}}ter Burai and
Zsuzsanna Csat{\'{a}}rin{\'{e}} Szab{\'{o}} and
Imre Holb and
Sarawut Ninsawat and
Szil{\'{a}}rd Szab{\'{o}}},
title = {Validation of Visually Interpreted Corine Land Cover Classes with
Spectral Values of Satellite Images and Machine Learning},
journal = {Remote. Sens.},
volume = {13},
number = {5},
pages = {857},
year = {2021},
url = {https://doi.org/10.3390/rs13050857},
doi = {10.3390/RS13050857},
timestamp = {Wed, 07 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/remotesensing/VargaKBBSHNS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/ZaukuuGK21,
author = {John{-}Lewis Zinia Zaukuu and
Zoltan Gillay and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Standardized Extraction Techniques for Meat Analysis with the Electronic
Tongue: {A} Case Study of Poultry and Red Meat Adulteration},
journal = {Sensors},
volume = {21},
number = {2},
pages = {481},
year = {2021},
url = {https://doi.org/10.3390/s21020481},
doi = {10.3390/S21020481},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/ZaukuuGK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/NugrahaZBBVK21,
author = {David Tjandra Nugraha and
John{-}Lewis Zinia Zaukuu and
Juan Pablo Aguinaga B{\'{o}}squez and
Zsanett Bodor and
Flora Vit{\'{a}}lis and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Near-Infrared Spectroscopy and Aquaphotomics for Monitoring Mung Bean
(Vigna radiata) Sprout Growth and Validation of Ascorbic Acid Content},
journal = {Sensors},
volume = {21},
number = {2},
pages = {611},
year = {2021},
url = {https://doi.org/10.3390/s21020611},
doi = {10.3390/S21020611},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/NugrahaZBBVK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/KovacsV21,
author = {Zolt{\'{a}}n Kov{\'{a}}cs and
R{\'{o}}bert Vajda},
editor = {Jasmin Blanchette and
James H. Davenport and
Peter Koepke and
Michael Kohlhase and
Andrea Kohlhase and
Adam Naumowicz and
Dennis M{\"{u}}ller and
Yasmine Sharoda and
Claudio Sacerdoti Coen},
title = {Extending GeoGebra/realgeom with {QEPCAD} {B} to obtain proofs on
geometric inequalities},
booktitle = {Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops,
Doctoral Program, and Work in Progress at the Conference on Intelligent
Computer Mathematics 2021 co-located with the 14th Conference on Intelligent
Computer Mathematics {(CICM} 2021), Virtual Event, Timisoara, Romania,
July 26 - 31, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3377},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3377/ci1.pdf},
timestamp = {Thu, 14 Sep 2023 09:27:13 +0200},
biburl = {https://dblp.org/rec/conf/mkm/KovacsV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2202-04627,
author = {Zolt{\'{a}}n Kov{\'{a}}cs and
Jonathan H. Yu},
editor = {Jo{\~{a}}o Marcos and
Walther Neuper and
Pedro Quaresma},
title = {Automated Discovery of Geometrical Theorems in GeoGebra},
booktitle = {Proceedings 10th International Workshop on Theorem Proving Components
for Educational Software, ThEdu@CADE 2021, (Remote) Carnegie Mellon
University, Pittsburgh, PA, United States, 11 July 2021},
series = {{EPTCS}},
volume = {354},
pages = {1--12},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.354.1},
doi = {10.4204/EPTCS.354.1},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-04627.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2202-04626,
author = {Zolt{\'{a}}n Kov{\'{a}}cs and
R{\'{o}}bert Vajda},
editor = {Jo{\~{a}}o Marcos and
Walther Neuper and
Pedro Quaresma},
title = {Symbolic Comparison of Geometric Quantities in GeoGebra},
booktitle = {Proceedings 10th International Workshop on Theorem Proving Components
for Educational Software, ThEdu@CADE 2021, (Remote) Carnegie Mellon
University, Pittsburgh, PA, United States, 11 July 2021},
series = {{EPTCS}},
volume = {354},
pages = {13--25},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.354.2},
doi = {10.4204/EPTCS.354.2},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-04626.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2201-07274,
author = {Alexander Thaller and
Zolt{\'{a}}n Kov{\'{a}}cs},
editor = {Predrag Janicic and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Online Generation of Proofs Without Words},
booktitle = {Proceedings of the 13th International Conference on Automated Deduction
in Geometry, {ADG} 2021, Hagenberg, Austria/virtual, September 15-17,
2021},
series = {{EPTCS}},
volume = {352},
pages = {103--105},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.352.10},
doi = {10.4204/EPTCS.352.10},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-07274.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2201-07362,
author = {Zolt{\'{a}}n Kov{\'{a}}cs and
Tom{\'{a}}s Recio and
M. Pilar V{\'{e}}lez},
editor = {Predrag Janicic and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {GeoGebra Discovery in Context},
booktitle = {Proceedings of the 13th International Conference on Automated Deduction
in Geometry, {ADG} 2021, Hagenberg, Austria/virtual, September 15-17,
2021},
series = {{EPTCS}},
volume = {352},
pages = {141--147},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.352.16},
doi = {10.4204/EPTCS.352.16},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-07362.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2201-00544,
author = {Christopher W. Brown and
Zolt{\'{a}}n Kov{\'{a}}cs and
R{\'{o}}bert Vajda},
editor = {Predrag Janicic and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Supporting Proving and Discovering Geometric Inequalities in GeoGebra
by using Tarski},
booktitle = {Proceedings of the 13th International Conference on Automated Deduction
in Geometry, {ADG} 2021, Hagenberg, Austria/virtual, September 15-17,
2021},
series = {{EPTCS}},
volume = {352},
pages = {156--166},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.352.18},
doi = {10.4204/EPTCS.352.18},
timestamp = {Fri, 04 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-00544.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2201-00545,
author = {Zolt{\'{a}}n Kov{\'{a}}cs and
R{\'{o}}bert Vajda},
editor = {Predrag Janicic and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Parametric Root Finding for Supporting Proving and Discovering Geometric
Inequalities in GeoGebra},
booktitle = {Proceedings of the 13th International Conference on Automated Deduction
in Geometry, {ADG} 2021, Hagenberg, Austria/virtual, September 15-17,
2021},
series = {{EPTCS}},
volume = {352},
pages = {167--172},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.352.19},
doi = {10.4204/EPTCS.352.19},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-00545.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2112-14770,
editor = {Predrag Janicic and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Proceedings of the 13th International Conference on Automated Deduction
in Geometry, {ADG} 2021, Hagenberg, Austria/virtual, September 15-17,
2021},
series = {{EPTCS}},
volume = {352},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.352},
doi = {10.4204/EPTCS.352},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-14770.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BotanaKR20,
author = {Francisco Botana and
Zolt{\'{a}}n Kov{\'{a}}cs and
Tom{\'{a}}s Recio},
title = {Special issue on dynamic geometry and automated reasoning},
journal = {J. Symb. Comput.},
volume = {97},
pages = {1--2},
year = {2020},
url = {https://doi.org/10.1016/j.jsc.2018.12.001},
doi = {10.1016/J.JSC.2018.12.001},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BotanaKR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/KovacsRV20,
author = {Zolt{\'{a}}n Kov{\'{a}}cs and
Tom{\'{a}}s Recio and
M. Pilar V{\'{e}}lez},
title = {Reasoning about linkages with dynamic geometry},
journal = {J. Symb. Comput.},
volume = {97},
pages = {16--30},
year = {2020},
url = {https://doi.org/10.1016/j.jsc.2018.12.003},
doi = {10.1016/J.JSC.2018.12.003},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/KovacsRV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/Kovacs20,
author = {Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Automated Detection of Interesting Properties in Regular Polygons},
journal = {Math. Comput. Sci.},
volume = {14},
number = {4},
pages = {727--755},
year = {2020},
url = {https://doi.org/10.1007/s11786-020-00491-z},
doi = {10.1007/S11786-020-00491-Z},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/Kovacs20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/BodorKRKDB20,
author = {Zsanett Bodor and
Zolt{\'{a}}n Kov{\'{a}}cs and
Mahmoud Said Rashed and
Zolt{\'{a}}n K{\'{o}}kai and
Istv{\'{a}}n Dalmadi and
Csilla Benedek},
title = {Sensory and Physicochemical Evaluation of Acacia and Linden Honey
Adulterated with Sugar Syrup},
journal = {Sensors},
volume = {20},
number = {17},
pages = {4845},
year = {2020},
url = {https://doi.org/10.3390/s20174845},
doi = {10.3390/S20174845},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/BodorKRKDB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/AouadiZVBFGBK20,
author = {Balkis Aouadi and
John{-}Lewis Zinia Zaukuu and
Flora Vit{\'{a}}lis and
Zsanett Bodor and
Orsolya Feh{\'{e}}r and
Zoltan Gillay and
Gy{\"{o}}rgy B{\'{a}}z{\'{a}}r and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Historical Evolution and Food Control Achievements of Near Infrared
Spectroscopy, Electronic Nose, and Electronic Tongue - Critical Overview},
journal = {Sensors},
volume = {20},
number = {19},
pages = {5479},
year = {2020},
url = {https://doi.org/10.3390/s20195479},
doi = {10.3390/S20195479},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/AouadiZVBFGBK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/VitalisZBAHKZGK20,
author = {Flora Vit{\'{a}}lis and
John{-}Lewis Zinia Zaukuu and
Zsanett Bodor and
Balkis Aouadi and
G{\'{e}}za Hitka and
Timea Kaszab and
Viktoria Zsom{-}Muha and
Zoltan Gillay and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Detection and Quantification of Tomato Paste Adulteration Using Conventional
and Rapid Analytical Methods},
journal = {Sensors},
volume = {20},
number = {21},
pages = {6059},
year = {2020},
url = {https://doi.org/10.3390/s20216059},
doi = {10.3390/S20216059},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/VitalisZBAHKZGK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/SiposVBZHBK20,
author = {L{\'{a}}szl{\'{o}} Sipos and
Rita V{\'{e}}gh and
Zsanett Bodor and
John{-}Lewis Zinia Zaukuu and
G{\'{e}}za Hitka and
Gy{\"{o}}rgy B{\'{a}}z{\'{a}}r and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Classification of Bee Pollen and Prediction of Sensory and Colorimetric
Attributes - {A} Sensometric Fusion Approach by e-Nose, e-Tongue and
{NIR}},
journal = {Sensors},
volume = {20},
number = {23},
pages = {6768},
year = {2020},
url = {https://doi.org/10.3390/s20236768},
doi = {10.3390/S20236768},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/SiposVBZHBK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/VajdaK20,
author = {R{\'{o}}bert Vajda and
Zolt{\'{a}}n Kov{\'{a}}cs},
editor = {Pascal Fontaine and
Konstantin Korovin and
Ilias S. Kotsireas and
Philipp R{\"{u}}mmer and
Sophie Tourret},
title = {GeoGebra and the \emph{realgeom} Reasoning Tool},
booktitle = {Joint Proceedings of the 7th Workshop on Practical Aspects of Automated
Reasoning {(PAAR)} and the 5th Satisfiability Checking and Symbolic
Computation Workshop (SC-Square) Workshop, 2020 co-located with the
10th International Joint Conference on Automated Reasoning {(IJCAR}
2020), Paris, France, June-July, 2020 (Virtual)},
series = {{CEUR} Workshop Proceedings},
volume = {2752},
pages = {204--219},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2752/paper15.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:14 +0100},
biburl = {https://dblp.org/rec/conf/cade/VajdaK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/Kovacs20,
author = {Zolt{\'{a}}n Kov{\'{a}}cs},
editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
title = {"Mathemachines" via LEGO, GeoGebra and CindyJS},
booktitle = {Computer Algebra in Scientific Computing - 22nd International Workshop,
{CASC} 2020, Linz, Austria, September 14-18, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12291},
pages = {390--401},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-60026-6\_22},
doi = {10.1007/978-3-030-60026-6\_22},
timestamp = {Mon, 31 Jan 2022 07:36:54 +0100},
biburl = {https://dblp.org/rec/conf/casc/Kovacs20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwbbio/BozhynovMUK20,
author = {Vladyslav Bozhynov and
Oleksandr Mashchenko and
Pavla Urbanov{\'{a}} and
Zolt{\'{a}}n Kov{\'{a}}cs},
editor = {Ignacio Rojas and
Olga Valenzuela and
Fernando Rojas and
Luis Javier Herrera and
Francisco M. Ortu{\~{n}}o Guzman},
title = {Steps to Visible Aquaphotomics},
booktitle = {Bioinformatics and Biomedical Engineering - 8th International Work-Conference,
{IWBBIO} 2020, Granada, Spain, May 6-8, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12108},
pages = {287--297},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45385-5\_26},
doi = {10.1007/978-3-030-45385-5\_26},
timestamp = {Mon, 05 Feb 2024 20:33:18 +0100},
biburl = {https://dblp.org/rec/conf/iwbbio/BozhynovMUK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mc2/KovacsRV20,
author = {Zolt{\'{a}}n Kov{\'{a}}cs and
Tom{\'{a}}s Recio and
M. Pilar V{\'{e}}lez},
editor = {Robert M. Corless and
J{\"{u}}rgen Gerhard and
Ilias S. Kotsireas},
title = {Merging Maple and GeoGebra Automated Reasoning Tools},
booktitle = {Maple in Mathematics Education and Research - 4th Maple Conference,
{MC} 2020, Waterloo, Ontario, Canada, November 2-6, 2020, Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1414},
pages = {252--267},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-81698-8\_17},
doi = {10.1007/978-3-030-81698-8\_17},
timestamp = {Tue, 05 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mc2/KovacsRV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-11490,
author = {Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Two almost-circles, and two real ones},
journal = {CoRR},
volume = {abs/2003.11490},
year = {2020},
url = {https://arxiv.org/abs/2003.11490},
eprinttype = {arXiv},
eprint = {2003.11490},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-11490.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-12447,
author = {Zolt{\'{a}}n Kov{\'{a}}cs and
Jonathan H. Yu},
title = {Towards Automated Discovery of Geometrical Theorems in GeoGebra},
journal = {CoRR},
volume = {abs/2007.12447},
year = {2020},
url = {https://arxiv.org/abs/2007.12447},
eprinttype = {arXiv},
eprint = {2007.12447},
timestamp = {Wed, 29 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-12447.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/KovacsRS19,
author = {Zolt{\'{a}}n Kov{\'{a}}cs and
Tom{\'{a}}s Recio and
Csilla S{\'{o}}lyom{-}Gecse},
title = {Rewriting input expressions in complex algebraic geometry provers},
journal = {Ann. Math. Artif. Intell.},
volume = {85},
number = {2-4},
pages = {73--87},
year = {2019},
url = {https://doi.org/10.1007/s10472-018-9590-1},
doi = {10.1007/S10472-018-9590-1},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amai/KovacsRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/NikolicMKJ19,
author = {Mladen Nikolic and
Vesna Marinkovic and
Zolt{\'{a}}n Kov{\'{a}}cs and
Predrag Janicic},
title = {Portfolio theorem proving and prover runtime prediction for geometry},
journal = {Ann. Math. Artif. Intell.},
volume = {85},
number = {2-4},
pages = {119--146},
year = {2019},
url = {https://doi.org/10.1007/s10472-018-9598-6},
doi = {10.1007/S10472-018-9598-6},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amai/NikolicMKJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cejor/KovacsOF19,
author = {Zolt{\'{a}}n Kov{\'{a}}cs and
{\'{A}}kos Orosz and
Ferenc Friedler},
title = {Synthesis algorithms for the reliability analysis of processing systems},
journal = {Central Eur. J. Oper. Res.},
volume = {27},
number = {2},
pages = {573--595},
year = {2019},
url = {https://doi.org/10.1007/s10100-018-0577-0},
doi = {10.1007/S10100-018-0577-0},
timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cejor/KovacsOF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/digearth/EnyediPKTS19,
author = {P{\'{e}}ter Enyedi and
Melinda Pap and
Zolt{\'{a}}n Kov{\'{a}}cs and
L{\'{a}}szl{\'{o}} Tak{\'{a}}cs{-}Szil{\'{a}}gyi and
Szil{\'{a}}rd Szab{\'{o}}},
title = {Efficiency of local minima and {GLM} techniques in sinkhole extraction
from a LiDAR-based terrain model},
journal = {Int. J. Digit. Earth},
volume = {12},
number = {9},
pages = {1067--1082},
year = {2019},
url = {https://doi.org/10.1080/17538947.2018.1501107},
doi = {10.1080/17538947.2018.1501107},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/digearth/EnyediPKTS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/Kovacs19,
author = {Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Achievements and Challenges in Automatic Locus and Envelope Animations
in Dynamic Geometry},
journal = {Math. Comput. Sci.},
volume = {13},
number = {1-2},
pages = {131--141},
year = {2019},
url = {https://doi.org/10.1007/s11786-018-0390-0},
doi = {10.1007/S11786-018-0390-0},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/Kovacs19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/NemethBDKBZSKK19,
author = {Dzsenifer N{\'{e}}meth and
G{\'{a}}bor Bal{\'{a}}zs and
Hussein G. Daood and
Zolt{\'{a}}n Kov{\'{a}}cs and
Zsanett Bodor and
John{-}Lewis Zinia Zaukuu and
Viktor Szentpeteri and
Zolt{\'{a}}n K{\'{o}}kai and
Noemi Kappel},
title = {Standard Analytical Methods, Sensory Evaluation, {NIRS} and Electronic
Tongue for Sensing Taste Attributes of Different Melon Varieties},
journal = {Sensors},
volume = {19},
number = {22},
pages = {5010},
year = {2019},
url = {https://doi.org/10.3390/s19225010},
doi = {10.3390/S19225010},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/NemethBDKBZSKK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/KovacsP19,
author = {Zolt{\'{a}}n Kov{\'{a}}cs and
Pavel Pech},
editor = {Cezary Kaliszyk and
Edwin C. Brady and
Andrea Kohlhase and
Claudio Sacerdoti Coen},
title = {Experiments on Automatic Inclusion of Some Non-degeneracy Conditions
Among the Hypotheses in Locus Equation Computations},
booktitle = {Intelligent Computer Mathematics - 12th International Conference,
{CICM} 2019, Prague, Czech Republic, July 8-12, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11617},
pages = {140--154},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-23250-4\_10},
doi = {10.1007/978-3-030-23250-4\_10},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/KovacsP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/whispers/BuraiBLTK19,
author = {P{\'{e}}ter Burai and
L{\'{a}}szl{\'{o}} Beko and
Csaba Lenart and
Tam{\'{a}}s Tomor and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Individual Tree Species Classification Using Airborne Hyperspectral
Imagery And Lidar Data},
booktitle = {10th Workshop on Hyperspectral Imaging and Signal Processing: Evolution
in Remote Sensing, {WHISPERS} 2019, Amsterdam, Netherlands, September
24-26, 2019},
pages = {1--4},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/WHISPERS.2019.8921016},
doi = {10.1109/WHISPERS.2019.8921016},
timestamp = {Mon, 22 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/whispers/BuraiBLTK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2002-12556,
author = {Nuno Baeta and
Pedro Quaresma and
Zolt{\'{a}}n Kov{\'{a}}cs},
editor = {Pedro Quaresma and
Walther Neuper and
Jo{\~{a}}o Marcos},
title = {Towards a Geometry Automated Provers Competition},
booktitle = {Proceedings 8th International Workshop on Theorem Proving Components
for Educational Software, ThEdu@CADE 2019, Natal, Brazil, 25th August
2019},
series = {{EPTCS}},
volume = {313},
pages = {93--100},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.313.6},
doi = {10.4204/EPTCS.313.6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-12556.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mkm/2018w,
editor = {Osman Hasan and
Abdou Youssef and
Adam Naumowicz and
William M. Farmer and
Cezary Kaliszyk and
Diane Gallois{-}Wong and
Florian Rabe and
Gabriel Dos Reis and
Grant O. Passmore and
James H. Davenport and
Markus Pfeiffer and
Michael Kohlhase and
Serge Autexier and
Sofi{\`{e}}ne Tahar and
Thomas Koprucki and
Umair Siddique and
Walther Neuper and
Wolfgang Windsteiger and
Wolfgang Schreiner and
Wolfram Sperber and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath
Workshops, Doctoral Program and Work in Progress at the Conference
on Intelligent Computer Mathematics 2018 co-located with the 11th
Conference on Intelligent Computer Mathematics {(CICM} 2018), Hagenberg,
Austria, August 13-17, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2307},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2307},
urn = {urn:nbn:de:0074-2307-7},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/2018w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Kovacs18,
author = {Zolt{\'{a}}n Kov{\'{a}}cs},
editor = {Jacques D. Fleuriot and
Dongming Wang and
Jacques Calmet},
title = {Discovering Geometry Theorems in Regular Polygons},
booktitle = {Artificial Intelligence and Symbolic Computation - 13th International
Conference, {AISC} 2018, Suzhou, China, September 16-19, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11110},
pages = {155--169},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99957-9\_10},
doi = {10.1007/978-3-319-99957-9\_10},
timestamp = {Tue, 19 Nov 2019 15:07:38 +0100},
biburl = {https://dblp.org/rec/conf/aisc/Kovacs18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/BotanaKR18,
author = {Francisco Botana and
Zolt{\'{a}}n Kov{\'{a}}cs and
Tom{\'{a}}s Recio},
editor = {Jacques D. Fleuriot and
Dongming Wang and
Jacques Calmet},
title = {Towards an Automated Geometer},
booktitle = {Artificial Intelligence and Symbolic Computation - 13th International
Conference, {AISC} 2018, Suzhou, China, September 16-19, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11110},
pages = {215--220},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99957-9\_15},
doi = {10.1007/978-3-319-99957-9\_15},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aisc/BotanaKR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Dana-PicardK18,
author = {Thierry N. Dana{-}Picard and
Zolt{\'{a}}n Kov{\'{a}}cs},
editor = {Florian Rabe and
William M. Farmer and
Grant O. Passmore and
Abdou Youssef},
title = {Automated Determination of Isoptics with Dynamic Geometry},
booktitle = {Intelligent Computer Mathematics - 11th International Conference,
{CICM} 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11006},
pages = {60--75},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96812-4\_6},
doi = {10.1007/978-3-319-96812-4\_6},
timestamp = {Fri, 20 Nov 2020 16:08:55 +0100},
biburl = {https://dblp.org/rec/conf/mkm/Dana-PicardK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Kovacs18,
author = {Zolt{\'{a}}n Kov{\'{a}}cs},
editor = {Florian Rabe and
William M. Farmer and
Grant O. Passmore and
Abdou Youssef},
title = {Finding and Proving New Geometry Theorems in Regular Polygons with
Dynamic Geometry and Automated Reasoning Tools},
booktitle = {Intelligent Computer Mathematics - 11th International Conference,
{CICM} 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11006},
pages = {164--177},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96812-4\_15},
doi = {10.1007/978-3-319-96812-4\_15},
timestamp = {Sat, 11 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Kovacs18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Kovacs18a,
author = {Zolt{\'{a}}n Kov{\'{a}}cs},
editor = {Osman Hasan and
Abdou Youssef and
Adam Naumowicz and
William M. Farmer and
Cezary Kaliszyk and
Diane Gallois{-}Wong and
Florian Rabe and
Gabriel Dos Reis and
Grant O. Passmore and
James H. Davenport and
Markus Pfeiffer and
Michael Kohlhase and
Serge Autexier and
Sofi{\`{e}}ne Tahar and
Thomas Koprucki and
Umair Siddique and
Walther Neuper and
Wolfgang Windsteiger and
Wolfgang Schreiner and
Wolfram Sperber and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Advantages and Dangers on Utilizing GeoGebra Automated Reasoning Tools},
booktitle = {Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath
Workshops, Doctoral Program and Work in Progress at the Conference
on Intelligent Computer Mathematics 2018 co-located with the 11th
Conference on Intelligent Computer Mathematics {(CICM} 2018), Hagenberg,
Austria, August 13-17, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2307},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2307/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:18 +0100},
biburl = {https://dblp.org/rec/conf/mkm/Kovacs18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-05875,
author = {Zolt{\'{a}}n Kov{\'{a}}cs and
Tom{\'{a}}s Recio and
M. Pilar V{\'{e}}lez},
title = {Detecting truth on components},
journal = {CoRR},
volume = {abs/1802.05875},
year = {2018},
url = {http://arxiv.org/abs/1802.05875},
eprinttype = {arXiv},
eprint = {1802.05875},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-05875.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/Dana-PicardKKKP17,
author = {Thierry N. Dana{-}Picard and
Wolfram Koepf and
Ilias S. Kotsireas and
Zolt{\'{a}}n Kov{\'{a}}cs and
Alexander N. Prokopenya and
Werner M. Seiler},
title = {Foreword},
journal = {Math. Comput. Sci.},
volume = {11},
number = {3-4},
pages = {251--252},
year = {2017},
url = {https://doi.org/10.1007/s11786-017-0324-2},
doi = {10.1007/S11786-017-0324-2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/Dana-PicardKKKP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/Kovacs17,
author = {Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Real-time Animated Dynamic Geometry in the Classrooms by Using Fast
Gr{\"{o}}bner Basis Computations},
journal = {Math. Comput. Sci.},
volume = {11},
number = {3-4},
pages = {351--361},
year = {2017},
url = {https://doi.org/10.1007/s11786-017-0308-2},
doi = {10.1007/S11786-017-0308-2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/Kovacs17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Kovacs17a,
author = {Zolt{\'{a}}n Kov{\'{a}}cs},
title = {No, This is not a Circle},
journal = {CoRR},
volume = {abs/1704.08483},
year = {2017},
url = {http://arxiv.org/abs/1704.08483},
eprinttype = {arXiv},
eprint = {1704.08483},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Kovacs17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1708-02993,
author = {Zolt{\'{a}}n Kov{\'{a}}cs and
R{\'{o}}bert Vajda},
title = {A note about Euler's inequality and automated reasoning with dynamic
geometry},
journal = {CoRR},
volume = {abs/1708.02993},
year = {2017},
url = {http://arxiv.org/abs/1708.02993},
eprinttype = {arXiv},
eprint = {1708.02993},
timestamp = {Fri, 16 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-02993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/AbanadesBKRS16,
author = {Miguel A. Ab{\'{a}}nades and
Francisco Botana and
Zolt{\'{a}}n Kov{\'{a}}cs and
Tom{\'{a}}s Recio and
Csilla S{\'{o}}lyom{-}Gecse},
title = {Development of automatic reasoning tools in GeoGebra},
journal = {{ACM} Commun. Comput. Algebra},
volume = {50},
number = {3},
pages = {85--88},
year = {2016},
url = {https://doi.org/10.1145/3015306.3015309},
doi = {10.1145/3015306.3015309},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cca/AbanadesBKRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/AfsarimaneshZMK16,
author = {Nasrin Afsarimanesh and
Asif I. Zia and
Subhas Chandra Mukhopadhyay and
Marlena Kruger and
Pak{-}Lam Yu and
J{\"{u}}rgen Kosel and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Smart Sensing System for the Prognostic Monitoring of Bone Health},
journal = {Sensors},
volume = {16},
number = {7},
pages = {976},
year = {2016},
url = {https://doi.org/10.3390/s16070976},
doi = {10.3390/S16070976},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/AfsarimaneshZMK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icms/AbanadesBKRS16,
author = {Miguel A. Ab{\'{a}}nades and
Francisco Botana and
Zolt{\'{a}}n Kov{\'{a}}cs and
Tom{\'{a}}s Recio and
Csilla S{\'{o}}lyom{-}Gecse},
editor = {Gert{-}Martin Greuel and
Thorsten Koch and
Peter Paule and
Andrew J. Sommese},
title = {Towards the Automatic Discovery of Theorems in GeoGebra},
booktitle = {Mathematical Software - {ICMS} 2016 - 5th International Conference,
Berlin, Germany, July 11-14, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9725},
pages = {37--42},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-42432-3\_5},
doi = {10.1007/978-3-319-42432-3\_5},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icms/AbanadesBKRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KovacsS16,
author = {Zolt{\'{a}}n Kov{\'{a}}cs and
Csilla S{\'{o}}lyom{-}Gecse},
title = {GeoGebra Tools with Proof Capabilities},
journal = {CoRR},
volume = {abs/1603.01228},
year = {2016},
url = {http://arxiv.org/abs/1603.01228},
eprinttype = {arXiv},
eprint = {1603.01228},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KovacsS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BotanaK16,
author = {Francisco Botana and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {New tools in GeoGebra offering novel opportunities to teach loci and
envelopes},
journal = {CoRR},
volume = {abs/1605.09153},
year = {2016},
url = {http://arxiv.org/abs/1605.09153},
eprinttype = {arXiv},
eprint = {1605.09153},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BotanaK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/BotanaK15,
author = {Francisco Botana and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {A Singular web service for geometric computations},
journal = {Ann. Math. Artif. Intell.},
volume = {74},
number = {3-4},
pages = {359--370},
year = {2015},
url = {https://doi.org/10.1007/s10472-014-9438-2},
doi = {10.1007/S10472-014-9438-2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/BotanaK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cce/JelemenskyPFK15,
author = {Martin Jelemensk{\'{y}} and
Radoslav Paulen and
Miroslav Fikar and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Time-optimal operation of multi-component batch diafiltration},
journal = {Comput. Chem. Eng.},
volume = {83},
pages = {131--138},
year = {2015},
url = {https://doi.org/10.1016/j.compchemeng.2015.05.029},
doi = {10.1016/J.COMPCHEMENG.2015.05.029},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cce/JelemenskyPFK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BotanaHJKPRW15,
author = {Francisco Botana and
Markus Hohenwarter and
Predrag Janicic and
Zolt{\'{a}}n Kov{\'{a}}cs and
Ivan Petrovic and
Tom{\'{a}}s Recio and
Simon Weitzhofer},
title = {Automated Theorem Proving in GeoGebra: Current Achievements},
journal = {J. Autom. Reason.},
volume = {55},
number = {1},
pages = {39--59},
year = {2015},
url = {https://doi.org/10.1007/s10817-015-9326-4},
doi = {10.1007/S10817-015-9326-4},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/BotanaHJKPRW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/KovacsP15,
author = {Zolt{\'{a}}n Kov{\'{a}}cs and
Bernard Parisse},
editor = {Jaime Gutierrez and
Josef Schicho and
Martin Weimann},
title = {Giac and GeoGebra - Improved Gr{\"{o}}bner Basis Computations},
booktitle = {Computer Algebra and Polynomials - Applications of Algebra and Number
Theory},
series = {Lecture Notes in Computer Science},
volume = {8942},
pages = {126--138},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15081-9\_7},
doi = {10.1007/978-3-319-15081-9\_7},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/KovacsP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Kovacs14,
author = {Zolt{\'{a}}n Kov{\'{a}}cs},
editor = {Francisco Botana and
Pedro Quaresma},
title = {The Relation Tool in GeoGebra 5},
booktitle = {Automated Deduction in Geometry - 10th International Workshop, {ADG}
2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9201},
pages = {53--71},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-21362-0\_4},
doi = {10.1007/978-3-319-21362-0\_4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/Kovacs14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcca/JelemenskyPFK13,
author = {Martin Jelemensk{\'{y}} and
Radoslav Paulen and
Miroslav Fikar and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Economically optimal control of batch diafiltration processes},
booktitle = {Proceedings of the {IEEE} International Conference on Control Applications,
{CCA} 2013, Hyderabad, India, August 28-30, 2013},
pages = {734--739},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/CCA.2013.6662837},
doi = {10.1109/CCA.2013.6662837},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/IEEEcca/JelemenskyPFK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eucc/JelemenskyPFK13,
author = {Martin Jelemensk{\'{y}} and
Radoslav Paulen and
Miroslav Fikar and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Multi-objective optimal control of ultrafiltration/diafiltration processes},
booktitle = {12th European Control Conference, {ECC} 2013, Zurich, Switzerland,
July 17-19, 2013},
pages = {3384--3389},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.23919/ECC.2013.6669207},
doi = {10.23919/ECC.2013.6669207},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eucc/JelemenskyPFK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/permin/KovacsSFYIIB12,
author = {Zolt{\'{a}}n Kov{\'{a}}cs and
D{\'{a}}niel Sz{\"{o}}llosi and
Andr{\'{a}}s Fekete and
Koichi Yoshida and
Emiko Ishikawa and
Sandrine Isz and
Marion Bonnefille},
editor = {Malay K. Kundu and
Sushmita Mitra and
Debasis Mazumdar and
Sankar K. Pal},
title = {Taste Attributes Profiling in Carrot Juice Using an Electronic Tongue},
booktitle = {Perception and Machine Intelligence - First Indo-Japan Conference,
PerMIn 2012, Kolkata, India, January 12-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7143},
pages = {180--186},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27387-2\_23},
doi = {10.1007/978-3-642-27387-2\_23},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/permin/KovacsSFYIIB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ddecs/MarosyKH09,
author = {G{\'{a}}bor Marosy and
Zolt{\'{a}}n Kov{\'{a}}cs and
Gyula Horv{\'{a}}th},
title = {Effective mars rover platform design with Hardware / Software co-design},
booktitle = {Proceedings of the 2009 {IEEE} Symposium on Design and Diagnostics
of Electronic Circuits and Systems, {DDECS} 2009, April 15-17, 2009,
Liberec, Czech Republic},
pages = {148--151},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/DDECS.2009.5012117},
doi = {10.1109/DDECS.2009.5012117},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ddecs/MarosyKH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ebusiness/KovacsS09,
author = {Zolt{\'{a}}n Kov{\'{a}}cs and
No{\'{e}}mi Szalai},
editor = {Wilhelm Dangelmaier and
Alexander Blecken and
Nando R{\"{u}}ngener},
title = {Logistikmanagement der Produktauslaufphase: Ans{\"{a}}tze zur
Kundenorientierung und Kostenreduzierung im Lebenszykluskonzept},
booktitle = {Nachhaltigkeit in flexiblen Produktions- und Liefernetzwerken, 11.
Paderborner Fr{\"{u}}hjahrstagung, 2. April 2009, Heinz Nixdorf
Institut, Paderborn, Germany},
pages = {245--256},
publisher = {Monsenstein und Vannerdat},
year = {2009},
timestamp = {Wed, 29 Jul 2009 12:22:38 +0200},
biburl = {https://dblp.org/rec/conf/ebusiness/KovacsS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cejor/BlazsikIK08,
author = {Zolt{\'{a}}n Bl{\'{a}}zsik and
Csan{\'{a}}d Imreh and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Heuristic algorithms for a complex parallel machine scheduling problem},
journal = {Central Eur. J. Oper. Res.},
volume = {16},
number = {4},
pages = {379--390},
year = {2008},
url = {https://doi.org/10.1007/s10100-008-0066-y},
doi = {10.1007/S10100-008-0066-Y},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cejor/BlazsikIK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cisse/KosztyanCHK08,
author = {Zsolt Tibor Koszty{\'{a}}n and
Tibor Csizmadia and
Csaba Heged{\"{u}}s and
Zolt{\'{a}}n Kov{\'{a}}cs},
editor = {Tarek M. Sobh},
title = {Treating measurement uncertainty in complete conformity control system},
booktitle = {Innovations and Advances in Computer Sciences and Engineering, Volume
{I} of the proceedings of the 2008 International Conference on Systems,
Computing Sciences and Software Engineering (SCSS), part of the International
Joint Conferences on Computer, Information, and Systems Sciences,
and Engineering, {CISSE} 2008, Bridgeport, Connecticut, {USA}},
pages = {79--84},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-90-481-3658-2\_14},
doi = {10.1007/978-90-481-3658-2\_14},
timestamp = {Fri, 04 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cisse/KosztyanCHK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/TickKF06,
author = {J{\'{o}}zsef Tick and
Zolt{\'{a}}n Kov{\'{a}}cs and
Ferenc Friedler},
title = {Synthesis of Optimal Workflow Structure},
journal = {J. Univers. Comput. Sci.},
volume = {12},
number = {9},
pages = {1385--1392},
year = {2006},
url = {https://doi.org/10.3217/jucs-012-09-1385},
doi = {10.3217/JUCS-012-09-1385},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/TickKF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/HolloBIK99,
author = {Cs. Holl{\'{o}} and
Zolt{\'{a}}n Bl{\'{a}}zsik and
Csan{\'{a}}d Imreh and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {On Merging Reduction of the Process Network Synthesis Problem},
journal = {Acta Cybern.},
volume = {14},
number = {2},
pages = {251--261},
year = {1999},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3526},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/HolloBIK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/97/0002KV97,
author = {Thomas Hermann and
Zolt{\'{a}}n Kov{\'{a}}cs and
Tam{\'{a}}s V{\'{a}}rady},
editor = {Wolfgang Stra{\ss}er and
Reinhard Klein and
Ren{\'{e}} T. Rau},
title = {Special Applications in Surface Fitting},
booktitle = {Geometric Modeling: Theory and Practice},
series = {Focus on computer graphics},
pages = {14--31},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-3-642-60607-6\_2},
doi = {10.1007/978-3-642-60607-6\_2},
timestamp = {Wed, 26 Jun 2019 19:33:41 +0200},
biburl = {https://dblp.org/rec/books/sp/97/0002KV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/candc/KovacsM81,
author = {Zolt{\'{a}}n Kov{\'{a}}cs and
Istv{\'{a}}n Mezey},
title = {Fortran Program to determine diffusion constants},
journal = {Comput. Chem.},
volume = {5},
number = {2-3},
pages = {73--77},
year = {1981},
url = {https://doi.org/10.1016/0097-8485(81)80011-3},
doi = {10.1016/0097-8485(81)80011-3},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/candc/KovacsM81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-08-05 21:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
