An Algorithm for Transcendental Decision Problems
Published:
Language: Mathematica
This is the package providing DecideTrigExt in our paper.
Software
Geometric Cylindrical Algebraic Decomposition
Published:
Language: Mathematica
This is the package providing Geometric CAD in our paper.
Geometric Fiber Classification
Published:
Language: Mathematica
This is the package providing FiberClassification in our paper.
Univariate Mixed Trigonometric Polynomial Decision Algorithm
Published:
Language: Mathematica
This is the package providing DecideMTP in our paper.
Truth Table Calculator
Published:
Language: C
This is a tiny program I wrote to calculate the truth table of a propositional formula.
Permutation Calculator
Published:
Language: Python
This is a tiny program I wrote to calculate the product of permutations.
Memorizer
Published:
Language: Pascal
This is a tiny program I used to memorize vocabulary in 2017-2018.