| Publication | Date of Publication | Type |
|---|
Automated reasoning contributes to mathematics and logic
| 2023-04-28 | Paper |
Parallelizing the closure computation in automated deduction
| 2023-04-28 | Paper |
scientific article; zbMATH DE number 2087631 (Why is no real title available?)
| 2004-08-11 | Paper |
scientific article; zbMATH DE number 1948428 (Why is no real title available?)
| 2003-07-13 | Paper |
scientific article; zbMATH DE number 1948425 (Why is no real title available?)
| 2003-07-13 | Paper |
scientific article; zbMATH DE number 1849120 (Why is no real title available?)
| 2003-01-06 | Paper |
Optimizing noncontiguous accesses in MPI--IO
Parallel Computing | 2002-03-03 | Paper |
Components and interfaces of a process management system for parallel programs
Parallel Computing | 2002-03-03 | Paper |
A high-performance MPI implementation on a shared-memory vector supercomputer
Parallel Computing | 1998-07-23 | Paper |
A high-performance, portable implementation of the MPI message passing interface standard
Parallel Computing | 1997-02-27 | Paper |
Monitors, messages, and clusters: The p4 parallel programming system
Parallel Computing | 1995-01-29 | Paper |
scientific article; zbMATH DE number 590572 (Why is no real title available?)
| 1994-06-16 | Paper |
Uniform strategies: The CADE-11 theorem proving contest
Journal of Automated Reasoning | 1994-04-12 | Paper |
Combinatorial results relating to products of idempotents in finite full transformation semigroups
Proceedings of the Royal Society of Edinburgh: Section A Mathematics | 1990-01-01 | Paper |
Using automated reasoning tools: A study of the semigroup \(F_ 2B_ 2\)
Semigroup Forum | 1987-01-01 | Paper |
scientific article; zbMATH DE number 3986666 (Why is no real title available?)
| 1986-01-01 | Paper |
Problem corner: Reasoning about equality
Journal of Automated Reasoning | 1985-01-01 | Paper |
Problem corner: Non-Horn problems
Journal of Automated Reasoning | 1985-01-01 | Paper |
scientific article; zbMATH DE number 4104410 (Why is no real title available?)
| 1984-01-01 | Paper |
Experiments with resolution-based theorem-proving algorithms
Computers & Mathematics with Applications | 1982-01-01 | Paper |
scientific article; zbMATH DE number 3684930 (Why is no real title available?)
| 1980-01-01 | Paper |
Configuration-Like Spaces and the Borsuk-Ulam Theorem
| 1976-01-01 | Paper |
The mod p Smith index and a generalized Borsuk-Ulam theorem
Michigan Mathematical Journal | 1975-01-01 | Paper |
An obstruction to extending isotopies of piecewise linear manifolds
Pacific Journal of Mathematics | 1975-01-01 | Paper |
A spectral sequence approach to embedding spaces
Illinois Journal of Mathematics | 1975-01-01 | Paper |
Coincidence Point Results for Spaces with Free Z p -Actions
Proceedings of the American Mathematical Society | 1975-01-01 | Paper |
Level-preserving approximations and isotopies, and homotopy groups of spaces of embeddings
Illinois Journal of Mathematics | 1974-01-01 | Paper |
scientific article; zbMATH DE number 3428259 (Why is no real title available?)
| 1974-01-01 | Paper |
Embeddings of bounded topological manifolds
Illinois Journal of Mathematics | 1973-01-01 | Paper |
