# |
ODE |
ODE classification |
Solved? |
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_frobenius"] |
✓ |
|
|
["first_order_ode_series_frobenius"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_complex_roots"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_complex_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_frobenius"] |
✓ |
|
|
["first_order_ode_series_frobenius"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_complex_roots"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_complex_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_frobenius_complex_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_frobenius_complex_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_complex_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_frobenius_complex_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_frobenius_complex_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_complex_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["first_order_ode_series_taylor"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor"] |
✓ |
|
|
["first_order_ode_series_taylor"] |
✓ |
|
|
["first_order_ode_series_taylor"] |
✓ |
|
|
["first_order_ode_series_taylor"] |
✓ |
|
|
["first_order_ode_series_taylor"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor"] |
✓ |
|
|
["second_order_ode_series_taylor"] |
✓ |
|
|
["second_order_ode_series_taylor"] |
✓ |
|
|
["second_order_ode_series_taylor"] |
✓ |
|
|
["second_order_ode_series_taylor"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_complex_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_complex_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_complex_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_complex_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_complex_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_complex_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_complex_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_frobenius"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_frobenius"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_complex_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_complex_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_complex_roots"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["unknown"] |
✗ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_complex_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["unknown"] |
✗ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_frobenius"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_complex_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_complex_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_complex_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_frobenius"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["first_order_ode_series_frobenius"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_complex_roots"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_complex_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_complex_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_complex_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_complex_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["unknown"] |
✗ |
|
|
["unknown"] |
✗ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["first_order_ode_series_taylor"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["unknown"] |
✗ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_frobenius_complex_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_complex_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_complex_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["unknown"] |
✗ |
|
|
["first_order_ode_series_frobenius"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["unknown"] |
✗ |
|
|
["unknown"] |
✗ |
|
|
["unknown"] |
✗ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_complex_roots"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor"] |
✓ |
|
|
["first_order_ode_series_taylor"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_complex_roots"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_complex_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor"] |
✓ |
|
|
["second_order_ode_series_taylor"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_complex_roots"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["first_order_ode_series_frobenius"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["first_order_ode_series_taylor"] |
✓ |
|
|
["first_order_ode_series_taylor", "first_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_frobenius_complex_roots"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_complex_roots"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_frobenius_repeated_roots"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_frobenius_roots_difference_is_integer"] |
✓ |
|
|
["unknown"] |
✗ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|
|
["second_order_ode_series_frobenius_roots_difference_not_integer"] |
✓ |
|
|
["second_order_ode_series_taylor", "second_order_ode_series_ordinary"] |
✓ |
|