Zobrazeno 1 - 10
of 48
pro vyhledávání: '"Juedes, David"'
The ever-growing complexity of mathematical proofs makes their manual verification by mathematicians very cognitively demanding. Autoformalization seeks to address this by translating proofs written in natural language into a formal representation th
Externí odkaz:
http://arxiv.org/abs/2301.02195
Autor:
Juedes, David W.1 (AUTHOR) juedes@ohio.edu, Jones, Jeffrey S.2 (AUTHOR)
Publikováno v:
Optimization Methods & Software. Aug2021, Vol. 36 Issue 4, p869-890. 22p.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Chen, Jianer, Chor, Benny, Fellows, Mike, Huang, Xiuzhen, Juedes, David, Kanj, Iyad A., Xia, Ge
Publikováno v:
In Information and Computation 2005 201(2):216-231
Autor:
Cai, Liming, Juedes, David *
Publikováno v:
In Journal of Computer and System Sciences 2003 67(4):789-807
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Theoretical Computer Science 2002 289(1):553-571
Autor:
Juedes, David1 (AUTHOR) juedes@ohio.edu, Jones, Jeffrey1 (AUTHOR)
Publikováno v:
Optimization Methods & Software. Apr2012, Vol. 27 Issue 2, p295-309. 15p. 3 Charts, 2 Graphs.
Autor:
Breutzmann, Josef M.1 josef.beutzmann@wartburg.edu, Juedes, David W.2 Juedes@ohio.edu, Lutz, Jack H.3 lutz@cs.iastate.edu
Publikováno v:
Mathematical Logic Quarterly. Sep2004, Vol. 50 Issue 4/5, p460-472. 13p.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.