7 research outputs found
Towards the Formalization of Fractional Calculus in Higher-Order Logic
- Author
- Publication venue
- Publication date
- 08/05/2015
- Field of study
Fractional calculus is a generalization of classical theories of integration
and differentiation to arbitrary order (i.e., real or complex numbers). In the
last two decades, this new mathematical modeling approach has been widely used
to analyze a wide class of physical systems in various fields of science and
engineering. In this paper, we describe an ongoing project which aims at
formalizing the basic theories of fractional calculus in the HOL Light theorem
prover. Mainly, we present the motivation and application of such formalization
efforts, a roadmap to achieve our goals, current status of the project and
future milestones.Comment: 9 page
Friedlands Sterne oder Facta und Ficta
- Author
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- 01/01/1983
- Field of study
Calculation of electrical circuits with fractional characteristics of construction elements
- Author
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- Field of study
Histone chaperone exploits intrinsic disorder to switch acetylation specificity
- Author
- A Borgia
- A Lapinaite
- AJ Bannister
- C Das
- C Lin
- CA Schneider
- CE Berndsen
- CK Govind
- CM English
- CM English
- D Franke
- D Su
- D Su
- DI Svergun
- DJ Price
- DM Korzhnev
- E Karaca
- EF Pettersen
- EI Campos
- EM Kolonko
- F Delaglio
- G Bodenhausen
- GV Papamokos
- GW Vuister
- H Feng
- H Masumoto
- Heinz Maier-Leibnitz Zentrum.
- J Fillingham
- J Han
- J Iwahara
- JL Battiste
- K Lindorff-Larsen
- K Luger
- K Pervushin
- KM Keck
- L Lercher
- L Selth
- L Zhang
- M Grunstein
- M Ikura
- M Ikura
- M Salzmann
- M Wittekind
- MG Guenther
- MJ Abraham
- MW Adkins
- N Abshiru
- N Avvakumov
- P Stavropoulos
- P Tompa
- PE Wright
- PV Konarev
- S Grzesiek
- SG Hyberts
- SL Berger
- T Tsubota
- V Tugarinov
- V Tugarinov
- V Tugarinov
- V Tugarinov
- WF Vranken
- Y Shen
- Y Tang
- Y Tang
- Y-J Park
- Y-M Kuo
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- Field of study
Falsification and the Methodology of Scientific Research Programmes
- Author
- A Einstein
- A Grünbaum
- A Grünbaum
- A Grünbaum
- A Grünbaum
- A Grünbaum
- A Koestler
- A Musgrave
- A Musgrave
- A Musgrave
- A Musgrave
- AJ Ayer
- B Russell
- B Russell
- B Russell
- C Truesdell
- CG Hempel
- CG Hempel
- E Nagel
- E Roy Le
- E Roy Le
- E Roy Le
- E Roy Le
- G Galileo
- G Milhaud
- GW Leibnitz
- H Reichenbach
- I Lakatos
- I Lakatos
- I Lakatos
- I Lakatos
- I Lakatos
- I Lakatos
- I Lakatos
- I Lakatos
- I Lakatos
- I Lakatos
- I Lakatos
- I Lakatos
- I Lakatos
- J Agassi
- J Agassi
- J Agassi
- J Agassi
- J Agassi
- J Agassi
- J Watkins
- J Watkins
- J Watkins
- J Watkins
- JH Poincaré
- JH Poincaré
- JLE Dreyer
- JM Keynes
- JS Mill
- JT Wisdom
- KR Popper
- KR Popper
- KR Popper
- KR Popper
- KR Popper
- KR Popper
- KR Popper
- KR Popper
- KR Popper
- KR Popper
- KR Popper
- KR Popper
- KR Popper
- KR Popper
- L Laudan
- M Polanyi
- O Neurath
- P Duhem
- P Duhem
- P Laplace
- PB Medawar
- PB Medawar
- PK Feyerabend
- PK Feyerabend
- PK Feyerabend
- PK Feyerabend
- PK Feyerabend
- PK Feyerabend
- R Braithwaite
- R Braithwaite
- R Carnap
- R Carnap
- R Popkin
- TS Kuhn
- TS Kuhn
- W Whewell
- W Whewell
- W Whewell
- W Whewell
- W Whewell
- WV Quine
- WW Bartley
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- 01/01/1976
- Field of study
Richtige Extrapolation von Retentionsindices über den C1–C44 Bereich in der isothermen Gas-Chromatographie
- Author
- A Grobler
- A Jaeschke
- A Radecki
- AW Ladon
- BA Bierl
- BL Karger
- D Sissons
- E Kovats
- E Kovats
- E Kovats
- E Kovats
- E Leibnitz
- EA Streuli
- EC Takács
- F Caesar
- F Dahlmann
- F Vernon
- FI Onuska
- FJ Heeg
- FJ Heeg
- FJ Heeg
- G Castello
- G Dielmann
- G Firpo
- G Kortüm
- G Schomburg
- G Schomburg
- GD Mitra
- GV Filonenko
- GW Castellan
- HJ Gold
- HJ Neu
- IB Peetre
- J Novák
- J Rudolph
- J Sevcik
- J Sevcik
- J Takàcs
- JC Pascal
- JE Dubois
- JE Dubois
- JE Dubois
- JE Dubois
- JK Haken
- JK Haken
- JK Haken
- JK Haken
- JK Haken
- JK Haken
- JK Haken
- JM Takács
- JM Takács
- JR Ashes
- JR Chrétien
- K Ballschmiter
- K Ballschmiter
- K Ballschmiter
- L Mathiasson
- L Rohrschneider
- L Rohrschneider
- L Rohrschneider
- L Rohrschneider
- L Rohrschneider
- L Sóják
- LE Cook
- LS Ettre
- LS Ettre
- LS Ettre
- LS Ettre
- M Heintz
- M Heintz
- M Heintz
- M Zell
- ML Peterson
- MS Vigdergauz
- MS Vigdergauz
- MS Vigdergauz
- MS Wainwright
- MS Wainwright
- N Dimov
- N Dimow
- O Ellrèn
- P Souter
- PG Robinson
- R Kaiser
- R Kaiser
- R Zurmühl
- RE Kaiser
- RE Kaiser
- RJ Smith
- RL Pecsok
- RW Bach
- RW Bach
- S Rang
- S Rang
- S Wold
- TE Bellas
- TS Lombosi
- W Engewald
- WE Sharples
- WO McReynolds
- X Guardino
- Z Szentirmay
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- Field of study
Sonstige unmittelbare Eigenschaften der Elektronenhülle
- Author
- A Armstrong
- A Armstrong
- A Bondi
- A Ciaassen
- A Ciaassen
- A Cordova
- A Cotton
- A Cotton
- A Cotton
- A Cotton
- A Dauvillier
- A Dinsdale
- A Ellet
- A Fedridge
- A Hagenbach
- A Heydweiler
- A Hippel
- A Itterbeek
- A Klemenč
- A Kotecki
- A Krethlow
- A Kruis
- A Kruis
- A Leu
- A Leu
- A Okazaki
- A Okazaki
- A Okazaki
- A Okazaki
- A Okazaki
- A Okazaki
- A Okazaki
- A Okazaki
- A Okazaki
- A Okazaki
- A Pacault
- A Pacault
- A Pacault
- A Pacault
- A Pacault
- A Rostagni
- A Rostagni
- A Rostagni
- A Rostagni
- A Rostagni
- A Rostagni
- A Rostagni
- A Rostagni
- A Terenin
- A Terenin
- A Udden
- A Winkelmann
- AA Feather
- AA Knudsenu
- AA Knudsenu
- AA Kruithof
- AA Livingston
- AA Rusterholz
- AA Rusterholz
- AA Schachinger
- ACG Mitschell
- AE Lindh
- AE Srnick
- AG Nasini
- AG Nasini
- AG Rouse
- AH Compton
- AH Compton
- AH Compton
- AH Compton
- AH Compton
- AH Compton
- AH Compton
- AJ Bradley
- AJC Wilson
- AL Hughes
- AL Hughes
- AL Hughes
- AL Hughes
- AL Hughes
- AL Hughes
- AL Hughes
- AL Hughes
- AL Hughes
- AL Hughes
- AL Hughes
- AL Hughes
- AL Leipumki
- AL Leipumki
- AL Leipumki
- AL Leipumki
- AL Vaughan
- AM Beanland
- AN Guthrie
- AN Guthrie
- AO Rankine
- AP Gagge
- AR Olson
- AR Olson
- AW Coven
- AW Hull
- AW Hull
- B Arakatzu
- B Cabrera
- B Cabrera
- B Kisilbasch
- B Mrowka
- B Mrowka
- B Walter
- B Wörnle
- Borel
- BPM Walters
- BPM Walters
- BS Nagy
- BS Nagy
- BT Tjabbes
- C Fert
- C Flüchtbauer
- C Gerthsen
- C Gerthsen
- C Mossin
- C Ramsauer
- C Ramsauer
- C Ramsauer
- C Ramsauer
- C Ramsauer
- C Salceanu
- C Salceanu
- C Salceanu
- C Salceanu
- C Salceanu
- C Waring
- C Zener
- CA Frische
- CA Frische
- CB Bazoni
- CBO Mohr
- CC Evans
- CE Richards
- CF Brasefield
- CF Brasefield
- CG Barkla
- CG Patten
- CH Townes
- CH Townes
- CJ Gorter
- CJ Marsden
- CJ Smith
- CL Andrews
- CM Mason
- CS Barrett
- CTR Wilson
- CTR Wilson
- CW Hewlett
- CW Hewlett
- CW Hewlett
- CW Hewlett
- CW Hewlett
- CW Hewlett
- CW Sherwin
- CW Sherwin
- CW Sherwin
- CW Sherwin
- CY Chao
- D Coster
- D Coster
- D Graf Soden
- D Voigt
- DA Mclnnes
- Disch
- DJ Stephens
- DK Fromann
- DL Webster
- DL Webster
- DL Webster
- DM Bose
- DO Jones
- DP Stevenson
- DR Berkey
- DR Hartree
- DR Hartree
- DR Hartree
- DR Hartree
- DR Hartree
- Duncanson
- E Aas
- E Aas
- E Aas
- E Albrecht
- E Arends
- E Bernard
- E Brüche
- E Brüche
- E Brüche
- E Brüche
- E Brüche
- E Brüche
- E Brüche
- E Dershem
- E Dershem
- E Dershem
- E Fermi
- E Fues
- E Kanda
- E Laurila
- E Lutze
- E Miescher
- E Miescher
- E Nähring
- E Rüchardt
- E Rüchardt
- E Rüchardt
- E Stephens
- E Thomas
- E Wintergerst
- E Wrede
- EA Wood
- EAW Schmidt
- EB Andersen
- EB Jordan
- EB Jordan
- EB Jordan
- EB Jordan
- EB Winn
- EB Winn
- EC Bullard
- EC Bullard
- EC Childs
- EC Childs
- EC Childs
- EC Childs
- EC Stoner
- EC Stoner
- EC Stoner
- ECG Stuechelberg
- EG Dymond
- EG Taylor
- EH Sperry
- EHS Burhop
- EJ Evans
- EJ Williams
- EJ Williams
- EJ Williams
- EN Coade
- EO Hulbert
- EO Wollan
- EO Wollan
- EO Wollan
- EO Wollan
- EO Wollan
- EO Wollan
- F Engelmann
- F Farquharson
- F Goldmann
- F Goldmann
- F Goldmann
- F Holweck
- F Hund
- F Kirchner
- F Knauer
- F Schmieder
- F Suhner
- F Wisshak
- F Wolf
- F Wolf
- F Wolf
- F Wolf
- F Wolf
- F Wolf
- F Wolf
- F Wolf
- F Wolf
- F Wolf
- F Wolf
- F Wolf
- F Wolf
- F Wolf
- F Wolf
- F Wolf
- F Wolf
- F Wolf
- F Wolf
- F Wolf
- F Wolf
- F Wolf
- F Wolf
- F Wolf
- F Wolf
- F Wolf
- F Wolf
- F Wolf
- F Wolf
- F Wolf
- F Wolf
- FC Blake
- FC Ostensen
- FC Poultney
- FE Hoare
- Feuchtheimer
- FG Slack
- FJ Callisen
- FK Richtmyer
- FK Richtmyer
- FK Richtmyer
- FK Richtmyer
- FK Richtmyer
- FK Richtmyer
- FK Richtmyer
- FK Richtmyer
- FL Arnot
- FL Arnot
- FL Arnot
- FL Arnot
- FL Arnot
- FL Arnot
- FL Arnot
- FL Arnot
- FL Arnot
- FL Arnot
- FL Arnot
- FM Durbin
- FM Durbin
- FM Pedersen
- FM Uber
- FM Uber
- FN Nicoll
- FN Nicoll
- FN Nicoll
- FN Nicoll
- FN Nicoll
- FN Nicoll
- FP Bundy
- FW Gray
- G Bruhat
- G Bruhat
- G Bruhat
- G Dascola
- G Dupouy
- G Dupouy
- G Gassmann
- G Glockler
- G Greenwood
- G Haft
- G Harvey
- G Herzog
- G Herzog
- G Herzog
- G Herzog
- G Hevesy
- G Joos
- G Joos
- G Kellström
- G Plato
- G Plato
- G Plato
- G Schanz
- G Stetter
- G Stetter
- G Stetter
- G Stetter
- G Strohmeir
- GA Morton
- GB Bandopadhyaya
- GE Normand
- GEM Jauncey
- GEM Jauncey
- GEM Jauncey
- GG Havens
- GH Briggs
- GH Briggs
- GH Henderson
- GJ Brasefied
- GJ Sizoo
- GL Datta
- GL Locher
- GM Webb
- GM Webb
- GTP Tarrant
- GW Brindley
- GW Brindley
- GW Brindley
- GW Brindley
- GW Brindley
- GW Brindley
- GW Brindley
- GW Brindley
- GW Brindley
- GW Brindley
- GW Brindley
- GW Brindley
- GW Brindley
- GW Brindley
- GW Brindley
- GW Brindley
- H Baerwald
- H Bartels
- H Bartels
- H Bethe
- H Bizette
- H Bizette
- H Bizette
- H Bommer
- H Braune
- H Braune
- H Braune
- H Bumann
- H Fritsch
- H Funk
- H Gärtner
- H Hall
- H Hansen
- H Haraldsen
- H Harle
- H Henkin
- H Hönl
- H Jensen
- H Jensen
- H Jensen
- H Kallmann
- H Kaufmann
- H Ketelaar
- H Kurtz
- H Küstner
- H Küstner
- H Küstner
- H Küstner
- H Küstner
- H Küstner
- H Lay
- H Löhner
- H Löhner
- H Löhner
- H Löhner
- H Löhner
- H Maier-Leibnitz
- H Meyer
- H Meyer
- H Meyer
- H Meyer
- H Moser
- H Neuert
- H Neuert
- H Ollivier
- H Ollivier
- H Ollivier
- H Ollivier
- H Ollivier
- H Ollivier
- H Ollivier
- H Ollivier
- H Ollivier
- H Poeverlein
- H Poeverlein
- H Poeverlein
- H Poltz
- H Ramien
- H Schwarz
- H Sponer
- H Sponer
- H Trübestein
- H Vatter
- H Vogel
- H Wayland
- HA Bethe
- HA Stuart
- Heydweiler
- HF Newhall
- HG Grimm
- HG Trieschmann
- HH Biermann
- HL Brose
- HL Johnston
- HM Sharp
- HR Hassé
- HR Hulme
- HS Lipson
- HS Ribner
- HSW Massey
- HSW Massey
- HSW Massey
- HSW Massey
- HSW Massey
- HSW Massey
- HSW Massey
- HSW Massey
- HSW Massey
- HSW Massey
- HSW Massey
- HSW Massey
- HSW Massey
- HSW Massey
- HSW Massey
- HSW Massey
- Humburg
- HW Berry
- HW Berry
- HW Berry
- HW Berry
- I Abonnenc
- I O’Connor
- I Waller
- IG Kirkwood
- IG Slater
- IM Klotz
- IP Vinti
- IT Pierce
- J Backhurst
- J Bannon
- J Becquerel
- J Becquerel
- J Becquerel
- J Becquerel
- J Becquerel
- J Becquerel
- J Becquerel
- J Becquerel
- J Becquerel
- J Becquerel
- J Becquerel
- J Becquerel
- J Becquerel
- J Becquerel
- J Becquerel
- J Becquerel
- J Becquerel
- J Becquerel
- J Brentano
- J Brentano
- J Brentano
- J Chaudier
- J Dahlen
- J Estermann
- J Handel v. d.
- J Jenkins
- J Laval
- J Mayer
- J Müller
- J Oumanski
- J Pernet
- J Razek
- J Read
- J Read
- J Read
- J Smith
- J Valasek
- J Verhaeghe
- J Verhaeghe
- J Verhaeghe
- J Verhaeghe
- J Verhaeghe
- J Waller
- JA Bearden
- JA Bearden
- JA Crowther
- JA Crowther
- JA Gray
- JA Victoreen
- JA Wasastjerna
- Janes
- JB Fisk
- JB Fisk
- JB Fisk
- JC Mouzon
- JC Mouzon
- JC Mouzon
- JCM Brentano
- JD Bernai
- JD McGee
- JD Whitney
- JE Bates
- JE Lees
- JE Mackenzie
- JE Roberts
- JF Sirks
- JG Kirkwood
- JG Slater
- JG Winans
- JH Manley
- JH McMillen
- JH McMillen
- JH Simons
- JH Simons
- JH Simons
- JH Simons
- JH Simons
- JH Simons
- JH Vleck van
- JH Vleck van
- JH Vleck van
- JH Vleck van
- JJG McCue
- JM Allen
- JM Allen
- JM Allen
- JM Allen
- JM Allen
- JM Cork
- JM Milatz
- JMW Milatz
- JP Vinti
- JR Bates
- JR Ingersoll
- JR Ingersoll
- JR Ingersoll
- JS Rogers
- JS Shur
- JS Thompson
- JS Townsend
- JT Tate
- JT Tate
- JT Tate
- JW Liska
- K Diebner
- K Fajans
- K Fajans
- K Fajans
- K Fajans
- K Fajans
- K Fajans
- K Fajans
- K Gailer
- K Grosskurth
- K Großkurth
- K Ikenmeyer
- K Kido
- K Kido
- K Kido
- K Kido
- K Larché
- K Londsdale
- K Reicheneder
- K Scharf
- K Schocken
- K Schulz
- K Schäfer
- K Siebertz
- K Spangenberg
- KA Wingardh
- KA Wingardh
- KC Kar
- KC Kar
- KC Subramamiam
- KE Mann
- KE Mann
- KF Kohlrausch
- KH Bracewell
- KS Knol
- KWF Kohlrausch
- L Abonnenc
- L Backhurst
- L Bewilogua
- L Grillet
- L Hamos
- L Harris
- L Leprince-Ringuet
- L Leprince-Ringuet
- L Malatesta
- L Meitner
- L Pauling
- L Pauling
- L Pauling
- L Pauling
- L Pauling
- L Rabinowitsch
- LA Delsasso
- LC Atta
- LE Love ridge
- LF Broadway
- LF Broadway
- LH Carr
- LH Carr
- LH Gray
- LH Martin
- LH Thomas
- LM Heil
- LM Martin
- LO Olsen
- LO Olsen
- LO Olsen
- LO Olsen
- LS Ornstein
- LS Ornstein
- LS Ornstein
- LS Ornstein
- LT Pockmann
- M Balderston
- M Born
- M Broglie
- M Goodrich
- M Goodrich
- M Haas
- M Haase
- M Jusuf
- M Laue
- M Lax
- M Nordmeyer
- M Ponte
- M Renninger
- M Renninger
- M Scherer
- M Siegbahn
- M Trautz
- M Trautz
- M Trautz
- M Trautz
- M Trautz
- M Trautz
- M Trautz
- M Trautz
- M Trautz
- M Trautz
- MB Nevgi
- MC Mason
- MF Skinker
- MF Skinker
- MG Peteri
- MJ Harms
- MT Jones
- MW Zeemanski
- N Bauer
- N Perakis
- N Perakis
- N Prileshajewa
- N Prileshajewa
- N Prileshajewa
- N Prileshajewa
- N Sasaki
- N Sasaki
- N Underwood
- NA Gorynuova
- NF Mott
- NF Mott
- NS Gingrich
- O Beeck
- O Beeck
- O Beeck
- O Beeck
- O Beeck
- O Beeck
- O Beeck
- O Beeck
- O Beeck
- O Beeck
- O Beeck
- O Beeck
- O Buhl
- O Fischer
- O Fischer
- O Herrmann
- O Herrmann
- O Herrmann
- O Klein
- O Klemperer
- O Schmidt
- O Schmidt
- O Schmidt
- O Schmidt
- O Schmidt
- O Schmidt
- O Schmidt
- O Schmidt
- O Schumann
- O Specchia
- O Thieme
- O Vieth
- OBO Mohr
- OE Frivold
- OE Kurt
- OH Kamerlingh
- OK de Foe
- OR Foz
- OS Duffendack
- OW Brindley
- P Auger
- P Beeck
- P Bricout
- P Debye
- P Debye
- P Gabiano
- P Gabiano
- P Gabiano
- P Gabiano
- P Gabiano
- P Gabiano
- P Gabiano
- P Gombas
- P Gombás
- P Gombás
- P Harteck
- P Kunze
- P Langevin
- P Mertz
- P Pascal
- P Pascal
- P Preiswerk
- P Rosenberg
- P Rosenberg
- P Rudnick
- P Rudnick
- P Scherrer
- P Vaillant
- P Vetterlein
- P Weiss
- P Wolf
- PA Ross
- PA Ross
- PA Ross
- PK Pillai
- PK Pillai
- PMS Blacket
- PMS Blackett
- PP Ewald
- PT Smith
- PT Smith
- Puluij
- PW Burbidge
- PW Selwood
- R Bernard
- R Bernard
- R Brill
- R Brill
- R Brill
- R Dorrestein
- R Döpel
- R Gans
- R Gans
- R Glocker
- R Junkelmann
- R Junkelmann
- R Lühdemann
- R Mallemann de
- R Mallemann de
- R Mallemann de
- R Mallemann de
- R Mallemann de
- R Mallemann de
- R Mallemann de
- R Mallemann de
- R Mallemann de
- R Mallemann de
- R Mallemann de
- R Mallemann de
- R Mallemann de
- R Mallemann de
- R Mallemann de
- R Mallemann de
- R Mallemann de
- R Mallemann de
- R Mallemann de
- R Mallemann de
- R Mallemann de
- R Mallemann de
- R Mallemann de
- R Mannkopf f
- R Naidu
- R Naidu
- R Niini
- R Peterson
- R Seeliger
- R Seeliger
- R Seeliger
- R Seiler
- R Servant
- R Suhrmann
- R Whiddington
- R Whiddington
- R Whiddington
- R Whiddington
- RA Buckingham
- RA Castleman
- RA Howard
- RA Smith
- RA Smith
- RB Kennard
- RB Kennard
- RB Kennard
- RB Kennard
- RC Williamson
- RD Hill
- RD Miller
- RD Miller
- RE Holzer
- RE Holzer
- RE Holzer
- RE Holzer
- RE Holzer
- RG Spencer
- RG Spencer
- RH Lavery
- RH Meßner
- RH Varian
- RJ Havighurst
- RJ Jones
- RL Griffith
- RM Melaven
- RM Sutton
- RM Zabel
- RN Mathur
- RN Varney
- RN Varney
- RN Varney
- Rodger
- RW James
- RW James
- RW James
- RW James
- RW James
- RW James
- RW James
- RW Lawrence
- RW Roberts
- RW Roberts
- RW Roberts
- RW Roberts
- RW Roberts
- RW Roberts
- RWG Wyckoff
- RWG Wyckoff
- RWG Wyckoff
- RWG Wyckoff
- S Bhatnagar
- S Broersma
- S Freed
- S Hill
- S Landau
- S Laubert
- S Mrozowski
- S Ramaseshan
- S Ramaseshan
- S Ramaseshan
- S Rosenblum
- S Rosenblum
- S Rosin
- S Rosin
- S Rosin
- S Steingiser
- S Steingiser
- S Steingiser
- S Steingiser
- S Tibilov
- S Yoshida
- SB Coles
- SB Colles
- SB Colles
- Scheffers
- Scheffers
- Scheffers
- Scheffers
- Schreiner
- Siertsema
- SJB Macelwana
- SJM Allen
- SJM Allen
- SK Allison
- SK Allison
- Smith
- SN Voorhis van
- SR Rao
- SS Bhatnagar
- SS Bhatnagar
- SS Bhatnagar
- SS Richardson
- T Derenzini
- T Derenzini
- T Derenzini
- T Hirone
- T Hori
- T Titani
- T Titani
- T Yamanouchi
- T Yamonouchi
- TM Hahn
- TM Lowry
- TM Lowry
- TR Cuykendall
- U Geffcken
- U Meyer
- U Veiel
- V Keußler
- V Kondratjew
- V Neumann
- V Vleck
- VA Bailey
- VCG Trew
- VCG Trew
- VCG Trew
- VCG Trew
- W Bleaknev
- W Bleakney
- W Bleakney
- W Christoph
- W Duane
- W Duane
- W Ehrenberg
- W Ehrenberg
- W Elenbaas
- W Elsasser
- W Fabrikant
- W Fabrikant
- W Gentner
- W Gentner
- W Gerlach
- W Gerlach
- W Gerlach
- W Grothey
- W Hanle
- W Hanle
- W Hanle
- W Hanle
- W Hanle
- W Hanle
- W Hanle
- W Hanle
- W Hanle
- W Harries
- W Heisenberg
- W Henneberg
- W Holst
- W Jentschke
- W Jentschke
- W Klabunde
- W Klemm
- W Klemm
- W Klemm
- W Klemm
- W Klemm
- W Klemm
- W Klemm
- W Klemm
- W Klemm
- W Klemm
- W Lenz
- W Lochte-Holtgreven
- W Maurer
- W Maurer
- W Maurer
- W Maurer
- W Maurer
- W Maurer
- W Meissner
- W Pfleiderer
- W Schaffernicbt
- W Scharwächter
- W Schüth
- W Schütz
- W Statz
- W Stockmeyer
- W Sucksmith
- W Sucksmith
- W Sucksmith
- W Ta-You
- W Trittelwitz
- W Voigt
- W Wrede
- W-G Topley
- WA Bruce
- WA Everhardt
- WA Hare
- WC Michels
- WD Crozier
- WE Stephens
- WG Penney
- WG Penney
- WH Bragg
- WH Brattain
- WH Mais
- WH Wetzel
- WJ Fisher
- WJ Hamm
- WJ Hamm
- WJ Hamm
- WJG Beynon
- WL Bragg
- WL Bragg
- WL Bragg
- WM Blaekney
- WP Allis
- WP Allis
- WP Jesse
- WR Angus
- WR Angus
- WR Angus
- WW Colvert
- WW Steward
- YH Woo
- YH Woo
- YH Woo
- Z Elektrochem
- Z Siertsema
- Z Siertsema
- Z Siertsema
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- 01/01/2013
- Field of study