Preprint
Article

Formal Calculation

This version is not peer-reviewed.

Ji Peng  *

Submitted:

01 August 2023

Posted:

02 August 2023

Read the latest preprint version here

Abstract
Keywords: 
Subject: 
Computer Science and Mathematics  -   Discrete Mathematics and Combinatorics
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.
Alerts
Prerpints.org logo

Preprints.org is a free preprint server supported by MDPI in Basel, Switzerland.

Subscribe

© 2025 MDPI (Basel, Switzerland) unless otherwise stated