Vol-1803⫷ Vol-1804 ⫸Vol-1805
urn:nbn:de:0074-1804-0


Vol-1804/paper-03⫷Vol-1804/paper-04⫸Vol-1804/paper-05
Curtis BrightVijay Ganesh 0001Albert HeinleSaeed NejatiKrzysztof Czarnecki 0001Ilias S. Kotsireas

MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures