# zbMATH — the first resource for mathematics

## Lusk, Ewing L.

Compute Distance To:
 Author ID: lusk.ewing-l Published as: Lusk, Ewing; Lusk, Ewing L.; Lusk, E. L.; Lusk, E.
 Documents Indexed: 30 Publications since 1973, including 3 Books
all top 5

#### Co-Authors

 6 single-authored 9 Overbeek, Ross A. 6 Gropp, William D. 4 McCune, William W. 3 Butler, Ralph M. 2 Boyle, Jim 2 Cohen, Fred R. 2 McFadden, Robert B. 2 Wos, Larry 1 Dancis, Jerome 1 Doss, Nathan E. 1 Howie, John Mackintosh 1 Matlin, Olga Shumsky 1 Ong, Emil 1 Skjellum, Anthony 1 Stickel, Mark E. 1 Thakur, Rajeev 1 Winker, Steven K. 1 Wos, Lawrence A.
all top 5

#### Serials

 5 Parallel Computing 4 Journal of Automated Reasoning 3 Illinois Journal of Mathematics 2 Proceedings of the American Mathematical Society 1 Computers & Mathematics with Applications 1 Mathematics of Computation 1 Michigan Mathematical Journal 1 Pacific Journal of Mathematics 1 Semigroup Forum 1 Proceedings of the Royal Society of Edinburgh. Section A. Mathematics 1 Lecture Notes in Computer Science
all top 5

#### Fields

 21 Computer science (68-XX) 6 Manifolds and cell complexes (57-XX) 4 Algebraic topology (55-XX) 3 General topology (54-XX) 2 Mathematical logic and foundations (03-XX) 2 Group theory and generalizations (20-XX) 2 Information and communication theory, circuits (94-XX) 1 General and overarching topics; collections (00-XX) 1 Combinatorics (05-XX)

#### Citations contained in zbMATH Open

21 Publications have been cited 230 times in 219 Documents Cited by Year
A high-performance, portable implementation of the MPI message passing interface standard. Zbl 0875.68206
Gropp, William; Lusk, Ewing; Doss, Nathan; Skjellum, Anthony
1996
Automated reasoning: introduction and applications. Incl. 1 disk. 2nd ed. Zbl 0820.68116
Wos, Larry; Overbeek, Ross; Lusk, Ewing; Boyle, Jim
1992
Automated reasoning. Introduction and applications. Zbl 0674.68057
Wos, Larry; Overbeek, Ross; Lusk, Ewing; Boyle, Jim
1984
Set theory in first-order logic: Clauses for Gödel’s axioms. Zbl 0635.03008
Boyer, Robert; Lusk, Ewing; McCune, William; Overbeek, Ross; Stickel, Mark E.; Wos, Lawrence
1986
Configuration-like spaces and the Borsuk-Ulam theorem. Zbl 0326.55002
Cohen, Fred; Lusk, Ewing L.
1976
Problem corner: Reasoning about equality. Zbl 0615.68065
Lusk, E. L.; Overbeek, R. A.
1985
Semigroups, antiautomorphisms, and involutions: A computer solution to an open problem. I. Zbl 0517.20041
Winker, S. K.; Wos, L.; Lusk, E. L.
1981
Combinatorial results relating to products of idempotents in finite full transformation semigroups. Zbl 0719.20034
Howie, John M.; Lusk, Ewing L.; McFadden, Robert B.
1990
Monitors, messages, and clusters: The p4 parallel programming system. Zbl 0825.68317
Butler, Ralph M.; Lusk, Ewing L.
1994
Using automated reasoning tools: A study of the semigroup $$F_ 2B_ 2$$. Zbl 0632.68087
1987
Paths to high-performance automated theorem proving. Zbl 0609.68060
Butler, Ralph; Lusk, Ewing; McCune, William; Overbeek, Ross
1986
Problem corner: Non-Horn problems. Zbl 0614.68069
Lusk, Ewing; Overbeek, Ross
1985
Data structures and control architecture for implementation of theorem- proving programs. Zbl 0438.68048
Overbeek, Ross A.; Lusk, Ewing L.
1980
A high-performance MPI implementation on a shared-memory vector supercomputer. Zbl 0906.68021
Gropp, William; Lusk, Ewing
1997
The mod p Smith index and a generalized Borsuk-Ulam theorem. Zbl 0324.55005
Lusk, Ewing L.
1975
Uniform strategies: The CADE-11 theorem proving contest. Zbl 0802.68131
Lusk, Ewing L.; McCune, William W.
1993
Optimizing noncontiguous accesses in MPI–IO. Zbl 0984.68081
Thakur, Rajeev; Gropp, William; Lusk, Ewing
2002
SPINning parallel systems software. Zbl 1077.68697
Matlin, Olga Shumsky; Lusk, Ewing; McCune, William
2002
MPI on the grid. Zbl 1015.68726
Gropp, William; Lusk, Ewing
2002
Level-preserving approximations and isotopies, and homotopy groups of spaces of embeddings. Zbl 0281.57014
Lusk, Ewing
1974
Coincidence point results for spaces with free $$Z_2$$-actions. Zbl 0306.55006
Cohen, Fred; Lusk, Ewing L.
1975
Optimizing noncontiguous accesses in MPI–IO. Zbl 0984.68081
Thakur, Rajeev; Gropp, William; Lusk, Ewing
2002
SPINning parallel systems software. Zbl 1077.68697
Matlin, Olga Shumsky; Lusk, Ewing; McCune, William
2002
MPI on the grid. Zbl 1015.68726
Gropp, William; Lusk, Ewing
2002
A high-performance MPI implementation on a shared-memory vector supercomputer. Zbl 0906.68021
Gropp, William; Lusk, Ewing
1997
A high-performance, portable implementation of the MPI message passing interface standard. Zbl 0875.68206
Gropp, William; Lusk, Ewing; Doss, Nathan; Skjellum, Anthony
1996
Monitors, messages, and clusters: The p4 parallel programming system. Zbl 0825.68317
Butler, Ralph M.; Lusk, Ewing L.
1994
Uniform strategies: The CADE-11 theorem proving contest. Zbl 0802.68131
Lusk, Ewing L.; McCune, William W.
1993
Automated reasoning: introduction and applications. Incl. 1 disk. 2nd ed. Zbl 0820.68116
Wos, Larry; Overbeek, Ross; Lusk, Ewing; Boyle, Jim
1992
Combinatorial results relating to products of idempotents in finite full transformation semigroups. Zbl 0719.20034
Howie, John M.; Lusk, Ewing L.; McFadden, Robert B.
1990
Using automated reasoning tools: A study of the semigroup $$F_ 2B_ 2$$. Zbl 0632.68087
1987
Set theory in first-order logic: Clauses for Gödel’s axioms. Zbl 0635.03008
Boyer, Robert; Lusk, Ewing; McCune, William; Overbeek, Ross; Stickel, Mark E.; Wos, Lawrence
1986
Paths to high-performance automated theorem proving. Zbl 0609.68060
Butler, Ralph; Lusk, Ewing; McCune, William; Overbeek, Ross
1986
Problem corner: Reasoning about equality. Zbl 0615.68065
Lusk, E. L.; Overbeek, R. A.
1985
Problem corner: Non-Horn problems. Zbl 0614.68069
Lusk, Ewing; Overbeek, Ross
1985
Automated reasoning. Introduction and applications. Zbl 0674.68057
Wos, Larry; Overbeek, Ross; Lusk, Ewing; Boyle, Jim
1984
Semigroups, antiautomorphisms, and involutions: A computer solution to an open problem. I. Zbl 0517.20041
Winker, S. K.; Wos, L.; Lusk, E. L.
1981
Data structures and control architecture for implementation of theorem- proving programs. Zbl 0438.68048
Overbeek, Ross A.; Lusk, Ewing L.
1980
Configuration-like spaces and the Borsuk-Ulam theorem. Zbl 0326.55002
Cohen, Fred; Lusk, Ewing L.
1976
The mod p Smith index and a generalized Borsuk-Ulam theorem. Zbl 0324.55005
Lusk, Ewing L.
1975
Coincidence point results for spaces with free $$Z_2$$-actions. Zbl 0306.55006
Cohen, Fred; Lusk, Ewing L.
1975
Level-preserving approximations and isotopies, and homotopy groups of spaces of embeddings. Zbl 0281.57014
Lusk, Ewing
1974
all top 5

