E-LIB Suche - Ergebnisse für: Todd, Philip

1

Automated discovery of angle theorems:

Todd, Philip
Annals of Mathematics and Artificial Intelligence. 91 (2023) 6 - p. 753-778 , 2023

Link: https://doi.org/10.1007/..

2

A program to create new geometry proof problems:

Todd, Philip ; Aley, Danny
Annals of Mathematics and Artificial Intelligence. 91 (2023) 6 - p. 779-795 , 2023

Link: https://doi.org/10.1007/..

3

A Symbolic Dynamic Geometry System Using the Analytical Geo..:

Todd, Philip
Mathematics in Computer Science. 14 (2020) 4 - p. 693-726 , 2020

Link: https://doi.org/10.1007/..

4

A System for Automated Deduction in Engineering Mechanics:

Todd, Philip
Mathematics in Computer Science. 14 (2020) 4 - p. 775-790 , 2020

Link: https://doi.org/10.1007/..

5

Morphing Clock:

Todd, Philip ; Kemper, Hannah
Mathematics in School. 47 (2018) 3 - p. 16-17 , 2018

Link: https://www.jstor.org/st..

6

Abacus Clock:

Todd, Philip ; Kemper, Hannah
Mathematics in School. 46 (2017) 5 - p. 36 ff. , 2017

Link: https://www.jstor.org/st..

7

99.08 A mechanical 'proof' of the largest outscribed equila..:

Todd, Philip
The Mathematical Gazette. 99 (2015) 544 - p. 149-151 , 2015

Link: https://doi.org/10.1017/..

8

99.08 A mechanical 'proof' of the largest outscribed equila..:

TODD, PHILIP
The Mathematical Gazette. 99 (2015) 544 - p. 149-151 , 2015

Link: https://www.jstor.org/st..

9

Rejoice in the lamb, op. 30:

, In: The complete works for voice / Britten
CD 6,

Britten, Benjamin ; Hartnett, Michael ; Steele, Jonathan ; Todd, Philip... , P 2013

Hinweis : In einer Ausleiheinheit

10

Water Balance Delineates the Soil Layer in Which Moisture A..:

Oren, Ram ; Ewers, Brent E. ; Todd, Philip..
Ecological Applications. 8 (1998) 4 - p. 990-1002 , 1998

Link: https://www.jstor.org/st..

11

WATER BALANCE DELINEATES THE SOIL LAYER IN WHICH MOISTURE A..:

Oren, Ram ; Ewers, Brent E. ; Todd, Philip..
Ecological Applications. 8 (1998) 4 - p. 990-1002 , 1998

Link: https://doi.org/10.1890/..

12

Soil water depletion by oak trees and the influence of root..:

Katul, Gabriel ; Todd, Philip ; Pataki, Diane..
Water Resources Research. 33 (1997) 4 - p. 611-623 , 1997

Link: https://doi.org/10.1029/..

13

A k-Tree Generalization that Characterizes Consistency of D..:

Todd, Philip
SIAM Journal on Discrete Mathematics. 2 (1989) 2 - p. 255-261 , 1989

Link: https://doi.org/10.1137/..

14

An algorithm for determining consistency and manufacturing ..:

Todd, Philip
Computer-Aided Design. 18 (1986) 7 - p. 389-390 , 1986

Link: https://doi.org/10.1016/..

15

A VARIATION ON A VERY FAMILIAR ALGORITHM:

ZEILBERGER, DORON ; TODD, PHILIP
The Mathematics Teacher. 74 (1981) 6 - p. 474-490 , 1981

Link: https://www.jstor.org/st..