Diffusion afp-devel a1fcbf2a6f28

New entry Weighted_Path_Order
a1fcbf2a6f28
Actions

Tags

None

Subscribers

None

Description

New entry Weighted_Path_Order

Details

Provenance

Authored on

Parents

rAFPd57dce9adc47: fxed metadata (forgot .html) in link

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFPa1fcbf2a6f28: New entry Weighted_Path_Order.Sep 26 2021, 3:37 PM

Changes (40)

Path

Size

metadata/

Weighted_Path_Order

Executable_Orders.thy

KBO_Transformation.thy

Multiset_Extension2.thy

Multiset_Extension2_Impl.thy

Multiset_Extension_Pair.thy

Multiset_Extension_Pair_Impl.thy

Algebraic_Numbers.html

Berlekamp_Zassenhaus.html

Complete_Non_Orders.html

Jordan_Normal_Form.html

Knuth_Bendix_Order.html

LLL_Basis_Reduction.html

LLL_Factorization.html

Perron_Frobenius.html

Polynomial_Factorization.html

Polynomial_Interpolation.html

Subresultants.html

Weighted_Path_Order.html

statistics.html

rAFPa1fcbf2a6f28

metadata/metadata

Loading...

thys/ROOTS

Loading...

thys/Weighted_Path_Order/Executable_Orders.thy

Loading...

thys/Weighted_Path_Order/KBO_Transformation.thy

Loading...

thys/Weighted_Path_Order/KBO_as_WPO.thy

Loading...

thys/Weighted_Path_Order/LPO.thy

Loading...

thys/Weighted_Path_Order/List_Order.thy

Loading...

thys/Weighted_Path_Order/Multiset_Extension2.thy

Loading...

thys/Weighted_Path_Order/Multiset_Extension2_Impl.thy

Loading...

thys/Weighted_Path_Order/Multiset_Extension_Pair.thy

Loading...

thys/Weighted_Path_Order/Multiset_Extension_Pair_Impl.thy

Loading...

thys/Weighted_Path_Order/Precedence.thy

Loading...

thys/Weighted_Path_Order/ROOT

Loading...

thys/Weighted_Path_Order/RPO.thy

Loading...

thys/Weighted_Path_Order/Relations.thy

Loading...

thys/Weighted_Path_Order/Status.thy

Loading...

thys/Weighted_Path_Order/WPO.thy

Loading...

thys/Weighted_Path_Order/document/root.bib

Loading...

thys/Weighted_Path_Order/document/root.tex

Loading...

web/entries/Algebraic_Numbers.html

Loading...

web/entries/Berlekamp_Zassenhaus.html

Loading...

web/entries/Complete_Non_Orders.html

Loading...

web/entries/Jordan_Normal_Form.html

Loading...

web/entries/Knuth_Bendix_Order.html

Loading...

web/entries/LLL_Basis_Reduction.html

Loading...

web/entries/LLL_Factorization.html

Loading...

web/entries/Perron_Frobenius.html

Loading...

web/entries/Polynomial_Factorization.html

Loading...

web/entries/Polynomial_Interpolation.html

Loading...

web/entries/Subresultants.html

Loading...

web/entries/Weighted_Path_Order.html

Loading...

web/index.html

Loading...

web/rss.xml

Loading...

web/statistics.html

Loading...

web/topics.html

Loading...