Zobrazeno 1 - 10
of 410
pro vyhledávání: '"Farmer, William"'
Alonzo is a practice-oriented classical higher-order logic that extends first-order logic and that admits undefined expressions. Named in honor of Alonzo Church, Alonzo is based on Church's type theory, Church's formulation of simple type theory. The
Externí odkaz:
http://arxiv.org/abs/2312.05658
Autor:
Howell, Ashley N., Woods, Savannah J., Farmer, William, Zibulsky, Devin A., Srivastav, Akanksha, Randolph, Griffin, Weeks, Justin W.
Publikováno v:
In Journal of Affective Disorders 15 October 2024 363:282-291
Autor:
Angus, Justin Ray, Farmer, William, Friedman, Alex, Geyko, Vasily, Ghosh, Debojyoti, Grote, Dave, Larson, David, Link, Anthony
Publikováno v:
In Journal of Computational Physics 15 December 2024 519
A theorem prover without an extensive library is much less useful to its potential users. Algebra, the study of algebraic structures, is a core component of such libraries. Algebraic theories also are themselves structured, the study of which was sta
Externí odkaz:
http://arxiv.org/abs/2006.09292
Autor:
Bercic, Katja, Carette, Jacques, Farmer, William M., Kohlhase, Michael, Müller, Dennis, Rabe, Florian, Sharoda, Yasmine
Mathematical software systems are becoming more and more important in pure and applied mathematics in order to deal with the complexity and scalability issues inherent in mathematics. In the last decades we have seen a cambric explosion of increasing
Externí odkaz:
http://arxiv.org/abs/2002.04955
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.
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:
Angus, Justin Ray, Farmer, William, Friedman, Alex, Ghosh, Debojyoti, Grote, Dave, Larson, David, Link, Anthony
Publikováno v:
In Journal of Computational Physics 15 October 2023 491
Over the last decades, a class of important mathematical results have required an ever increasing amount of human effort to carry out. For some, the help of computers is now indispensable. We analyze the implications of this trend towards "big mathem
Externí odkaz:
http://arxiv.org/abs/1904.10405
Autor:
Carette, Jacques, Farmer, William M.
Many interesting and useful symbolic computation algorithms manipulate mathematical expressions in mathematically meaningful ways. Although these algorithms are commonplace in computer algebra systems, they can be surprisingly difficult to specify in
Externí odkaz:
http://arxiv.org/abs/1904.02729