Intelligent Computer Mathematics: 16th International Conference, CICM 2023, Cambridge, UK, , September 5-8, 2023 Proceedings von Dubois, Catherine, Kerber, Manfred

Volltext

A Ramsey bound on stable sets in Jordan pillage games von Kerber, Manfred, Rowat, Colin

Volltext

Asymmetric majority pillage games von Kerber, Manfred, Rowat, Colin, Yoshihara, Naoki

Volltext

Applying the Isabelle Insider framework to airplane security von Kammüller, Florian, Kerber, Manfred

Volltext

Mizar: State-of-the-art and Beyond von Bancerek, Grzegorz, Byliński, Czesław, Grabowski, Adam, Korniłowicz, Artur, Matuszewski, Roman, Naumowicz, Adam, Pa̧k, Karol, Urban, Josef

Volltext

Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings von Kerber, Manfred, Carette, Jacques, Kaliszyk, Cezary, Rabe, Florian, Sorge, Volker

Volltext

A Tough Nut for Mathematical Knowledge Management von Kerber, Manfred, Pollet, Martin

Volltext

Towards an Annotation Standard for STEM Documents: Datasets, Benchmarks, and Spotters von Schaefer, Jan Frederik, Kohlhase, Michael

Volltext

Intelligent Computer Mathematics: 16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings

Volltext

An introduction to mechanized reasoning von Kerber, Manfred, Lange, Christoph, Rowat, Colin

Volltext

Using formal verification to develop higher assurance, more maintainable financial software von Kerber, Manfred, Rowat, Colin, Vosloo, Neels

Volltext

Computational Logic -- CL 2000: First International Conference London, UK, July 24-28, 2000 Proceedings von Lloyd, John, Dahl, Veronica, Furbach, Ulrich, Kerber, Manfred, Lau, Kung-Kiu, Palamidessi, Catuscia, Pereira, Luis M, Sagiv, Yehoshua, Stuckey, Peter J

Volltext

Sufficient conditions for unique stable sets in three agent pillage games von Rowat, Colin, Kerber, Manfred

Volltext

Using formal verification to develop higher assurance, more maintainable financial software von Kerber, Manfred, Vosloo, Neels, Rowat, Colin

Volltext

Verified Correctness, Accuracy, and Convergence of a Stationary Iterative Linear Solver: Jacobi Method von Tekriwal, Mohit, Appel, Andrew W., Kellison, Ariel E., Bindel, David, Jeannin, Jean-Baptiste

Volltext

Pillage games with multiple stable sets von MacKenzie, Simon, Kerber, Manfred, Rowat, Colin

Volltext

An Augmented MetiTarski Dataset for Real Quantifier Elimination Using Machine Learning von Hester, John, Hitaj, Briland, Passmore, Grant, Owre, Sam, Shankar, Natarajan, Yeh, Eric

Volltext

Highlighting Named Entities in Input for Auto-formulation of Optimization Problems von Gangwar, Neeraj, Kani, Nickvash

Volltext

Proving Results About OEIS Sequences with Walnut von Shallit, Jeffrey

Volltext

Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation von Bayer, Jonas, Gonus, Alexey, Benzmüller, Christoph, Scott, Dana S.

Volltext