Concepedia

Charles Jordan

CJ

Statistics

Publications

6

Citations

1.2K

H-Index

6

Active since

1933

Affiliations

Hokkaido University(Current)

Carnegie Mellon University

Charles Jordan is an author at Hokkaido University specializing in numerical analysis, automated reasoning, and engineering.

Top concepts

Numerical AnalysisEngineeringFormal MethodsSatisfiabilityQuantum ScienceComputer ScienceQuantum ComputingAutomated ReasoningFormal VerificationComputer Engineering

Publications per year

1933–2016

6

Publications

6

Calculus of Finite Differences.

H. P., Charles Jordan · Mathematics of Computation · 1962 · 456 citations

Numerical Analysis, Automatic Differentiation, Finite Differences +1

Calculus of Finite Differences

C. W. Jones, Charles Jordan · The Mathematical Gazette · 1951 · 428 citations

Numerical Analysis, Calculus Of Variation, Automatic Differentiation +2

Calculus of Finite Differences.

Charles Jordan · Biometrika · 1963 · 253 citations

Numerical Analysis, Automatic Differentiation, Finite Differences +1

On Stirling's Numbers

Charles Jordan · Tohoku Mathematical Journal · 1933 · 19 citations

Analytic Combinatorics, Enumerative Combinatorics, Discrete Mathematics

Non-CNF QBF Solving with QCIR

Charles Jordan, Will Klieber, Martina Seidl · National Conference on Artificial Intelligence · 2016 · 17 citations

Numerical Analysis, Engineering, Boolean Function +18

1–5 of 6