Concepedia

Florence Benoy

FB

3

Publications

147

Citations

3

H-Index

1996

Active since

Affiliations

University of Kent(Current)

Florence Benoy is an author at University of Kent specializing in automated reasoning, formal methods, and engineering.

Top concepts

Automated ReasoningEngineeringFormal MethodsGeometry ModelingDesignGeometryEducationStatisticsDesign ThinkingSocial Sciences

Publications per year

1996–2007

3

Publications

3

Inferring Argument Size Relationships with CLP(R)

Florence Benoy, Andy King · 1996 · 75 citations

Engineering, Parameterized Complexity, Automated Reasoning +6

Evaluating the Comprehension of Euler Diagrams

Florence Benoy, Peter Rodgers · Proceedings · 2007 · 39 citations

Geometry, Visualization (Graphics), Education +17

Computing convex hulls with a linear solver

Florence Benoy, Andy King, Fred Mesnard · Theory and Practice of Logic Programming · 2005 · 33 citations

Numerical Analysis, Mathematical Programming, Linear Solver +19

Rows per page

1–3 of 3