#### Cited by 451 Authors

 20 Wos, Larry 5 McCune, William W. 4 East, James 3 Omodeo, Eugenio Giovanni 3 Plaisted, David Alan 2 Ahmed, Shabbir 2 Andrews, Peter B. 2 Bailey, David Harold 2 Balyo, Tomáš 2 Bishop, Matthew 2 Cifani, Paolo 2 Creel, Michael 2 Défourneaux, Gilles 2 Dolinka, Igor 2 Geurts, Bernard J. 2 Havé, Pascal 2 Karasev, Roman N. 2 Kuerten, J. G. M. 2 Lee, Kyun Ho 2 Lee, Shie-Jue 2 Lusk, Ewing L. 2 Munguía, Lluís-Miquel 2 Peltier, Nicolas 2 Reiter, Sebastian 2 Rüde, Ulrich 2 Rupp, Martin 2 Segre, Alberto Maria 2 Skjellum, Anthony 2 Stickel, Mark E. 2 Sutcliffe, Geoff 2 Vemaganti, Kumar S. 2 Vogel, Andreas 2 Volovikov, Aleksej Yur’evich 2 Wittum, Gabriel 2 Zhang, Hantao 1 Aage, Niels 1 Abouchabaka, Jaafar 1 Adenso-Díaz, Belarmino 1 Ainsworth, G. O. jun. 1 Akman, Varol 1 Al-Shaikh, Raed A. 1 Alberto, Angelines 1 Alemany, M. M. G. 1 Ali, Khayri A. M. 1 Ali, Norhashidah Hj. Mohd. 1 Alonso, Pedro 1 Andersson, Helge I. 1 Araújo, João 1 Arias, Enrique 1 Aszalós, László 1 Atayan, V. V. 1 Avetisyan, A. I. 1 Bader, David A. 1 Badia, Santiago 1 Banerjee, Anindya 1 Bangalore, Purushotham V. 1 Beall, Mark W. 1 Belinfante, Johan Gijsbertus Frederik 1 Bell, Alexander 1 Ben-Hafaiedh, Imene 1 Benet, Jesús 1 Benner, Peter 1 Bernabeu, Miguel O. 1 Biros, George 1 Bischof, Christian H. 1 Blayo, Eric 1 Bledsoe, Woodrow W. 1 Boehning, Peer 1 Borwein, Jonathan Michael 1 Boukerche, Azzedine 1 Bourely, Christophe 1 Bova, S. W. 1 Bringsjord, Selmer 1 Brink, Chris 1 Broadhurst, David John 1 Bunder, Martin W. 1 Buyya, Rajkumar 1 Cai, Xing 1 Calandra, Henri 1 Cardew-Hall, Michael 1 Carey, Graham Francis 1 Castillo, Zenaida 1 Chaib, Mohamed 1 Chelikowsky, James R. 1 Chen, Guoliang 1 Chen, Xiao 1 Cheng, Jing-Ru C. 1 Cheng, Meng 1 Chikitkin, A. V. 1 Chiu, Yung-Chang 1 Chu, Kuo-Chih 1 Chupov, Sergey V. 1 Ciznicki, Milosz 1 Clercx, Herman J. H. 1 Codenotti, Bruno 1 Cohen, Fred R. 1 Courbin, Pierre 1 Coveney, Peter V. 1 Cuartero, Fernando 1 Curran, James R. ...and 351 more Authors
all top 5

