Search or ask a question
Pricing
Login
Sign up
Home
Notebook
Profile
Citation booster
Literature Review
Copilot
Citation generator
Paraphraser
AI Detector
Chrome Extension
Talk with us
Use on ChatGPT
Home
/
Authors
/
Jacques Fleuriot
/
2005
Showing papers by "Jacques Fleuriot published in 2005"
PDF
Open Access
Year
Type
Authors (1)
Institutions
Topics
Journals & Conferences
Clear filters
Sort by:
Citation Count
Combining Dynamic Geometry, Automated Geometry Theorem Proving And Diagrammatic Proofs
[...]
Sean M. Wilson
,
Jacques Fleuriot
01 Jan 2005
Go to Paper
40
citations
Save
Cite
Share
Proceedings of the European Joint Conferences on Theory and Practice of Software (ETAPS) Satellite Workshop on User Interfaces for Theorem Provers (UITP)
[...]
Sean M. Wilson
,
Jacques Fleuriot
01 Jan 2005
Go to Paper
10
citations
Save
Cite
Share