Showing 1 - 3 results of 3 for search 'Fleuriot, Jacques, 1972-', query time: 0.02s Refine Results
  1. 1
    A combination of geometry theorem proving and nonstandard analysis with application to Newton's Principia /

    A combination of geometry theorem proving and nonstandard analysis with application to Newton's Principia / by Fleuriot, Jacques, 1972-

    Published 2001
    Book
    Save to List
    Saved in:
  2. 2
    Automated deduction in geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised selected papers /

    Automated deduction in geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised selected papers /

    Published 2013
    Other Authors:
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  3. 3
    Artificial intelligence and symbolic computation : 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings /

    Artificial intelligence and symbolic computation : 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings /

    Published 2018
    Other Authors: “…Fleuriot, Jacques, 1972-…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
Search Tools: RSS Feed