Nicolas Van Cleemput

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 5

Top Topics

Automated Theorem Proving

Fully Automatic

Graph Theoretic

Top Venues

Ann. Math. Artif. Intell.

Theor. Comput. Sci.

Publications

Craig E. Larson, Nicolas Van Cleemput
Top-down Automated Theorem Proving (Notes for Sir Timothy). CoRR (2023)
J. Paul Brooks, D. J. Edwards, Craig E. Larson, Nicolas Van Cleemput
Conjecturing-Based Computational Discovery of Patterns in Data. CoRR (2020)
Neal Bushaw, Craig E. Larson, Nicolas Van Cleemput
Automated Conjecturing VII: The Graph Brain Project & Big Mathematics. CoRR (2018)
Craig E. Larson, Nicolas Van Cleemput
Automated conjecturing III - Property-relations conjectures. Ann. Math. Artif. Intell. 81 (3-4) (2017)
Craig E. Larson, Nicolas Van Cleemput
Automated conjecturing I: Fajtlowicz's Dalmatian heuristic revisited. Artif. Intell. 231 (2016)
Gunnar Brinkmann, Nicolas Van Cleemput, Tomaz Pisanski
Generation of various classes of trivalent graphs. Theor. Comput. Sci. 502 (2013)
Gunnar Brinkmann, Nicolas Van Cleemput
Classification and generation of nanocones. Discret. Appl. Math. 159 (15) (2011)
Gunnar Brinkmann, Nicolas Van Cleemput
NANOCONES - A Classification Result in Chemistry. CTW (2009)
Adriaan Peeters, Kris Coolsaet, Gunnar Brinkmann, Nicolas Van Cleemput, Veerle Fack
GrInvIn for graph theory teaching and research. CTW (2007)