Skip to main content
SpringerLink
Log in

CICM’22 System Entries

  • Conference paper
  • First Online:
Intelligent Computer Mathematics (CICM 2022)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 13467))

Included in the following conference series:

  • 468 Accesses

Abstract

This consolidated paper gives an overview of new tools and improvements of existing tools in the CICM domain that occurred since the last CICM conference.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

Notes

  1. 1.

    https://bit.ly/isabelle-client.

  2. 2.

    https://isabelle-client.rtfd.io.

References

  1. conda-forge Community: The conda-forge Project: Community-based Software Distribution Built on the conda Package Format and Ecosystem. Zenodo (2015). https://doi.org/10.5281/zenodo.4774216

  2. De Lon, A., Koepke, P., Lorenzen, A., Marti, A., Schütz, M., Sturzenhecker, E.: Beautiful formalizations in Isabelle/Naproche. In: Kamareddine, F., Sacerdoti Coen, C. (eds.) CICM 2021. LNCS (LNAI), vol. 12833, pp. 19–31. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-81097-9_2

    Chapter  Google Scholar 

  3. De Lon, A., Koepke, P., Lorenzen, A., Marti, A., Schütz, M., Wenzel, M.: The Isabelle/Naproche natural language proof assistant. In: Platzer, A., Sutcliffe, G. (eds.) CADE 2021. LNCS (LNAI), vol. 12699, pp. 614–624. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-79876-5_36

    Chapter  Google Scholar 

  4. Ecma International: Standard ECMA-404: The JSON Data Interchange Syntax (2017). https://www.ecma-international.org/publications-and-standards/standards/ecma-404/

  5. Fussner, W., Shminke, B.: Mining counterexamples for wide-signature algebras with an Isabelle server. arXiv:2109.05264 [cs.LO] (2021). https://doi.org/10.48550/ARXIV.2109.05264

  6. Haslbeck, M.P.L., Wimmer, S.: Competitive proving for fun. In: Benzmüller, C., Parent, X., Steen, A. (eds.) Selected Student Contributions and Workshop Papers of LuxLogAI 2018. Kalpa Publications in Computing, vol. 10, pp. 9–14. EasyChair (2018). https://doi.org/10.29007/ktx8

  7. Isabelle Contributors: The Isabelle 2021–1 release (2021). https://isabelle.in.tum.de/website-Isabelle2021/index.html

  8. Jupyter, P., et al.: Binder 2.0 - reproducible, interactive, sharable environments for science at scale. In: Akici, F., Lippa, D., Niederhut, D., Pacer, M. (eds.) Proceedings of the 17th Python in Science Conference, pp. 113–120 (2018). https://doi.org/10.25080/Majora-4af1f417-011

  9. Líška, Martin: CICM’21 systems entries. In: Kamareddine, Fairouz, Sacerdoti Coen, Claudio (eds.) CICM 2021. LNCS (LNAI), vol. 12833, pp. 245–248. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-81097-9_20

  10. Schulz, S., Cruanes, S., Vukmirović, P.: Faster, higher, stronger: E 2.3. In: Fontaine, P. (ed.) CADE 2019. LNCS (LNAI), vol. 11716, pp. 495–507. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-29436-6_29

    Chapter  Google Scholar 

  11. Shao, C.: Asterius contributors: asterius (2022). https://github.com/tweag/asterius

  12. Shminke, B.: Python client for Isabelle server (0.3.5). Zenodo (2022). https://doi.org/10.5281/zenodo.6490275

  13. Stegeman, L., GHCJS contributors: GHCJS (2022). https://github.com/ghcjs/ghcjs

  14. Sutcliffe, G.: System Description: SystemOnTPTP. In: McAllester, D. (ed.) CADE 2000. LNCS (LNAI), vol. 1831, pp. 406–410. Springer, Heidelberg (2000). https://doi.org/10.1007/10721959_31

    Chapter  Google Scholar 

  15. Weidenbach, C., Dimova, D., Fietzke, A., Kumar, R., Suda, M., Wischnewski, P.: SPASS version 3.5. In: Schmidt, R.A. (ed.) CADE 2009. LNCS (LNAI), vol. 5663, pp. 140–145. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-02959-2_10

    Chapter  Google Scholar 

  16. Wenzel, M.: Isabelle/PIDE after 10 years of development. In: 13th International Workshop on User Interfaces for Theorem Provers (UITP 2018), Oxford, UK (2018). https://sketis.net/wp-content/uploads/2018/08/isabelle-pide-uitp2018.pdf

  17. Wenzel, M.: The Isabelle system manual (2021). https://isabelle.in.tum.de/dist/Isabelle2021-1/doc/system.pdf

Download references

Acknowledgements

This work has been supported by the French government, through the 3IA Côte d’Azur Investments in the Future project managed by the National Research Agency (ANR) with the reference number ANR-19-P3IA-0002.

Author information

Authors and Affiliations

  1. University of Bonn, Bonn, Germany

    Peter Koepke & Anton Lorenzen

  2. Laboratoire J.A. Dieudonné, CNRS and Université Côte d’Azur, Nice, France

    Boris Shminke

Authors
  1. Peter Koepke
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Anton Lorenzen
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Boris Shminke
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Anton Lorenzen .

Editor information

Editors and Affiliations

  1. Imperial College London, London, UK

    Kevin Buzzard

  2. Johannes Kepler University Linz, Linz, Austria

    Temur Kutsia

Rights and permissions

Reprints and permissions

Copyright information

© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Koepke, P., Lorenzen, A., Shminke, B. (2022). CICM’22 System Entries. In: Buzzard, K., Kutsia, T. (eds) Intelligent Computer Mathematics. CICM 2022. Lecture Notes in Computer Science(), vol 13467. Springer, Cham. https://doi.org/10.1007/978-3-031-16681-5_24

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-16681-5_24

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-16680-8

  • Online ISBN: 978-3-031-16681-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation