Diffusion afp-devel caff571036b8

new entry: Virtual Substitution
caff571036b8
Actions

Tags

None

Subscribers

None

Description

new entry: Virtual Substitution

Details

Provenance

Rene Thiemann <rene.thiemann@uibk.ac.at>

Authored on

Parents

rAFPbdd9c91c0a28: add missing session dependency

Branches

Unknown

Tags

Unknown

Event Timeline

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFPcaff571036b8: new entry: Virtual Substitution.Oct 19 2021, 3:12 PM

Changes (36)

Path

Size

Virtual_Substitution

EliminateVariable.thy

ExecutiblePolyProps.thy

ExportProofs.thy

GeneralVSProofs.thy

HeuristicProofs.thy

Infinitesimals.thy

InfinitesimalsUni.thy

MPolyExtension.thy

NegInfinity.thy

NegInfinityUni.thy

OptimizationProofs.thy

Optimizations.thy

PrettyPrinting.thy

QuadraticCase.thy

rAFPcaff571036b8

thys/ROOTS

Loading...

thys/Virtual_Substitution/DNF.thy

Loading...

thys/Virtual_Substitution/DNFUni.thy

Loading...

thys/Virtual_Substitution/Debruijn.thy

Loading...

thys/Virtual_Substitution/EliminateVariable.thy

Loading...

thys/Virtual_Substitution/EqualityVS.thy

Loading...

thys/Virtual_Substitution/ExecutiblePolyProps.thy

Loading...

thys/Virtual_Substitution/ExportProofs.thy

Loading...

thys/Virtual_Substitution/Exports.thy

Loading...

thys/Virtual_Substitution/GeneralVSProofs.thy

Loading...

thys/Virtual_Substitution/Heuristic.thy

Loading...

thys/Virtual_Substitution/HeuristicProofs.thy

Loading...

thys/Virtual_Substitution/Infinitesimals.thy

Loading...

thys/Virtual_Substitution/InfinitesimalsUni.thy

Loading...

thys/Virtual_Substitution/LinearCase.thy

Loading...

thys/Virtual_Substitution/LuckyFind.thy

Loading...

thys/Virtual_Substitution/MPolyExtension.thy

Loading...

thys/Virtual_Substitution/NegInfinity.thy

Loading...

thys/Virtual_Substitution/NegInfinityUni.thy

Loading...

thys/Virtual_Substitution/OptimizationProofs.thy

Loading...

thys/Virtual_Substitution/Optimizations.thy

Loading...

thys/Virtual_Substitution/PolyAtoms.thy

Loading...

thys/Virtual_Substitution/PrettyPrinting.thy

Loading...

thys/Virtual_Substitution/QE.thy

Loading...

thys/Virtual_Substitution/QuadraticCase.thy

Loading...

thys/Virtual_Substitution/README.txt

Loading...

thys/Virtual_Substitution/ROOT

Loading...

thys/Virtual_Substitution/Reindex.thy

Loading...

thys/Virtual_Substitution/UniAtoms.thy

Loading...

thys/Virtual_Substitution/VSAlgos.thy

Loading...

thys/Virtual_Substitution/VSQuad.thy

Loading...

thys/Virtual_Substitution/document/root.bib

Loading...

thys/Virtual_Substitution/document/root.tex

Loading...