B. F. Caviness is an author at University of Delaware specializing in computer science, engineering, and algebraic complexity.
Top concepts
Computer ScienceEngineeringAlgebraic ComplexityFormal MethodsAutomated ReasoningComputational ComplexityFormal VerificationFunctional AnalysisTheory Of ComputingComputer Engineering
Publications per year
1970–1996
10
10
On Canonical Forms and Simplification
B. F. Caviness · Journal of the ACM · 1970 · 117 citations · Full text
Simplification of radical expressions
B. F. Caviness, Richard J. Fateman · 1976 · 21 citations
Rows per page
1–5 of 10