#### Cited in 90 Serials

 33 Journal of Automated Reasoning 9 Computers and Fluids 7 Journal of Symbolic Computation 6 Computer Methods in Applied Mechanics and Engineering 6 Computer Physics Communications 5 Journal of Parallel and Distributed Computing 5 SIAM Journal on Scientific Computing 4 Artificial Intelligence 4 Journal of Computational Physics 4 Parallel Computing 4 Computing and Visualization in Science 3 Applied Mathematics and Computation 3 Journal of Algebra 3 Topology and its Applications 3 International Journal of Parallel Programming 3 Computational Mechanics 3 Journal of Scientific Computing 3 Computational Optimization and Applications 3 Computational Economics 3 Formal Methods in System Design 3 Annals of Mathematics and Artificial Intelligence 2 Computers & Mathematics with Applications 2 International Journal of Heat and Mass Transfer 2 Programming and Computer Software 2 Semigroup Forum 2 Software. Practice & Experience 2 New Generation Computing 2 Algorithmica 2 Computational Statistics 2 Journal of Non-Newtonian Fluid Mechanics 2 Computational Statistics and Data Analysis 2 Cybernetics and Systems Analysis 2 Fractional Calculus & Applied Analysis 2 Algebraic & Geometric Topology 2 Concurrency and Computation: Practice & Experience 1 Communications in Algebra 1 Journal of the Franklin Institute 1 Mathematics of Computation 1 The Mathematical Intelligencer 1 BIT 1 Journal of Computational and Applied Mathematics 1 Journal of Computer and System Sciences 1 Journal of Philosophical Logic 1 Mathematics and Computers in Simulation 1 Notre Dame Journal of Formal Logic 1 Proceedings of the American Mathematical Society 1 1 Theoretical Computer Science 1 Transactions of the American Mathematical Society 1 Science of Computer Programming 1 Computers & Operations Research 1 Annals of Operations Research 1 Real-Time Systems 1 International Journal of Algebra and Computation 1 Concurrency: Practice and Experience 1 Numerical Algorithms 1 Artificial Intelligence Review 1 Computational Mathematics and Mathematical Physics 1 European Journal of Operational Research 1 International Journal of Computer Mathematics 1 Systems Analysis, Modelling Simulation 1 Foundations of Computing and Decision Sciences 1 Advances in Engineering Software 1 Journal of Applied Non-Classical Logics 1 Journal of Mathematical Sciences (New York) 1 St. Petersburg Mathematical Journal 1 International Journal of Numerical Methods for Heat & Fluid Flow 1 INFORMS Journal on Computing 1 Parallel Algorithms and Applications 1 International Journal of Computational Fluid Dynamics 1 European Series in Applied and Industrial Mathematics (ESAIM): Proceedings 1 Multibody System Dynamics 1 M2AN. Mathematical Modelling and Numerical Analysis. ESAIM, European Series in Applied and Industrial Mathematics 1 Engineering Computations 1 Archives of Computational Methods in Engineering 1 Theory and Practice of Logic Programming 1 Journal of Machine Learning Research (JMLR) 1 JMMA. Journal of Mathematical Modelling and Algorithms 1 Bulletin of the Brazilian Mathematical Society. New Series 1 Structural and Multidisciplinary Optimization 1 Computational Linguistics 1 Journal of Applied Logic 1 Journal of Computational Acoustics 1 Mathematics in Computer Science 1 Journal of Homotopy and Related Structures 1 The Annals of Applied Statistics 1 Mathematical Programming Computation 1 Journal of Theoretical Biology 1 Journal of Optimization 1 Journal of Logical and Algebraic Methods in Programming
all top 5

#### Cited in 31 Fields

 124 Computer science (68-XX) 60 Numerical analysis (65-XX) 31 Mathematical logic and foundations (03-XX) 24 Fluid mechanics (76-XX) 18 Operations research, mathematical programming (90-XX) 12 Mechanics of deformable solids (74-XX) 10 Algebraic topology (55-XX) 7 Group theory and generalizations (20-XX) 7 Statistics (62-XX) 5 Partial differential equations (35-XX) 5 Manifolds and cell complexes (57-XX) 5 Statistical mechanics, structure of matter (82-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 Combinatorics (05-XX) 4 Linear and multilinear algebra; matrix theory (15-XX) 3 Calculus of variations and optimal control; optimization (49-XX) 3 Biology and other natural sciences (92-XX) 2 Associative rings and algebras (16-XX) 2 Ordinary differential equations (34-XX) 2 Optics, electromagnetic theory (78-XX) 2 Quantum theory (81-XX) 2 Geophysics (86-XX) 2 Information and communication theory, circuits (94-XX) 1 History and biography (01-XX) 1 Number theory (11-XX) 1 Integral equations (45-XX) 1 Convex and discrete geometry (52-XX) 1 General topology (54-XX) 1 Probability theory and stochastic processes (60-XX) 1 Mechanics of particles and systems (70-XX) 1 Systems theory; control (93-XX)